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

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