###
Journal of Software:2020.31(10):3147-3166

协同业务过程的建模及正确性修正
莫启,代飞,笪建,朱锐,谢仲文,李彤
(云南大学 软件学院, 云南 昆明 650091;云南省软件工程重点实验室(云南大学), 云南 昆明 650091;云南省软件工程重点实验室(云南大学), 云南 昆明 650091;西南林业大学 大数据与智能工程学院, 云南 昆明 650091;云南大学 软件学院, 云南 昆明 650091;淮安开放大学 信息工程系, 江苏 淮安 223001)
Modeling and Correctness Repair for Collaborative Business Processes
MO Qi,DAI Fei,DA Jian,ZHU Rui,XIE Zhong-Wen,LI Tong
(School of Software, Yunnan University, Kunming 650091, China;Yunnan Provincial Key Laboratory of Software Engineering (Yunnan University), Kunming 650091, China;Yunnan Provincial Key Laboratory of Software Engineering (Yunnan University), Kunming 650091, China;School of Big Data and Intelligent Engineering, Southwest Forestry University, Kunming 650091, China;School of Software, Yunnan University, Kunming 650091, China;Department of Information Engineering, Huai'an Open University, Huai'an 223001, China)
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 366   Download 1101
Received:May 09, 2018    Revised:September 18, 2018
> 中文摘要: 由自底向上建模方法建立的协同业务过程中通常存在不一致,故对其进行正确性分析是确保其正确实施的重要手段.现有方法大多关注正确性检测,这使得协同业务过程的正确性分析过程复杂且耗时.而正确性修正方法能够避免正确性检测方法中存在的重复检测和调整,但这方面的研究较少,不能有效地应用于协同业务过程修正.为此,基于简单路径提出一种协同业务过程正确性修正方法.首先,在考虑活动同步及异步交互情况下,将部分正确协同业务过程行为抽象为完整的简单路径,并将其合并成核;然后,利用协调映射技术将核映射为修正业务过程,通过将所有的修正业务过程并发组合建立修正协同业务过程.修正协同业务过程符合协同业务过程的实际特征,且含有修正前协同业务过程中所有完整的轨迹,也未引入隐藏轨迹,从而避免了有效性确认.最后,通过实验与现有方法进行对比分析,结果表明:相对已有工作,在考虑协同业务过程实际特征的情况下,协同业务过程正确性修正方法能够更加有效地对协同业务过程进行正确性修正.
Abstract:There are usually inconsistencies in collaborative business processes established by the bottom-up modeling method, so the correctness analysis is an important means to ensure its correct implementation. Most of the existing methods focus on correctness detection, which makes the analysis process of correctness of collaborative business processes complicated and time consuming. The correctness repairing method can avoid the duplicate detection and adjustment existing in the correctness detection method. However, this method is less researched and cannot be effectively applied to the repair of collaborative business processes. To this end, a method of repairing the correctness of collaborative business processes is proposed based on the complete route. First, the behaviors of partial correct collaborative business processes are abstracted into complete simple routes under the consideration of active synchronization and asynchronous interaction, and merged them into a core. Then, the coordination mapping is used to map the core to repaired business processes, and the repaired collaborative business process is established by combining all the repaired business processes concurrently. The repaired collaborative business process conforms to the actual characteristics of collaborative business processes, and contains all complete traces in the pre-repair collaborative business process, and no hidden traces are also introduced, thereby avoiding validation. Finally, experiments are used to compare the proposed method with the existing methods. The results show that compared with the existing work, under the consideration of the actual characteristics of collaborative business processes, the proposed approach can more effectively repair collaborative business processes.
文章编号:     中图分类号:TP311    文献标志码:
基金项目:国家自然科学基金(61862065,61702442,61662085);云南省应用基础研究计划(2018FB105);云南省软件工程重点实验室开放基金面上项目(2017SE201,2016SE202);云南省中青年学术和技术带头人后备人才培养经费(C6143002);云南省教育厅科学研究基金(2017ZZX227);云南省基础研究面上项目(202001BB050031) 国家自然科学基金(61862065,61702442,61662085);云南省应用基础研究计划(2018FB105);云南省软件工程重点实验室开放基金面上项目(2017SE201,2016SE202);云南省中青年学术和技术带头人后备人才培养经费(C6143002);云南省教育厅科学研究基金(2017ZZX227);云南省基础研究面上项目(202001BB050031)
Foundation items: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)
Reference text:

莫启,代飞,笪建,朱锐,谢仲文,李彤.协同业务过程的建模及正确性修正.软件学报,2020,31(10):3147-3166

MO Qi,DAI Fei,DA Jian,ZHU Rui,XIE Zhong-Wen,LI Tong.Modeling and Correctness Repair for Collaborative Business Processes.Journal of Software,2020,31(10):3147-3166