Page 171 - 《软件学报》2020年第10期

软件学报 ISSN 1000-9825, CODEN RUXUEW E-mail: jos@iscas.ac.cn
Journal of Software,2020,31(10):3147−3166 [doi: 10.13328/j.cnki.jos.005809] http://www.jos.org.cn
©中国科学院软件研究所版权所有. Tel: +86-10-62562563

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

1,2
1,4
1,2
1,2
1,2
2,3
莫 启 , 代 飞 , 笪 建 , 朱 锐 , 谢仲文 , 李 彤
1
(云南大学 软件学院,云南 昆明 650091)
2 (云南省软件工程重点实验室(云南大学),云南 昆明 650091)
3 (西南林业大学 大数据与智能工程学院,云南 昆明 650091)
4
(淮安开放大学 信息工程系,江苏 淮安 223001)
通讯作者: 代飞, E-mail: 59671019@qq.com

摘 要: 由自底向上建模方法建立的协同业务过程中通常存在不一致,故对其进行正确性分析是确保其正确实施
的重要手段.现有方法大多关注正确性检测,这使得协同业务过程的正确性分析过程复杂且耗时.而正确性修正方法
能够避免正确性检测方法中存在的重复检测和调整,但这方面的研究较少,不能有效地应用于协同业务过程修正.为
此,基于简单路径提出一种协同业务过程正确性修正方法.首先,在考虑活动同步及异步交互情况下,将部分正确协
同业务过程行为抽象为完整的简单路径,并将其合并成核;然后,利用协调映射技术将核映射为修正业务过程,通过
将所有的修正业务过程并发组合建立修正协同业务过程.修正协同业务过程符合协同业务过程的实际特征,且含有
修正前协同业务过程中所有完整的轨迹,也未引入隐藏轨迹,从而避免了有效性确认.最后,通过实验与现有方法进
行对比分析,结果表明:相对已有工作,在考虑协同业务过程实际特征的情况下,协同业务过程正确性修正方法能够
更加有效地对协同业务过程进行正确性修正.
关键词: 协同业务过程;正确性修正;简单路径;核;协调映射
中图法分类号: TP311

中文引用格式: 莫启,代飞,笪建,朱锐,谢仲文,李彤.协同业务过程的建模及正确性修正.软件学报,2020,31(10):3147–3166.
http://www.jos.org.cn/1000-9825/5809.htm
英文引用格式: Mo Q, Dai F, Da J, Zhu R, Xie ZW, Li T. Modeling and correctness repair for collaborative business processes.
Ruan Jian Xue Bao/Journal of Software, 2020,31(10):3147−3166 (in Chinese). http://www.jos.org.cn/1000-9825/5809.htm

Modeling and Correctness Repair for Collaborative Business Processes

1,2
2,3
1,2
1,2
1,4
1,2
MO Qi , DAI Fei , DA Jian , ZHU Rui , XIE Zhong-Wen , LI Tong
1 (School of Software, Yunnan University, Kunming 650091, China)
2 (Yunnan Provincial Key Laboratory of Software Engineering (Yunnan University), Kunming 650091, China)
3 (School of Big Data and Intelligent Engineering, Southwest Forestry University, Kunming 650091, China)
4 (Department of Information Engineering, Huai’an Open University, Huai’an 223001, China)

∗ 基金项目: 国家自然科学基金(61862065, 61702442, 61662085); 云南省应用基础研究计划(2018FB105); 云南省软件工程重点
实验室开放基金面上项目(2017SE201, 2016SE202); 云南省中青年学术和技术带头人后备人才培养经费(C6143002); 云南省教育厅
科学研究基金(2017ZZX227); 云南省基础研究面上项目(202001BB050031)
Foundation item: National Natural Science Foundation of China (61862065, 61702442, 61662085); Application Basic Research
Project in Yunnan Province (2018FB105); Open Foundation of Key Laboratory for Software Engineering of Yunnan Province (2017
SE201, 2016SE202); Yunnan Province Young Academic and Technical Leaders Funds for Training (C6143002); Project of Yunnan
Provincial Department of Education Science Research Fund (2017ZZX227); Basic Research Project in Yunnan Province (2020
01BB050031)
收稿时间: 2018-05-09; 修改时间: 2018-09-18; 采用时间: 2018-12-29; jos 在线出版时间: 2020-04-21