协同业务过程的建模及正确性修正

doi:10.13328/j.cnki.jos.005809

	协同业务过程的建模及正确性修正
	莫启 1,2; 代飞 2,3; 笪建 1,4; 朱锐 1,2; 谢仲文 1,2; 李彤 1,2
	2020-10-14
发表期刊	软件学报
ISSN	1000-9825
卷号	31 期号:10 页码:3147-3166
摘要	由自底向上建模方法建立的协同业务过程中通常存在不一致,故对其进行正确性分析是确保其正确实施的重要手段.现有方法大多关注正确性检测,这使得协同业务过程的正确性分析过程复杂且耗时.而正确性修正方法能够避免正确性检测方法中存在的重复检测和调整,但这方面的研究较少,不能有效地应用于协同业务过程修正.为此,基于简单路径提出一种协同业务过程正确性修正方法.首先,在考虑活动同步及异步交互情况下,将部分正确协同业务过程行为抽象为完整的简单路径,并将其合并成核;然后,利用协调映射技术将核映射为修正业务过程,通过将所有的修正业务过程并发组合建立修正协同业务过程.修正协同业务过程符合协同业务过程的实际特征,且含有修正前协同业务过程中所有完整的轨迹,也未引入隐藏轨迹,从而避免了有效性确认.最后,通过实验与现有方法进行对比分析,结果表明:相对已有工作,在考虑协同业务过程实际特征的情况下,协同业务过程正确性修正方法能够更加有效地对协同业务过程进行正确性修正.
关键词	协同业务过程正确性修正简单路径核协调映射
DOI	10.13328/j.cnki.jos.005809
URL	查看原文
收录类别	北大核心 ; CSCD
语种	中文
资助项目	国家自然科学基金(61862065,61702442,61662085);云南省应用基础研究计划(2018FB105);云南省软件工程重点实验室开放基金面上项目(2017SE201,2016SE202);云南省中青年学术和技术带头人后备人才培养经费(C6143002);云南省教育厅科学研究基金(2017ZZX227);云南省基础研究面上项目(202001BB050031)~~
原始文献类型	学术期刊
文献类型	期刊论文
条目标识符	http://ir.library.ouchn.edu.cn/handle/39V7QQFX/145096
专题	国家开放大学江苏分部
通讯作者	代飞
作者单位	1.云南大学软件学院; 2.云南省软件工程重点实验室(云南大学); 3.西南林业大学大数据与智能工程学院; 4.淮安开放大学信息工程系
推荐引用方式 GB/T 7714	莫启,代飞,笪建,等. 协同业务过程的建模及正确性修正[J]. 软件学报,2020,31(10):3147-3166.
APA	莫启,代飞,笪建,朱锐,谢仲文,&李彤.(2020).协同业务过程的建模及正确性修正.软件学报,31(10),3147-3166.
MLA	莫启,et al."协同业务过程的建模及正确性修正".软件学报 31.10(2020):3147-3166.