参与组织需求与协同业务过程一致性验证方法

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

作者：莫启,代飞,朱锐,笪建,郑明,李彤,林雷蕾,戴翼超

单位：1.云南大学软件学院2.西南林业大学大数据与智能工程学院3.云南大学云南省软件工程重点实验室4.淮安开放大学信息工程系

摘要：为了验证协同业务过程与参与组织需求保持一致,基于模型检测技术提出一种需求一致性检测方法。首先,扩展并沿用目标模型思想,提出一种声明式需求描述语言来描述参与组织需求;然后,引入并发操作符,提供一种通过组合参与组织业务过程构建协同业务过程方法,并定义其执行语义以支持需求一致性验证;最后,基于模型检测技术提出需求一致性验证框架,实现需求一致性自动验证。通过对协同制造中供应链建模并与现有的、典型的方法对比分析,结果表明:相对已有的典型工作,所提方法能够更加有效地支持需求一致性验证。

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

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