期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
业务协同中组织需求的建模与一致性验证
被引量：
1
1
作者
笪建
莫启
+2 位作者
程耀坤
张毅
李彤
《计算机集成制造系统》
EI
CSCD
北大核心
2018年第9期2186-2200,共15页
验证协同业务过程与参与组织期望需求的一致性是协同业务过程设计阶段需要解决的一个关键问题。基于模型检测技术提出一种需求一致性检测方法。通过扩展经典目标模型,提出需求依赖图来建模参与组织需求;引入并发操作符来提供一种通过组...
验证协同业务过程与参与组织期望需求的一致性是协同业务过程设计阶段需要解决的一个关键问题。基于模型检测技术提出一种需求一致性检测方法。通过扩展经典目标模型,提出需求依赖图来建模参与组织需求;引入并发操作符来提供一种通过组合业务过程构建协同业务过程方法,并定义了其执行语义以支持需求一致性验证;基于模型检测技术提出需求一致性验证框架。对协同制造中采购订单进行建模,并与现有典型方法进行对比分析,结果表明相对已有工作,所提方法能够更有效地对跨组织环境下需求一致性检测进行建模和分析。
展开更多
关键词
组织需求
协同业务过程
一致性
模型检测
迹等价
在线阅读
下载PDF
职称材料
题名
业务协同中组织需求的建模与一致性验证
被引量：
1
1
作者
笪建
莫启
程耀坤
张毅
李彤
机构
云南大学软件
学院
淮安
开放大学信息工程系
江苏联合职业技术学院淮安分院现代教育技术中心
云南大学云南省软件工程重点实验室
出处
《计算机集成制造系统》
EI
CSCD
北大核心
2018年第9期2186-2200,共15页
基金
国家自然科学基金资助项目(61462095
61862065
+6 种基金
61662085
61379032)
云南省应用基础研究计划资助项目(2016FB102)
云南省软件工程重点实验室开放基金面上资助项目(2017SE201
2016SE202)
云南省中青年学术和技术带头人后备人才培养经费资助项目(C6143002)
云南省教育厅科学研究基金资助项目(2017ZZX227)~~
文摘
验证协同业务过程与参与组织期望需求的一致性是协同业务过程设计阶段需要解决的一个关键问题。基于模型检测技术提出一种需求一致性检测方法。通过扩展经典目标模型,提出需求依赖图来建模参与组织需求;引入并发操作符来提供一种通过组合业务过程构建协同业务过程方法,并定义了其执行语义以支持需求一致性验证;基于模型检测技术提出需求一致性验证框架。对协同制造中采购订单进行建模,并与现有典型方法进行对比分析,结果表明相对已有工作,所提方法能够更有效地对跨组织环境下需求一致性检测进行建模和分析。
关键词
组织需求
协同业务过程
一致性
模型检测
迹等价
Keywords
organizational requirements
collaborative business process
consistency
model checking
trace equivalence
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
业务协同中组织需求的建模与一致性验证
笪建
莫启
程耀坤
张毅
李彤
《计算机集成制造系统》
EI
CSCD
北大核心
2018
1
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
