Through Personalized Web Service Composition Specification: From BPEL to C-BPEL

Over the last few years, Web services technologies offered a new and successful way for interoperability among web applications. A Web service is a software system designed in a way that other software components and humans can discover and invoke to satisfy different needs. The vision of WS as a software component allows to combine several WS, providing a global value-added WS, called composite WS.Although there are several researches in web services composition, more effort should be focused on its personalization, particularly regarding how well the composition results correspond to what the user really wants. Accordingly, we present in this paper an approach that may contribute to the personalization of web services composition specification. Our approach is a context-based proposal that makes services composition specification more efficient by taking into account both user context, needs, and preferences and web services context, and by integrating them to the composition process. In addition, to permit the reuse of specifications, we enhance BPEL by developing a specification language based on context to be used in composition that we called C-BPEL.     

一种基于BPEL4WS规范的业务流程设计器的解决方案

将Web服务和传统的工作流技术相结合至业务流程管理系统中，对业务流程进行设计和更改是至关重要的。本文为WSBPMS提出了一套基于BPEL4WS规范的业务流程设计器的解决方案，描述了流程设计器的总体结构以及其中的关键技术。     

BPEL建模工具中业务流程模型到BPEL程序的转换算法

BPEL是IBM、Microsoft和BEA联合提出的一种基于WebServices的业务流程执行语言。已有的许多BPEL图形编辑工具其建模图元与BPEL元素基本一一对应,过于偏向BPEL技术细节,与业务人员所熟悉的业务流程分析、开发和处理还存在一段距离。文章实现的面向服务的流程建模工具软件JSBPEL,通过更加面向业务人员的建模模型,屏蔽BPEL技术细节,提供业务流程的可视化建模、自动生成BPEL代码和部署的完整功能。其中业务流程模型到BPEL程序的转换算法是该工具的核心内容。     

利用BPEL实现协同管理平台的业务流程集成

业务流程集成是协同管理平台的核心技术之一.本文提出采用基于BPEL的集成方式实现协同管理平台与应用系统之间的业务流程集成.并设计了协同管理平台的业务流程集成方案.重点对BPEL流程文档的三个基本结构,即合作伙伴链接声明、变量定义和流程主体,进行了详细描述.     

基于Petri网业务流程建模及到BPEL4WS的转换

BPEL 语言是一种功能强大的描述业务流程的计算机可执行标准语言,在 SOA(面向服务)架构中扮演着将服务串联成商业流程的灵魂角色.但是由于它的不够直观和代码冗长等缺点,BPEL 不适合直接用于业务流程的抽象建模.因此研究其它抽象模型与 BPEL 问转换就相当有意义.在对 Petri 网和 BPEL 语言深入学习的基础上,定义了 Petri 网的若干部件及部件与 BPEL 的对应转换,然后提出了如何将业务流程 Petri 网模型转换成 BPEL 的算法,并用实例进行分析,验证该算法的有效性.     

一种自动布局的BPEL建模工具设计与实现

本文设计并实现了一种时BPEL流程的可视化建模系统,能够为业务流程开发提供图形化的建模支持;并设计了一套自动布局算法,可以根据建模界面的改变进行自动布局,以提供灵活美观的用户开发界面;最后通过与Eclipse开源产品及Active公司建模产品布局界面的实例对比,展示了该工具使用自动布局算法进行界面布局的优势.     

PS系统的一种精确语义描述

规约模式系统SPS是根据性质的语义抽象而成的描述程序性质的表达模式,既能方便程序员使用,又有对应的时序逻辑表达式.但是,它现有的语义描述不够精确.首先介绍了规约模式系统及其现有的语义,并用它描述了实例的性质,接着采用模型检测工具SPIN验证了该系统表达的性质,通过对比验证结果及现有语义,给出了系统精确的语义描述.     

基于SOA和BPEL构建销售管理系统

针对目前大多数汽车制造企业对业务流程敏捷化的需求,分析了面向服务架构SOA和业务流程执行语言BPEL的特点,提出了基于SOA和BPEL构建销售管理系统,将系统中的核心模块订单处理业务功能按基本服务、合成服务、组合服务进行了设计与实现,提高了系统业务流程的可重组性和可适应性.     

BPEL中同步与异步机制

Web服务业务流程执行语言（BPEL）是一种Web服务组合语言。本文详细分析了BPEL中的并发和同步控制、同步与异步通讯机制．并举例说明。     

基于BPEL的易货交易系统安全性研究

为解决因信用额度取代现金进行网上易货交易而造成的安全性问题,在电子商务领域引入Web服务与BPEIAWS规范,分析网上易货交易过程中业务流程实际模型;在以SSH及Ajax技术实现的华贸易货系统基础上.引进银行信用和结算服务,使用Web Services和BPEL技术设计业务流程,并依托监控软件BPM实现流程的自动化执行与安全性监控;通过Irrelevant和Inconsistent两种优化方式改善监控算法,提高监控效率和准确性.     

面向Web服务的BPEL的研究与实现

BPEL简化了将多个Web服务合成到一个新的复合服务(业务流程)中的操作过程.但如果要进一步提高BPEL流程的开发效率,还需要一个可视化的解决方案.通过一个开发实例的具体实现过程,对基于BPEL进行Web服务合成的原理和方法进行了深入的研究,并由此提出了基于Oracle BPEL流程管理器实现Web服务合成的解决方案,介绍了在该环境下部署和测试一个BPEL流程的方法.     

