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

A Petri Net-Based Analysis Method for Service Composition Process

虽然业务流程执行语言(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.