业务协同中组织需求的建模与一致性验证
笪建1,2,3; 莫启1,4; 程耀坤2; 张毅2; 李彤1,4
2018-08-21
发表期刊计算机集成制造系统
ISSN1006-5911
卷号24期号:09页码:2186-2200
摘要验证协同业务过程与参与组织期望需求的一致性是协同业务过程设计阶段需要解决的一个关键问题。基于模型检测技术提出一种需求一致性检测方法。通过扩展经典目标模型,提出需求依赖图来建模参与组织需求;引入并发操作符来提供一种通过组合业务过程构建协同业务过程方法,并定义了其执行语义以支持需求一致性验证;基于模型检测技术提出需求一致性验证框架。对协同制造中采购订单进行建模,并与现有典型方法进行对比分析,结果表明相对已有工作,所提方法能够更有效地对跨组织环境下需求一致性检测进行建模和分析。
关键词组织需求 协同业务过程 一致性 模型检测 迹等价
DOI10.13196/j.cims.2018.09.007
URL查看原文
收录类别北大核心 ; CSCD
语种中文
资助项目国家自然科学基金资助项目(61462095,61862065,61662085,61379032);云南省应用基础研究计划资助项目(2016FB102);云南省软件工程重点实验室开放基金面上资助项目(2017SE201,2016SE202);云南省中青年学术和技术带头人后备人才培养经费资助项目(C6143002);云南省教育厅科学研究基金资助项目(2017ZZX227)~~
原始文献类型学术期刊
文献类型期刊论文
条目标识符http://ir.library.ouchn.edu.cn/handle/39V7QQFX/139295
专题国家开放大学江苏分部
通讯作者莫启
作者单位1.云南大学软件学院;
2.淮安开放大学信息工程系;
3.江苏联合职业技术学院淮安分院现代教育技术中心;
4.云南大学云南省软件工程重点实验室
第一作者单位国家开放大学江苏分部
推荐引用方式
GB/T 7714
笪建,莫启,程耀坤,等. 业务协同中组织需求的建模与一致性验证[J]. 计算机集成制造系统,2018,24(09):2186-2200.
APA 笪建,莫启,程耀坤,张毅,&李彤.(2018).业务协同中组织需求的建模与一致性验证.计算机集成制造系统,24(09),2186-2200.
MLA 笪建,et al."业务协同中组织需求的建模与一致性验证".计算机集成制造系统 24.09(2018):2186-2200.
条目包含的文件
条目无相关文件。
个性服务
查看访问统计
谷歌学术
谷歌学术中相似的文章
[笪建]的文章
[莫启]的文章
[程耀坤]的文章
百度学术
百度学术中相似的文章
[笪建]的文章
[莫启]的文章
[程耀坤]的文章
必应学术
必应学术中相似的文章
[笪建]的文章
[莫启]的文章
[程耀坤]的文章
相关权益政策
暂无数据
收藏/分享
相关推荐
正确性保证的私有过程建模方法
一种基于Bigraph的规则驱动动态模型研究
结合Petri网与进程代数的业务过程协同模型研究
从私有过程提取公共过程构建业务协同的方法
参与组织需求与协同业务过程一致性验证方法
协同业务过程的建模及正确性修正
所有评论 (0)
暂无评论
 

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。