首页> 外文期刊>Software and systems modeling >Detection and resolution of conflicting change operations in version management of process models
【24h】

Detection and resolution of conflicting change operations in version management of process models

机译:在流程模型的版本管理中检测和解决冲突的变更操作

获取原文
获取原文并翻译 | 示例

摘要

Version management of process models requires that different versions of process models are integrated by applying change operations. Conflict detection between individually applied change operations and conflict resolution support are integral parts of version management. For conflict detection it is utterly important to compute a precise set of conflicts, since the minimization of the number of detected conflicts also reduces the overhead for merging different process model versions. As not every syntactic conflict leads to a conflict when taking into account model semantics, a computation of conflicts solely on the syntax leads to an unnecessary high number of conflicts. Moreover, even the set of precisely computed conflicts can be extensive and their resolution means a significant workload for a user. As a consequence, adequate support is required that guides a user through the resolution process and suggests possible resolution strategies for individual conflicts. In this paper, we introduce the notion of syntactic and semantic conflicts for change operations of process models. We provide a method how to efficiently compute conflicts precisely, using a term formalization of process models and consider the subsequent resolution of the detected conflicts based on different strat- egies. Using this approach, we can significantly reduce the number of overall conflicts and reduce the amount of work for the user when resolving conflicts.
机译:流程模型的版本管理要求通过应用更改操作来集成不同版本的流程模型。单独应用的更改操作与冲突解决支持之间的冲突检测是版本管理的组成部分。对于冲突检测,计算精确的一组冲突非常重要,因为最小化检测到的冲突的数量还可以减少合并不同流程模型版本的开销。考虑到模型语义时,并非每个语法冲突都会导致冲突,因此仅在语法上计算冲突会导致不必要的大量冲突。而且,即使是一组精确计算出的冲突也可能是广泛的,并且解决这些冲突对用户来说意味着巨大的工作量。结果,需要足够的支持来指导用户完成解决过程,并为个体冲突提出可能的解决策略。在本文中,我们介绍了针对过程模型的更改操作的句法和语义冲突的概念。我们提供了一种方法,该方法使用过程模型的术语形式化来精确地有效计算冲突,并考虑基于不同策略的检测到的冲突的后续解决方案。使用这种方法,我们可以大大减少总体冲突的数量,并在解决冲突时减少用户的工作量。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号