基于TBAC的BPEL访问控制技术研究

业务流程执行语言（Business Process Execution Language for Web Services）是一种可以定义抽象的和可执行的业务流程的语言。然而,BPEL缺乏访问控制方面的安全性考虑。本文主要关注基于BPEL的流程的访问控制的实现方法。我们对现有的基于任务的访问控制模型（Task-Based Access Control）进行扩展,修改了授权结构体的定义并重新定义了授权结构体的类型,并实现了从BPEL定义的流程到TBAC模型的映射,提出了一种TBAC应用到BPEL中的方法。本文最后讨论了下一步的研究工作。     

基于BPEL和QoS的动态Web服务组合框架研究

利用BPEL语言可以将单独的Web服务组合成复杂的业务流程,但是BPEL语言不支持在业务流程执行阶段进行修改操作。虽然BPEL语言有错误处理和补偿机制,但是如果业务流程不能继续执行就会影响到业务执行效率。针对这一问题,提出了基于BPEL和QoS的动态Web服务组合框架,利用QoS组件的动态绑定功能和UDDI的动态发现Web服务功能,实现在业务流程运行时动态选择Web服务的功能,从而提高业务流程的执行效率。     

BPEL流程监视的可视化实现

When a BPEL process is executed, it is necessary to dynamically monitor the process. BPEL is a executable language, which is not suitable for visual monitoring. On the other hand, BPMN is designed to visually describe business process and is more intuitive for monitoring. To visually monitor a BPEL process, transformation from BPEL to BPMN is necessary. However, current study of transformation from BPEL to BPMN does not support the transformation of "link" activity. Besides, no work has been done to add supplementary information into BPMN during transformation. In this paper, we transform nested BPEL process into a flat BPMN process graph without hierarchy through applying a flattening strategy. Especially, we analyze various scenarios of the transformation of link activity, and provide a method to deal with it. Besides, we analyze the mapping between BPEL activities and BPMN graph, through which we found out that some supplementary information cannot automatically obtained from BPEL process. These supplementary information need to be added during transformation. At the end of this paper, we present the structure of our monitoring tool which is based on our transformation algorithm.     

Modeling business processes with BPEL4WS

Business Process Execution Language for Web Services (BPEL4WS) allows defining both, business processes that make use of Web services, and business processes that externalize their functionality as Web services. This short paper introduces the basic language elements of BPEL4WS using a simple example. The concepts underlying the language are briefly explained: establishing bilateral partnerships, correlating messages and processes, defining the order of the activities of a business process, event handling, handling exceptions via long-running transactions, and the usage of BPEL4WS in pure B2B scenarios. The paper finishes off by presenting the resulting application structure and the resulting economical implications.     

一种基于BPEL4WS的柔性化工作流模型的研究

文中介绍了工作流技术发展现状及其存在的柔性化制约，同时介绍了BPEIAWS的相关概念。针对当前传统的工作流系统存在的柔性化制约，在WfMC提出的工作流元模型的基础上，结合BPEIAWS的标准，从整体规划的角度，给出了一个柔性化的工作流管理系统的模型BP—WFMS，并对其柔性化的具体表徵做出相应的探讨。     

一种基于反射的BPEL业务过程动态演化方法

提出了一种基于反射的BPEL业务过程动态演化方法.该方法基于可反射的BPEL业务过程的动态演化框架,扩展了现有BPEL引擎,并对演化元过程建模,使其在BPEL引擎中实例化执行,来实现对业务过程的动态演化.     

BPEL中的事务处理机制

Web服务业务流程执行语言是一种流程定义语言,它使企业能够描述既能使用又能提供Web Services的复杂的业务流程。在研究了分布式事务处理的核心概念及其特点的基础上,详细分析了Web服务事务规范WS-COOR/WS-AT/WS-BA以及BPEL4WS中的事务处理机制,并举例进行了说明。     

基于BPEL4WS的网格服务组合体系结构及其分析

开放网格服务基础结构OGSI（Open Grid ServicesInfrastrstructure）把Web服务工作流引入到网格任务描述中,给出了几种Web服务与网格技术相融合机制,但并没有界定如何进行网格服务组合.而BPEL4WS（Business Process Execution Language for Web Services）是描述Web服务业务工作流的工业标准.通过对BPEL4WS和OGSI在生命周期管理、Web服务实例化和状态交互管理等方面异同的深度分析,提出了一种兼容OGIS并使用BPEL4WS来合成网格服务的高层体系结构.介绍了一个电力网电能损耗理论计算的实际应用原型系统,表明该文提出的体系结构可应用于网格服务的建模和构造.     

一种BPEL结构演化算法研究*

针对BPEL并发同步引发的数据竞争、流程阻塞等问题,提出了一种BPEL结构演化算法。该算法的基本思想是利用BPEL基于XML编写的事实,使用XML 解析工具对BPEL的结构进行调整,达到规避失败的同步过程,删除冗余link结构的目的。利用自主开发的转换工具实现BPEL到形式化描述语言LOTOS的转换,通过对演化前后的BPEL流程做模型检测,来验证该演化方法的可行性。实验结果表明BPEL结构演化算法能够有效缓解BPEL并发同步带来的数据竞争、流程阻塞问题。