计算机集成制造系统 ›› 2015, Vol. 21 ›› Issue (第4期): 1051-1062.DOI: 10.13196/j.cims.2015.04.021

• 产品创新开发技术 • 上一篇    下一篇

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

莫启1,代飞1,2,朱锐1,笪建1,3,林雷蕾1,李可1,李彤1,2   

  1. 1.云南大学软件学院
    2.云南大学云南省软件工程重点实验室
    3.淮安市高级职业技术学校信息工程系
  • 出版日期:2015-04-30 发布日期:2015-04-30
  • 基金资助:
    国家自然科学基金资助项目(61262024,61379032,61462095);云南省自然科学基金资助项目(2012FD005);云南省教育厅科学研究基金资助项目(2013Y365);云南省软件工程重点实验室开放基金资助项目(2012SE307);第五批云南大学中青年骨干教师培养计划资助项目(XT412003)。

Parallel modeling for cross-organization business process

  • Online:2015-04-30 Published:2015-04-30
  • Supported by:
    Project supported by the National Natural Science Foundation,China(No.61262024,61379032,61462095),the Yunnan Provincial Natural Science Foundation,China(No.2012FD005),the Yunnan Provincial Department of Education,China(No.2013Y365),the Open Foundation of Key Laboratory for Software Engineering of Yunnan Province,China(No.2012SE307),and the Fifth Batch of Young Backbone Teachers Training Plan of Yunnan University,China(No.XT412003).

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

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

Abstract: To guarantee the exactness and consistency of communication,interaction and coordination between organizations,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 relationships 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 collaboration model could improve the efficiency of formal verification and shorten the time of formal verification.

Key words: cross-organization business process, collaboration, parallel modeling, semantics

中图分类号: