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

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