Modeling and Correctness Repair for Collaborative Business Processes
Author:
Affiliation:

Clc Number:

Fund Project:

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)

  • Article
  • |
  • Figures
  • |
  • Metrics
  • |
  • Reference
  • |
  • Related
  • |
  • Cited by
  • |
  • Materials
  • |
  • Comments
    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.

    Reference
    Related
    Cited by
Get Citation

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

Copy
Share
Article Metrics
  • Abstract:
  • PDF:
  • HTML:
  • Cited by:
History
  • Received:May 09,2018
  • Revised:September 18,2018
  • Adopted:
  • Online: April 21,2020
  • Published: October 06,2020
You are the firstVisitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-4
Address:4# South Fourth Street, Zhong Guan Cun, Beijing 100190,Postal Code:100190
Phone:010-62562563 Fax:010-62562533 Email:jos@iscas.ac.cn
Technical Support:Beijing Qinyun Technology Development Co., Ltd.

Beijing Public Network Security No. 11040202500063