Web服务组合的层次化建模

目的形式化地描述Web服务组合流程,为更好地使用工具和现有方法验证以及测试Web服务组合奠定基础。方法用有色Petri网对BPEL的每种活动建模,分析BPEL中、、和几种活动的共同作用,分析BPEL流程的错误处理机制和补偿机制;从网资源流动的角度完善现有的层次化有色Petri网定义,将BPEL流程的层次关系映射成层次化有色Petri网的层次关系。结果完善了层次化有色Petri网定义,提出了Web服务组合的层次化建模方法。结论层次化构建Web服务组合模型是一种可以用于大型BPEL流程的方法,所构建的模型有利于从抽象层面和细节上分析Web服务组合。     

基于BPEL的业务流程管理框架的研究

随着Web服务技术的发展,BPEL在企业业务流程建模中的应用越来越多.本文对BPEL的关键技术作了分析,设计了一种基于BPEL的业务流程管理框架,结合具体实例分析了流程的执行过程.     

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

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

基于着色Petri网的BPEL建模与验证

目的为了保证使用商业过程执行语言(BPEL)描述的Web服务组合的正确性。方法用着色Petri网(CP-nets)对BPEL流程进行建模、分析以及验证。结果定义了一套从BPEL到CP-nets的映射规则,该规则可以将BPEL流程转换成CP-nets,通过着色Petri网工具-CPN tools对该CP-nets进行自动分析以及验证,从而验证该BPEL流程的安全性、活性等性质。结论利用CP-nets这种形式化工具可以有效地发现BPEL流程中存在的设计错误。     

动态服务流程模型混合分割方法及应用

为统一跨组织之间的服务流程定制问题,提出了基于高级Petri网的动态服务流程模型混合分割方法,将一个全局的BPEL模型分割为若干个完备的执行分片,根据组织的不同,分别放置在多个BPEL引擎上协同执行,在此基础上进行了模型混合分割的正确性验证.通过示例验证了BPEL流程模型混合分割执行的可行性,最后结合示例给出了支持模型混合分割的原型系统.仿真结果表明:动态服务流程模型混合分割方法支持下的多个BPEL引擎分布式执行比集中式BPEL引擎的集中编制有明显的优势,从而提高了服务流程引擎的吞吐率,也减少了服务响应时间的花费.     

基于BPEL描述的移动工作流的协同机制与实现

针对基于面向服务架构的移动信息服务平台,研究了移动工作流的结构模型,分析了流程设计中的Web服务接口及其消息驱动的协同机制.移动工作流主要依赖SMS和MMS协议发起同外部进行通信和服务调用.当用户发起某一事项申请时,工作流引擎实例化流程,按照每一个活动中协同规则调用服务来完成该活动的任务.由于流程节点之间的流转体现出多种协同关系,在进行逻辑规则和时间规则分类的基础上,提出了基于业务流程执行语言BPEL协同规则的描述方法.以申请开放实验项目协同流程为例,涉及多种人员角色,利用移动短消息的模式驱动流程的流转,利用基于BPEL描述的服务协同规则进行了实现,取得了良好的效果.表明所提出的方法有利于简化移动服务平台的系统集成,缩短系统设计周期.     

一种Web服务组合模型合理性验证方法

为了更加有效地对Web服务组合进行分析验证,设计BPEL到PNML语言的文件转换规则,实现Web服务组合流程的Petri网建模。针对Web服务组合流程设计中可能存在死锁及不正确的流程,在不破坏原Petri网模型结构性质与系统行为的基础上,将其调整映射为自由选择网。在自由选择Petri网理论基础上,设计了一种Web服务组合Petri网模型的合理性验证规则,能在多项式时间内分析网模型的结构活性与有界性,从而避免采用传统的可达树等分析方法出现的状态空间爆炸问题。最后,使用两个具体的Web服务组合Petri网模型证明了本文方法的有效性。     

一种规则驱动的业务流程异常处理方法研究

