跨组织业务过程协同并行建模  

Parallel modeling for cross-organization business process

作　　者：莫启[1] 代飞[1,2] 朱锐[1] 笪建 林雷蕾 李可[1] 李彤[1,2] 

机构地区：[1]云南大学软件学院,云南昆明650091 [2]云南大学云南省软件工程重点实验室,云南昆明650091 [3]淮安市高级职业技术学校信息工程系,江苏淮安223001

出　　处：《计算机集成制造系统》2015年第4期1051-1062,共12页Computer Integrated Manufacturing Systems

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

摘　　要：为确保组织之间通信、交互和协作实施的正确性和一致性,对业务过程进行建模和验证,并关注形式验证的效率,根据应用需求获取参与协同的业务过程单元;基于协作点的语义对业务过程单元间存在的协作关系进行划分,应用等价划分的思想对跨组织业务过程协同进行并行建模,得到跨组织业务过程协同模型;通过对协同制造中供应链内的采购订单进行并行建模,与现有的、具有代表性的方法进行对比并进行了理论分析。结果表明,跨组织业务过程协同模型能够提高模型的形式验证效率、减少形式验证时间。To guarantee the exactness and consistency of communication, interaction and coordination between organi- zations, the business process was modeled and verified. According to the application requirements, the business process unit participated in coordination was obtained. Based on the collaborative semantic, the collaborative rela- tionships existed in units were divided, and a parallel modeling for cross-organization business process was carried out with the idea of equivalence partition. Through the parallel modeling for purchase order in supply chain, the comparison with／the current and typical works was did, and the results showed that the cross-organization collabora- tion model could improve the efficiency of formal verification and shorten the time of formal verification.

关 键 词：跨组织业务过程 协同 并行建模 语义 

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