%0 Journal Article
%T 一种基于Petri网的服务组合流程分析方法
%A 范贵生
%A 虞慧群
%A 陈丽琼
%A 刘冬梅
%J 华东理工大学学报
%P 112-118
%D 2009
%X 虽然业务流程执行语言（BPEL）有很多特征使它适合组合流程的描述，但它缺乏形式化语义，从而不能对组合流程进行严格的分析和验证。本文提出了一种基于Petri网的BPEL语言所对应的组合流程分析方法。应用Petri网来描述BPEL所定义的组合流程，描述组合流程的基本活动及它们之间关系，进而分析了组合流程结构上的合理性。通过实例网的构建，给出了流程可组合性的判定定理，并提出减少服务搜索空间的算法。最后，应用具体实例模拟组合流程的分析过程，展示了该方法的有效性。
%K BPEL
%K 可组合性
%K Petri网
%K 建模
%K 验证
%U http://journal.ecust.edu.cn/ch/reader/view_abstract.aspx?file_no=200901023&flag=1