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

Modeling and Correctness Repair for Collaborative Business Processes

作　　者：莫启[1,2] 代飞[2,3] 笪建 朱锐 谢仲文[1,2] 李彤[1,2] 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;School of Big Data and Intelligent Engineering,Southwest Forestry University,Kunming 650091,China;Department of Information Engineering,Huai’an Open University,Huai’an 223001,China)

机构地区：[1]云南大学软件学院,云南昆明650091 [2]云南省软件工程重点实验室(云南大学),云南昆明650091 [3]西南林业大学大数据与智能工程学院,云南昆明650091 [4]淮安开放大学信息工程系,江苏淮安223001

出　　处：《软件学报》2020年第10期3147-3166,共20页Journal of Software

基　　金：国家自然科学基金(61862065,61702442,61662085);云南省应用基础研究计划(2018FB105);云南省软件工程重点实验室开放基金面上项目(2017SE201,2016SE202);云南省中青年学术和技术带头人后备人才培养经费(C6143002);云南省教育厅科学研究基金(2017ZZX227);云南省基础研究面上项目(202001BB050031)。

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