调用Web服务实现业务流程,是业务流程的新趋势。由于业务流程的松耦合性,以及Web服务的异质性和自治性,执行Web服务驱动的业务流程时,异常是经常发生的。为了提高业务流程执行的可靠性, 定义了业务流程执行中的异常类型和相应的处理方法。采用一种基于ECA规则驱动的异常处理方法,能对发生的异常选择相应的策略进行处理,具有很好的透明性和可扩展性。最后在现有流程引擎的基础上,添加了部分功能模块,设计并实现了业务流程异常处理的原型系统。     

面向数据流的服务组合演化影响性分析方法

BPEL已经成为事实上的Web服务组合标准语言,利用BPEL控制流图(BPEL flow graph,BFG)对BPEL进行建模,通过模型对服务组合的数据流进行分析,提出一个面向成员服务的数据依赖度量集;通过此度量集可以量化成员服务的数据依赖复杂度,从而分析成员服务对BPEL中数据流的影响程度与范围,为服务组合演化策略的制定及实施提供依据.     

WS-CDL编排到BPEL编制的转换与实现

Web服务编排流程与编制流程之间的转换一直是学术界的研究热点,尤其是W3C提出的标准规范WS-CDL与如今广泛应用的编制规范BPEL流程之间的转换,对SOA实践者来说具有很强的实用性。然而,现有的转换规则都没有考虑全局模型到局部模型的转换过程中可能存在的不可执行问题,并且其转换规则本身也存在一些不合理的地方。提出了新的WS-CDL编排到BPEL编制流程的转换规则,该规则不但给出了转换过程中不可执行问题的检验和排除方法,并且其转换规则相较于现有的规则更加准确合理。     

基于SOA和BPEL的电信业务流程管理系统（BPMS）的设计与实现

提出了一种基于工作流技术、结合了面向服务架构（SOA）的框架理念和设计思路的电信业务流程管理系统的建模与控制方案。结合实际的电信产品服务阐述了在IBM WBI-SF V5．1环境下结合BPEL构造和编排电信服务流程的基本过程以及生成可执行文件和代码的方法,介绍了通过使用Web服务描述语言（WSDL）以及消息通讯的算法进行业务流程与Web服务的交互与通信。最后介绍了在IBM的应用服务器WAS 5．1上进行BPEL流程的部署和监控,以保证BPM系统能正常稳定的运行在该环境下。通过对系统实际性能分析证明该系统在实际应用中具有优异的性能,系统设计符合SOA规范,具有良好的重用性和可移植性。     

基于BPEL的网格工作流系统

设计并实现了一个基于业务流程执行语言(business process execution language,BPEL)的网格工作流管理系统.针对满足网格环境中的特殊需求,如状态的交互、动态服务绑定、高吞吐量和可扩展性、界面友好的工作流定义工具等,分别提出了BPEL与Web服务资源框架(Web service resource framework,WSRF)整合方法、BPEL的简单集群架构和面向应用组件的工作流定义等.最后,给出了在中国教育科研网格公共支撑平台(ChinaGrid supporting platform,CGSP)中网格工作流系统的原型实现.实验结果表明,原型系统支持负载均衡是正确、可行和有效的.     

基于SOA的跨域协同油井监测信息系统

针对目前对油井信息的获取、监测和评价不足问题,从基于SOA的跨域协同服务设计出发,采用SOA基础架构、Web Service和BPEL等技术流程完成对协同服务的设计,利用SOA的体系结构和虚拟化技术来解决跨域协同服务问题,采用虚拟化技术完成虚拟存储,SOA与虚拟化技术有机结合、相互协作,使协同服务性能达到最优的目的,同时使协同服务达到了跨域的级别.在Web Service组件模型基础上提出一个新的跨域协同服务的总体模型,并给出该模型具体的设计及在油井监测信息系统中的仿真实现.实践表明,SOA的应用可有效提高系统开发效率和跨平台互操作性,不断增加的灵活性、更短的投入运行时间、以及降低的部署成本等都得到了充分实现.     

