协同业务过程的建模及正确性修正
CSTR:
作者:
作者单位:

作者简介:

莫启(1986-),男,博士,讲师,CCF会员,主要研究领域为业务过程管理.
代飞(1982-),男,博士,副教授,CCF专业会员,主要研究领域为软件工程,业务过程管理.
笪建(1979-),男,讲师,CCF专业会员,主要研究领域为业务过程管理.
朱锐(1987-),男,博士,讲师,CCF专业会员,主要研究领域为软件过程,过程挖掘.
谢仲文(1982-),男,博士,讲师,主要研究领域为软件工程.
李彤(1963-),男,博士,教授,博士生导师,CCF高级会员,主要研究领域为软件过程,形式化方法.

通讯作者:

代飞,E-mail:59671019@qq.com

中图分类号:

基金项目:

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


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

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)

  • 摘要
  • |
  • 图/表
  • |
  • 访问统计
  • |
  • 参考文献
  • |
  • 相似文献
  • |
  • 引证文献
  • |
  • 资源附件
  • |
  • 文章评论
    摘要:

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

    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.

    参考文献
    相似文献
    引证文献
引用本文

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

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
  • HTML阅读次数:
  • 引用次数:
历史
  • 收稿日期:2018-05-09
  • 最后修改日期:2018-09-18
  • 录用日期:
  • 在线发布日期: 2020-04-21
  • 出版日期: 2020-10-06
文章二维码
您是第位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京市海淀区中关村南四街4号,邮政编码:100190
电话:010-62562563 传真:010-62562533 Email:jos@iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号