基于BPEL4WS的分布式应用系统的研究与实现

研究了基于Web服务的业务流程执行语言BPEL4WS(BusinessProcessExecutionLanguageforWebSer vices)的实现机制和关键技术 ,在此基础上 ,结合具体应用分析了BPEL4WS在分布式应用系统中的应用和实现。

基于扩展Petri网的动态服务聚合流程描述模型及其BPEL4WS表示方法

针对现有服务聚合流程建模方法的不足,基于扩展Petri网提出了一种新的服务聚合流程/资源描述模型WSCP/R-net,有效解决了动态服务聚合流程模型中不确定路径选择和服务的动态变化性问题。给出了WSCP/R-net模型向BPEL4WS的转换算法,并以城市应急处理为例说明了转换算法的有效性。

扩展BPEL4WS实现基于语义的服务流程动态细化

越来越多的企业采用面向服务的架构来构建其信息基础设施,并通过执行Web服务流程来实现其业务逻辑。然而,当前作为工业界标准的服务流程建模语言BPEL4WS只能支持非常有限的运行时动态性,难以适应复杂多变的业务需求。针对这一问题,提出了在BPEL4WS及其执行引擎之上,实现基于语义的服务流程动态细化的机制——在BPEL4WS中增加目标类型的活动以及流程的语义描述；扩展现有BPEL4WS执行引擎使之能够执行带有目标活动的流程,并能够根据目标描述与流程的数据内容,在运行时为目标活动匹配与绑定子流程。

基于Petri网的Web服务BPEL4WS建模与分析

描述了Web 服务业务流程执行语言( BPEL4WS 或 BPEL)的Petri网建模方法,利用网结构描述基于Web服务业务流程的行为特性。在对BPEL4WS的结构性活动和故障补偿处理机制进行逐层分析的基础上,提出了一个利用Petri网的逐步求精技术对流程进行建模的算法。然后结合具体实例阐述了利用该算法建模的详细过程,并对所生成的Petri网模型进行了完整性(soundness)验证。

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

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

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

IBM、Microsoft和BEA于2002年联合提出业务流程执行语言(Business Process Execution Language for Web Services,BPEL4WS或BPEL,后更新为WSBPEL)是用于在不改变Web Service正常运行的情况下,将多个Web Service集成起来创造出新的业务模型和业务流程。但是开发BPEL应用是一项繁琐而枯燥的任务,业务流程建模和BPEL开发之间并没有建立直接的关系。在对UML和BPEL深入学习的基础上,提出通过构造型和键值方法扩展活动图,并采用扩展模型对业务流程建模,最后定义了UML模型到BPEL的映射。利用图形化方式开发BPEL业务流程具有开发速度快和易维护等优点。

面向活动的BPEL4WS动态访问授权模型及实现研究

业务流程访问控制机制是Web服务组合应用中的难点。针对现有BPEL4WS安全访问控制研究的不足,提出面向活动的BPEL4WS动态访问授权模型(ADABM)。通过解除组织模型和业务流程模型间的耦合关系,ADABM将BPEL4WS访问权限约束细化到活动一级,用户只在流程执行会话期的活动符合安全需求的情况下才拥有Web服务的访问授权,授权随着业务流程上下文动态授予和收回,授权流与业务流同步执行。文中最后还给出ADABM模型在Web服务安全组合应用中的实施框架。

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

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

基于流程树的BPEL4WS中流程服务动态优化方法

针对服务流程建模语言BPEL4WS难以满足用户个性化需求也无法适应动态环境变化的问题,提出了一种动态优化BPEL4WS中流程服务的方法。该方法给出了一种Web服务交互代价计算模型,用来评价用户对Web服务的偏好程度以及实时环境下Web服务交互的现实代价。将BPEL4WS描述的服务组合流程转换为服务组合流程树,并借助领域本体对流程树节点进行语义检查,消除流程树中不合法的流程组合。通过深度优先遍历流程树,利用单亲遗传算法对流程服务进行优化组合。最后给出应用算例,并对用来优化组合流程服务的单亲遗传算法的适用性与有效性进行了数值结果验证。

BPEL4WS协议中数据共享问题的研究

针对BPEL4WS 协议在流程执行中数据共享问题处理上的不足,对协议的内容进行了拓展,提出“容器池”概念,假设了它的构建模型。在实际例子中进行应用和分析,分别探讨了在同一流程下数据共享和不同流程下数据共享的两种应用情形。

基于SPIN的BPEL4WS建模与验证研究

Web服务组合研究领域的一个重要问题是如何形式化描述Web服务组合,验证服务组合的正确性,Web服务组合的形式化模型可以用来检查和验证Web服务组合以保证组合的正确性.文章使用模型检查工具SPIN对目前普遍使用的Web服务组合规范BPEL4WS(Business Process Execution Language for Web Services,Web服务业务流程执行语言)模型进行了验证,给出了BPEL4WS语法到Promela形式化模型的转换方法,最后通过一个实例对BPEL4WS表示的服务组合模型的安全性、活性和有界性等特性进行了验证分析,从而给出了基于SPIN的BPEL4WS表示的Web服务组合模型验证的方法.

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

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

基于BPEL4WS和Petri网的服务建模与分析

描述了SOA中基于BPEL4WS (Business Process Execution Language for Web Services)和Petri网的服务建模与分析方法,提出了将基于BPEL4WS的业务流程建模转化为Petri网模型的方法,并在此基础上结合实例,对所得的Petri网模型进行分析,从而验证服务模型的安全性、死锁,循环等方面是否符合要求.

基于XYZ/ADL的BPEL4WS Web服务组合描述方法

Web服务组合技术作为实现面向服务体系结构的一项重要技术,已成为当今学术界和工业界共同重视的研究内容之一。基于商业流程的工业化的描述方法BPEL4WS缺乏形式化语义而无法验证描述的正确性。基于此,分析软件体系结构描述语言XYZ/ADL设计元素和BPEL4WS元素之间的语义相似性,建立XYZ/ADL至BPEL4WS的映射规则,从侧面验证BPEL4WS的正确性。

基于BPEL4WS的Web服务组合

采用Web服务组合技术可以将越来越多的Web服务组合成更新更强大的服务。随着Web服务组合技术的发展和电子商务的崛起,出现多种用于描述和规范Web服务组合过程的面向Web服务的基于工作流的建模语言,BPEL4WS就是其中比较完备和成熟的一种。介绍Web服务组合的概念、语言、过程以及BPEL4WS的相关规范,讲述如何使用BPEL4WS在多个服务提供者之间进行商业过程的业务流程设计。

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

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

基于BPEL4WS的Web服务合成

在介绍了BPEL4WS的基本概念、特点及服务合成基本组成的基础上,利用BPEL4WS构建了一个虚拟第三方物流的Web服务合成系统。模型,并给出了该模型的控制流程和核心部分的代码。

利用控制依赖关系算法分析BPEL4WS

IBM、Microsoft和BEA联合提出的服务组合描述语言BPEL4WS是现有的主要工业标准。本文在分析BPEL4WS控制流程的基础上提出了控制依赖关系概念,并设计了一个复杂度为O(N2)的控制依赖关系图生成算法。最后,基于控制依赖关系图,讨论了如何进行BPEL4WS的控制冲突检查和执行优化。

BPMN映射到BPEL4WS的模型边界确定方法

针对BPMN边界灵活的特点以及由此向BPEL4WS映射时带来的问题,提出利用概念化令牌作为中间元素,将BPMN边界至BPEL4WS边界的映射转化成两个步骤,解决BPMN向BPEL4WS映射时的边界确定问题。

过程定义语言XPDL,BPML和BPEL4WS的比较分析

BPML和XPDL及BPEL4WS都是基于XML的过程定义语言,提供了一个正式模型来表达企业商务过程中的可执行过程。从语言的功能、结构、实现细节等方面对XPDL、BPML和BPEL4WS进行了分析和比较,说明了3种语言各自的特点和适用范围。