论文部分内容阅读
为满足业务人员和IT人员对过程编排的不同需求,将协作图和Petri网进行有机结合,提出一种混合式的过程编排定义方法。该方法一方面使用协作图对过程编排进行定义来满足业务人员的可视化需求;另一方面使用Petri网对协作图进行编码,从而将基于协作图定义的过程编排转换为Petri网,借助Petri网的有效分析技术满足IT人员的形式分析需求。从迹等价角度证明了编码产生的Petri网可知保持协作图的语义。