软件学报

作者：莫启，代飞，笪建，朱锐，谢仲文，李彤

单位：莫启，云南大学 软件学院, 云南 昆明 650091;云南省软件工程重点实验室(云南大学), 云南 昆明 65009111,代飞，云南省软件工程重点实验室(云南大学), 云南 昆明 650091;西南林业大学 大数据与智能工程学院, 云南 昆明 65009102,笪建，云南大学 软件学院, 云南 昆明 650091;淮安开放大学 信息工程系, 江苏 淮安 22300103,朱锐，云南大学 软件学院, 云南 昆明 650091;云南省软件工程重点实验室(云南大学), 云南 昆明 65009104,谢仲文，云南大学 软件学院, 云南 昆明 650091;云南省软件工程重点实验室(云南大学), 云南 昆明 65009105,李彤，云南大学 软件学院, 云南 昆明 650091;云南省软件工程重点实验室(云南大学), 云南 昆明 65009106

关键词：协同业务过程;正确性修正;简单路径;核;协调映射

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

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

来源：2020年第10期

《软件学报》期刊编辑部

查看软件学报杂志2020年第10期