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

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

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

单位：1.云南大学软件学院2.云南大学云南省软件工程重点实验室3.淮安市高级职业技术学校信息工程系

摘要：为确保组织之间通信、交互和协作实施的正确性和一致性,对业务过程进行建模和验证,并关注形式验证的效率,根据应用需求获取参与协同的业务过程单元;基于协作点的语义对业务过程单元间存在的协作关系进行划分,应用等价划分的思想对跨组织业务过程协同进行并行建模,得到跨组织业务过程协同模型;通过对协同制造中供应链内的采购订单进行并行建模,与现有的、具有代表性的方法进行对比并进行了理论分析。结果表明,跨组织业务过程协同模型能够提高模型的形式验证效率、减少形式验证时间。

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

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