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

Hybrid approach to define process choreographies

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

机构地区：[1]云南大学软件学院,云南昆明650091 [2]云南大学云南省软件工程重点实验室,云南昆明650091

出　　处：《计算机集成制造系统》2016年第2期363-371,共9页Computer Integrated Manufacturing Systems

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

摘　　要：为满足业务人员和IT人员对过程编排的不同需求,将协作图和Petri网进行有机结合,提出一种混合式的过程编排定义方法。该方法一方面使用协作图对过程编排进行定义来满足业务人员的可视化需求;另一方面使用Petri网对协作图进行编码,从而将基于协作图定义的过程编排转换为Petri网,借助Petri网的有效分析技术满足IT人员的形式分析需求。从迹等价角度证明了编码产生的Petri网可知保持协作图的语义。To meet the different needs of business people and IT staffs,a hybrid approach to define process choreographies was proposed by combining collaboration diagrams with Petri net.To meet the visual needs of business people,the collaboration diagrams was used to define process choreographies;to meet the formal analysis needs of IT staffs,Petri net was used to encode collaboration diagrams,which transformed the process choreography based on collaboration diagrams into Petri net to analyze the techniques effectively.From the view of the trace equivalence,the corresponding collaboration diagram semantics were preserved with encoded Petri net.

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

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]