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

A Petri Net-Based Analysis Method for Service Composition Process

作　　者：范贵生[1] 虞慧群[1,2] 陈丽琼[1] 刘冬梅[1] 

机构地区：[1]华东理工大学计算机科学与工程系,上海200237 [2]上海市计算机软件评测重点实验室,上海201112

出　　处：《华东理工大学学报（自然科学版）》2009年第1期112-118,共7页Journal of East China University of Science and Technology

基　　金：国家自然科学基金(60473055,60773094);上海市曙光计划(07SG32)

摘　　要：虽然业务流程执行语言(BPEL)有很多特征使它适合组合流程的描述,但它缺乏形式化语义,从而不能对组合流程进行严格的分析和验证。本文提出了一种基于Petri网的BPEL语言所对应的组合流程分析方法。应用Petri网来描述BPEL所定义的组合流程,描述组合流程的基本活动及它们之间关系,进而分析了组合流程结构上的合理性。通过实例网的构建,给出了流程可组合性的判定定理,并提出减少服务搜索空间的算法。最后,应用具体实例模拟组合流程的分析过程,展示了该方法的有效性。Although business process execution language for Web services （BPEL） has many features that make it suitable for describing service composition, it lacks formal semantics so that composition process cannot be strictly analyzed and verified. In this paper, a Petri net-based analysis method for composition process is proposed. Petri net is applied to describe the semantics of BPEL and define the basic activities and relationships of service processes. By constructing the example net of the target service, a decision theorem is proposed for BPEL composition process, and an algorithm is given to reduce the search space of services. Finally, a specific example is utilized to simulate the analysis procedure of service processes, which shows the effective of the proposed method.

关 键 词：BPEL 可组合性 PETRI网 建模 验证 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]