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

摘要：

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

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

所属期刊栏目：24

分类号：TP311(计算技术、计算机技术)

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

在线出版日期：2018-10-24（万方平台首次上网日期，不代表论文的发表时间）

页数：共13页

页码：1608-1620