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

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

基于BPEL的颗粒堆积仿真的网格计算服务

提出了颗粒堆积仿真过程的并行计算和并行可视化的实现方法,大大减少了颗粒堆积计算的时间.并通过商业流程执行语言(BPEL)定义的工作流,实现对计算服务的流程控制、事务管理和生命周期控制,使得颗粒堆积仿真计算服务能够平滑地移植到网格计算服务平台上提供服务.     

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

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

一种基于广义随机Petri网的BPEL建模

BPEL是一种广泛应用于支撑跨组织协同服务的组合标准.为分析BPEL语言构造业务过程的性能,基于广义随机Petri网,提出了一种BPEL模型,详细地刻画了BPEL的语法语义、活动的不同状态和执行机制,案例分析说明该模型可以有效支持服务组合定量分析.最后对未来工作进行了展望.     

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

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

Web服务组合的层次化建模

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

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

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

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

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

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

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

基于MDA的SOA服务协作模型

BPEL是业务流程执行语言用来描述SOA的服务协作模型,实现对已有系统业务流程的编排.但其随着整合已有系统的增多和业务流程复杂性的增加,BPEL建模也变得异常复杂.本文给出了一种基于MDA模型驱动转换的方法来建立SOA服务协作模型.针对建立SOA服务协作模型的复杂性,在平台无关层建立UML活动图描述服务协作模型的交互过程,通过建立模型之间的映射规则,将平台无关层模型自动转换到平台相关层BPEL模型,试验表明:该方法能较好地简化SOA服务协作模型的建立过程.     

A template-based approach for automatic mapping between business process and BPEL process

In order to support just-in-time reconfiguration of business process execution language （BPEL） process, a template-based mapping method is proposed to map business level process to BPEL process. The method builds up mapping relationships between the key points of business level process and BPEL process, which helps users to adjust the business level process with simplified operations, and automatically maps the changes to BPEL. In addition, a case of the application of the method in a clothing enterprise was illustrated.     

基于SOA架构的物流信息系统的相关技术研究与实现

以物流信息系统为实例,针对原有物流信息系统存在灵活性差等一系列问题,通过深入分析面向服务的体系结构(SOA)的相关理论,利用网络服务技术,提出了一种基于SOA架构的企业应用设计流程和建模方法.讨论了在跨语言、跨操作系统的平台下实现"订单处理"业务流程的问题:通过应用面向网络服务的业务流程执行语言(BPEL)组合、编排和协调本地的网络服务和其他异构平台的网络服务来实现面向服务体系结构.SOA技术使物流信息系统能够更容易地跨平台以服务形式访问商务,基于此架构模式开发的应用系统加快了应用程序的开发过程,并使非程序员也可以创建和重用信息技术资产.     

基于DAML-S和扩展Petri网的Web业务流程建模方法

为实现Web上业务流程动态装载和调用以及跨企业业务流程的动态集成目标,提出了一种Web上的业务流程建模方法.该方法扩展了具有良好过程建模性能的Petri网,并将其与Web服务描述的本体语言DAML-S相结合.首先将Petri网扩展为业务流程建模,用DAML-S来描述流程模型,然后利用结合了DAML-S的UDDI注册中心来查找最佳服务,并在执行阶段动态调用合作伙伴提供的Web服务,从而实现了在企业间相对通用的一些业务流程的动态集成.通过一个实例对整个过程进行了验证讨论.     

基于双状态的业务流程描述模型研究

提出一种基于双状态的业务流程描述模型DSBPDM(包括业务流程模型和调度模型)来刻画以表单为中心的应用系统业务流程,解决其业务流程建模中的突出问题,包括:各类约束的严格描述、权限表示、流程关系、流程推进过程以及业务对象被调度和执行的全过程描述.实践证明采用该模型的业务系统更容易扩展和维护, 能较好地满足用户的需求.     

一种基于双状态的业务流程描述模型

提出一种基于双状态的业务流程描述模型DSBPDM(包括业务流程模型和调度模型)来刻画以表单为中心的应用系统业务流程,解决其业务流程建模中的突出问题,包括:各类约束的严格描述、权限表示、流程关系、流程推进过程以及业务对象被调度和执行的全过程描述.实践证明采用该模型的业务系统更容易扩展和维护,能较好地满足用户的需求.     

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

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

基于过程代数的电子商务定价业务流程的重组与优化

针对传统定价业务流程中存在的信息化、自动化程度不高以及网络化水平低下等不合理因素,采用基于过程代数的业务流程定量分析方法对传统定价业务流程中的各个步骤进行分析,结合业务流程重组的原则和电子商务环境下定价业务流程的特点,对传统定价业务流程进行重组,构建电子商务环境下的定价业务流程,并对重组前后的结果进行评价.结果表明,重组后的定价业务流程,能减少工作量和工作失误,加强定价系统对电子商务企业的快速响应能力.