期刊文献+

业务协同中组织需求的建模与一致性验证 被引量:1

Modeling and consistency verification for organizational requirements in business collaboration
下载PDF
导出
摘要 验证协同业务过程与参与组织期望需求的一致性是协同业务过程设计阶段需要解决的一个关键问题。基于模型检测技术提出一种需求一致性检测方法。通过扩展经典目标模型,提出需求依赖图来建模参与组织需求;引入并发操作符来提供一种通过组合业务过程构建协同业务过程方法,并定义了其执行语义以支持需求一致性验证;基于模型检测技术提出需求一致性验证框架。对协同制造中采购订单进行建模,并与现有典型方法进行对比分析,结果表明相对已有工作,所提方法能够更有效地对跨组织环境下需求一致性检测进行建模和分析。 The validation for the consistency of collaborative business process with participating in organization requirements is a key problem in the design phase of collaborative business process.To solve this problem,a requirement consistency detection method based on model detection technology was proposed.The target model theory was extended,and the modeling requirements dependency graph was used to model the participating in organizational requirements;by introducing concurrent operators to participate organizational business processes,the collaborative business process was built through the way of combination;a framework of requirement consistency detection was proposed based on model detection technology.Through the comparison and analysis of purchase-orders modeling in collaborative manufacturing with existing and typical methods,the result showed that the proposed method could be more effective than existing work to model and analyze requirement consistency detection in cross-organizational environment.
作者 笪建 莫启 程耀坤 张毅 李彤 DA Jian;MO Qi;CHENG Yaokun;ZHANG Yi;LI Tong(School of Software,Yunnan University,Kunming 650091,China;Key Laboratory of Software Engineering of Yunnan Province,Kunming 650091,China;Department of Information Engineering,Huai an Open University,Huai an 223001,China;Modern Educational Technology Center,Huaian Branch of Jiangsu Union Technical Institute,Huaian 223001,China)
出处 《计算机集成制造系统》 EI CSCD 北大核心 2018年第9期2186-2200,共15页 Computer Integrated Manufacturing Systems
基金 国家自然科学基金资助项目(61462095 61862065 61662085 61379032) 云南省应用基础研究计划资助项目(2016FB102) 云南省软件工程重点实验室开放基金面上资助项目(2017SE201 2016SE202) 云南省中青年学术和技术带头人后备人才培养经费资助项目(C6143002) 云南省教育厅科学研究基金资助项目(2017ZZX227)~~
关键词 组织需求 协同业务过程 一致性 模型检测 迹等价 organizational requirements collaborative business process consistency model checking trace equivalence
  • 相关文献

参考文献8

二级参考文献76

  • 1周建涛,史美林,叶新铭.工作流过程建模中的形式化验证技术[J].计算机研究与发展,2005,42(1):1-9. 被引量:31
  • 2庞善臣,闫春钢,蒋昌俊.基于家态的多事务工作流完整性分析[J].电子学报,2006,34(6):1163-1168. 被引量:4
  • 3OASIS. Web services business process execution language(WS- BPEL), version 2. 0[EB/OL]. (2007-01-08)[2011-03-15]. http://docs. oasis-open. org/wsbpel/2.0.
  • 4W3C. Web services choreography description language(WSCDL), version 1.0[EB/OL]. (2005-01-06)[2011-02-20]. http://www. w3. org/TR/2005/CR-ws-cdl-10-20051109.
  • 5VAN DER AALST W M P, HOFSTEDE A, KIEPUSZUWS- KI B, et al. Workflow patterns[J]. Distributed and Parallel Databases,2003,14(1):5-51.
  • 6RUSSELL N, HOFSTEDE A, EDMOND D, et al. Workflow dala patterns[R]. Brisban, Queensland, Austrilia: Queensland Universily of Technology,2004.
  • 7RUSSELL N, HOFSTEDE A, EDMONDD, et al. Workflow resource patterns [ R]. Brisban, Queensland, Austrilia:Queensland University of Technology, 2004.
  • 8BARROS A, DUMAS M, HOFSTEDE A. Service interaction patterns[J]. Lecture Notes in Computer Science, 2005,3649: 302-318.
  • 9BARROS A, BORGER E. A compositional framework for se- rvice interaction patterns and interaction flows[C]//Proceed ings of International Conference on Formal Engineering Meth ods. Berlin, Germany:Springer Verlag,2005:5-35.
  • 10DECKER G, PUHLMANN F, WESKE M. Formalizing serw ice interactions[C]//Proceedings of the 4th International Con- ference on Business Process Management(BPM 2006). Berlin, Germany:Springer Verlag,2006:414-419.

共引文献52

同被引文献15

引证文献1

二级引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部