面向物流应用场景的Web服务查询与组合

为解决物流行业中运输服务查询所存在的弊端,探索Web服务查询与组合的智能化方法.通过创建Juddi注册中心,将Juddi注册中心和UDl914J相结合,实现JSP页面的面向物流场景的Web服务发布与查询.利用业务流程执行语言(BPEL)技术对服务进行选择与组合,从而实现面向物流场景的智能化Web服务查询与组合.试验结果表明,组合结果符合实际要求.     

基于数据流优化的BPEL流程分割方法

BPEL描述的业务流程在跨组织的企业应用集成与协作中扮演着重要角色.目前BPEL流程主要采用集中式的执行方式,但是集中式执行的BPEL流程性能不高并且不能满足动态流程管理的需求.提出了一种基于数据流优化的BPEL流程分割方法,以支持BPEL流程的分散化执行.BPEL流程经过变换被表示成PFG图,提出数据流方程对PFG图进行数据流分析,扩展复制传播算法优化PFG图的数据流.最后按照流程中的角色分割BPEL流程.实验数据表明优化分割后的业务流程的吞吐率、响应时间等方面的性能有较大提高.     

一种基于UML 2.0活动图的Web服务业务流程测试方法

UML2.0已经成为最重要的建模语言,BPEL是描述Web服务业务流程的事实标准。本文提出了基于UML2.0活动图对BPEL建模并进行测试的方法。该方法扩展了活动图,给出其形式化定义以及测试覆盖准则的定义,对测试用例生成算法加以约束,提高了测试的效率和精确性。最后结合实例探讨了Web服务业务流程自动化测试方法的可行性。     

支持跨企业协作的应用集成模型研究

在实现跨企业数据交换和业务流程管理的基础上,研究设计一种跨企业的应用集成模型.该模型基于XML、Web Services与工作流技术,采用三层体系结构;每个企业的公共应用都被封装成Web Services;企业间的数据交换及Web Services间的交互通过SQAP消息机制实现;采用商业流程执行语言(BPEL4WS)对跨企业Web服务进行有效的组织和集成,并在此基础上进行适当扩展,通过引入“服务容器”的概念,用于表示一组具有相同端口类型与操作的服务,以支持服务的选择和替换机制.最后对引擎调度策略问题进行了讨论.     

BPEL商业流程建模

介绍了标准化的商业流程执行语言BPEL，从一个例子出发，借鉴统一开发过程(RUP)中的用例模型和分析模型对整个商业流程进行刻画，并简要介绍了如何采用WSDL和BPEL4WS两种标准的语言对整个模型进行文档化的过程。     

可信Web服务的度量模型

针对Web服务的可信性缺乏有效度量方法的问题,引用本体的基本思想和主要理论对Web服务进行统一的语义描述和建模,提出了可信Web服务的度量模型(MM-TWS),建立了面向本体的可信Web服务,并解析了MM-TWS中建立本体的基本步骤和主要流程。采用模糊描述逻辑来设计MM-TWS的模型算法FDL-MM-TWS,并推算Web服务的可信度。最后,利用MM-TWS对一个基于突发事件处理的智能建筑系统集成进行度量,初步验证了该方法的可行性和有效性。     

一种基于Petri网的服务组合流程分析方法

虽然业务流程执行语言(BPEL)有很多特征使它适合组合流程的描述,但它缺乏形式化语义,从而不能对组合流程进行严格的分析和验证。本文提出了一种基于Petri网的BPEL语言所对应的组合流程分析方法。应用Petri网来描述BPEL所定义的组合流程,描述组合流程的基本活动及它们之间关系,进而分析了组合流程结构上的合理性。通过实例网的构建,给出了流程可组合性的判定定理,并提出减少服务搜索空间的算法。最后,应用具体实例模拟组合流程的分析过程,展示了该方法的有效性。