一种混合式的过程编排定义方法

来源：计算机集成制造系统杂志2016年第2期北京时间：

作者：代飞,莫启,李彤,谢仲文,秦江龙

单位：1.云南大学软件学院2.云南大学云南省软件工程重点实验室

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

关键词：业务过程管理,过程编排,协作图,Petri网

基金资助：国家自然科学基金资助项目(61262024,61379032,61462095);云南省自然科学基金资助项目(2012FD005);云南省教育厅科学研究基金资助项目(2013Y365);云南省软件工程重点实验室开放基金资助项目(2012SE307);第五批云南大学“中青年骨干教师培养计划”资助项目(XT412003)。