基于BPEL和ws-Tx的Web服务组合事务协调框架研究

针对当前Web服务事务协调框架中缺乏对服务组合流程定义的支持而需要在协调过程中手动定义业务流程的问题,提出了一种支持流程和事务语义自动抽取的服务组合事务协调框架。该框架从扩展了事务语义的业务流程执行语言(Business Process Execution Language,BPEL)中抽取协调信息,并结合Web服务事务规范(Web Services Transaction,WS-TX)所定义的协调器实现了服务组合的全局事务协调。通过将WS-TX在事务协调和BPEL在业务流程设计方面的优势相结合,该框架将业务逻辑与事务处理逻辑有效地分离。最后通过实例分析说明了该框架的可行性。     

BPEL到PNML文件转换框架的设计与实现

针对Web服务组合流程的Petri网自动建模问题,以Web服务组合流程为研究对象,采用BPEL4WS作为Web服务组合流程描述语言,设计并实现一个BPEL文件到PNML(Petri Net Markup Language)文件的转换框架,自动实现Web服务组合的Petri网建模。该框架利用XSLT实现基于XML的BPEL文件到PNML文件的转换,转换结果导入到支持PNML的Petri网工具,自动完成Petri网建模。结合一个Web服务组合实例,验证该框架的有效性。     

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

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

一种基于BPEL4WS的语义Web服务组合框架

针对Web服务的组合问题,给出了一种基于BPEL4WS(Business Process Execution Language for Web Services)语言的语义Web服务动态组合框架.该框架把一些具有相似性的商业流程定义成一个抽象流程模板APT,每个活动节点所需服务的语义信息用PPC模型描述,并引入一个OWL-S/UDDI转换器使Web服务在UDDI上的注册信息与该服务的语义信息之间进行转换,实现UDDI注册信息与语义信息的关联,以便于语义匹配及服务绑定.通过语义匹配组件匹配选择合适的Web服务,并通过APT绑定组件把所选Web服务的相关信息动态绑定到APT模板中,从而实现Web服务的动态组合.该框架增强了Web服务组合的灵活性和动态性.     

Web服务组合事务处理研究与实现

通过重用已有的服务进行服务组合来实现应用集成;而保证服务组合的事务特性是实现服务组合的关键。文中提出一个Web服务组合事务处理模型,将BPEL (Business Process Execution Language,业务流程执行语言)的流程设计与WS-C/T (Web Services Coordination/Transaction,Web服务协调/事务)规范结合。该模型主要由客户端、BPEL执行引擎、事务协调器和参与者四个部分组成。客户端发起请求,BPEL执行引擎响应请求并开启事务,事务协调器和参与者根据事务协调算法完成事务协调。     

BPEL文档基于DAG自动生成框架的研究与实现

针对目前服务之间组合的复杂性,提出一种基于有向无环图的业务流程执行语言文档生成框架。通过对框架模型的解析,提出一种能够自动生成服务组合所需各种文档的改进框架及其算法,有效地隐藏了专业的业务流程执行语言知识和繁琐的服务组合流程。实践表明,该框架简单、易用,不仅能够清楚地反应服务组合之间的流程,而且还不需要BPEL专业方面的知识,减少了服务组合的工作量。     

BPEL中的Web服务动态合成机制

Web服务业务流程执行语言(BPEL)是一种Web服务合成语言.本文研究了Web服务合成的概念及其特点,详细分析了Web服务寻址及BPEL中的Web服务动态合成机制,并举例说明.     

面向服务的多参与者协调事务建模方法

为了保证Web服务组合执行获得正确一致的结果,用形式化方法研究Web服务事务处理的协调过程是很重要的。基于Web服务事务规范(Web services transaction,WS-TX),提出了一种由业务流程执行语言(business process execution language,BPEL)自动生成Web服务多参与者协调事务模型的方法。介绍了Web服务协调的Pi-演算建模方法,阐述了如何由BPEL描述的业务流程建立服务协调事务模型,进一步给出了自动生成该协调模型的算法描述,并通过具体实例说明了该方法的正确性及可行性。     

