业务协同中组织需求的建模与一致性验证

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

作者：笪建,莫启,程耀坤,张毅,李彤

单位：1.云南大学软件学院2.云南大学云南省软件工程重点实验室3.淮安开放大学信息工程系4.江苏联合职业技术学院淮安分院现代教育技术中心

摘要：验证协同业务过程与参与组织期望需求的一致性是协同业务过程设计阶段需要解决的一个关键问题。基于模型检测技术提出一种需求一致性检测方法。通过扩展经典目标模型,提出需求依赖图来建模参与组织需求;引入并发操作符来提供一种通过组合业务过程构建协同业务过程方法,并定义了其执行语义以支持需求一致性验证;基于模型检测技术提出需求一致性验证框架。对协同制造中采购订单进行建模,并与现有典型方法进行对比分析,结果表明相对已有工作,所提方法能够更有效地对跨组织环境下需求一致性检测进行建模和分析。

关键词：组织需求,协同业务过程,一致性,模型检测,迹等价

基金资助：国家自然科学基金资助项目(61462095,61862065,61662085,61379032);云南省应用基础研究计划资助项目(2016FB102);云南省软件工程重点实验室开放基金面上资助项目(2017SE201,2016SE202);云南省中青年学术和技术带头人后备人才培养经费资助项目(C6143002);云南省教育厅科学研究基金资助项目(2017ZZX227)。