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

doi:10.13196/j.cims.2018.07.003

	参与组织需求与协同业务过程一致性验证方法
	莫启 1,2; 代飞 2,3; 朱锐 1,2; 笪建 1,4; 郑明 1; 李彤 1,2; 林雷蕾 1; 戴翼超 1
	2018-07-15
发表期刊	计算机集成制造系统
ISSN	1006-5911
卷号	24 期号:07 页码:1608-1620
摘要	为了验证协同业务过程与参与组织需求保持一致,基于模型检测技术提出一种需求一致性检测方法。首先,扩展并沿用目标模型思想,提出一种声明式需求描述语言来描述参与组织需求;然后,引入并发操作符,提供一种通过组合参与组织业务过程构建协同业务过程方法,并定义其执行语义以支持需求一致性验证;最后,基于模型检测技术提出需求一致性验证框架,实现需求一致性自动验证。通过对协同制造中供应链建模并与现有的、典型的方法对比分析,结果表明:相对已有的典型工作,所提方法能够更加有效地支持需求一致性验证。
关键词	参与组织需求协同业务过程一致性模型检测迹等价
DOI	10.13196/j.cims.2018.07.003
URL	查看原文
收录类别	北大核心 ; CSCD
语种	中文
资助项目	国家自然科学基金资助项目(61462095,61702442,61662085,61379032);云南省应用基础研究计划资助项目(2016FB102,2018FB105);云南省软件工程重点实验室开放基金面上资助项目(2017SE201,2016SE202);云南省中青年学术和技术带头人后备人才培养经费资助项目(C6143002);云南省教育厅科学研究基金资助项目(2017ZZX227)~~
原始文献类型	学术期刊
文献类型	期刊论文
条目标识符	http://ir.library.ouchn.edu.cn/handle/39V7QQFX/139296
专题	国家开放大学江苏分部
通讯作者	代飞
作者单位	1.云南大学软件学院; 2.云南大学云南省软件工程重点实验室; 3.西南林业大学大数据与智能工程学院; 4.淮安开放大学信息工程系
推荐引用方式 GB/T 7714	莫启,代飞,朱锐,等. 参与组织需求与协同业务过程一致性验证方法[J]. 计算机集成制造系统,2018,24(07):1608-1620.
APA	莫启.,代飞.,朱锐.,笪建.,郑明.,...&戴翼超.(2018).参与组织需求与协同业务过程一致性验证方法.计算机集成制造系统,24(07),1608-1620.
MLA	莫启,et al."参与组织需求与协同业务过程一致性验证方法".计算机集成制造系统 24.07(2018):1608-1620.