BPEL中同步与异步机制

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

基于翻译模式的BPEL到LOTOS映射方法研究

为了实现由BPEL描述的Web服务组合到LOTOS的自动化转换, 提出一种基于翻译模式的转换算法。从BPEL语言的XML schema定义出发, 分析BPEL本身的语言结构, 得到BPEL语言的产生式。再根据BPEL到LOTOS的语义映射规则, 设计BPEL到LOTOS的翻译模式。同时, 在基本映射规则之上, 给出BPEL到LOTOS的数据类型和故障处理机制的转换规则。最后结合Web服务实例, 验证该工具的可行性。     

一种基于CPN的运行时监控服务交互行为的方法

BPEL对Web服务组合的描述特性使得它很难表达和分析服务组合中的交互行为属性.这些行为属性需要遵循一定的交互协议.然而良定义的交互协议还是容易受到侵犯,这将导致服务组合进程产生状态不一致的问题.为了解决这类实际交互行为与其服务组合描述之间的不一致性问题,提出了一种由BPEL描述自动构造运行时监控器的方法.首先提出了一种基于有色Petri网(CPN)的形式化表示模型以及服务组合规约到模型的映射方法,用于精确表达从BPEL流程描述中提取的服务交互行为规约.然后,描述了由CPN形式化表示模型生成运行时监控器的方法.该运行时监控器能够捕获所有进出服务组合进程的交互消息,并且检测是否存在违背交互协议的行为.     

Web Services合成方案向BPEL4WS的自动转换

合成方案自动转换为BPEL4WS模块是Web Services实时动态语义合成系统SASO的核心组成部分。该文使用DAG作为Web Services合成方案的表示方法；在此基础上提出了WTOP自动转换算法，通过运行时代码动态生成的方法，实现从DAG到BPEL4WS的自动转换。     

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

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

基于代理和BPEL4WS的Web服务合成与实现

Web服务的交互和实现被推荐通过软件代理来实现.Web服务目前还不能很好地支持动态、自适应的服务组合和分布式业务流程.软件代理在建模、知识表达和交互等技术上的优势,能够强化Web服务的交互和动态应用能力.基于代理和面向流程建模的BPEL4WS,可以实现Web服务面向业务应用的合成与执行,支持多个协同的业务流程及其动态配置.系统分析了代理、BPEL4WS和Web服务整合的技术与实现方案,利用JADE平台开发了相关的测试模型,并且以网上拍卖为案例,验证了所提方案及实现.     

基于PDG图的分布式动态可执行服务组合方法

组合服务是将一系列Web服务协调地组合在一起,从而完成预期目标。组合服务按照其引擎分布可分为:集中式服务组合和分布式服务组合。分布式组合服务可以有效地解决集中式组合服务在系统可伸缩性、消息传输效率、自治性和有效负载均衡等方面的问题,将可执行全局流程等价分解成可执行本地流程,以及将服务组合和负载均衡结合集群概念,研究服务组合的QOS。这些将成为新的挑战,文中通过PDG图进行等价分解,并结合QOS,通过实验测试引擎负载,提出将负载均衡融入服务组合QOS研究思想。     

Modeling and verification of Web services composition based on model transformation

With the rapid development of Cloud computing, social computing, and Web of Things, an increasing number of requirements of complexity and reliability for modeling Web services composition have emerged too. As more reliable methods are needed to model and verify current complex Web services composition, this paper proposes a method to model and verify Web services composition based on model transformation. First, a modeling and verifying framework based on model transformation is established. Then, Communicating Sequential Process (CSP) is defined according to the features of Web services composition and the corresponding model checking tool Failure Divergence Refinement (FDR) is introduced. The transformation approaches between Business Process Execution Language (BPEL) and CSP are later defined in detail. Lastly, the effect of this method is evaluated by modeling and verifying the Web services composition of a Online Shopping System. The results of the experiments show that this method can greatly increase the reliability of Web services composition. Copyright © 2016 John Wiley & Sons, Ltd.