Diagnosing Differences between Business Process Models
Diagnosing Differences between Business Process Models
复制标题
DOI：
10.1007/978-3-540-85758-7_20
复制
发表时间：
2008-09
期刊：
影响因子：
--
通讯作者：
R. Dijkman
中科院分区：
文献类型：
--
作者：
R. Dijkman
本文提出了一种诊断 EPC 表示法中业务流程模型之间差异的技术。诊断返回业务流程模型中差异的确切位置，并使用先前工作中开发的差异类型来诊断差异的类型。这与用于检测过程差异（通过显示非等价性）的现有技术形成对比，现有技术返回简单的真/假陈述或形式语义方面的陈述。对于不熟悉形式语义的业务分析师来说，这两种类型的语句都没有帮助。案例研究说明了该技术的实用性。它还表明，尽管该技术具有指数复杂性，但由于模型的重复范围界定，它可以在实践中使用。例如，该技术可用于解决组织之间合并中操作流程之间的差异。
This paper presents a technique to diagnose differences between business process models in the EPC notation. The diagnosis returns the exact position of a difference in the business process models and diagnoses the type of a difference, using a typology of differences developed in previous work. This in contrast to existing techniques for detecting process differences (by showing non-equivalence), which return simple true/false statements, or statements in terms of a formal semantics. Neither type of statement is helpful to a business analyst not versed in formal semantics. A case study illustrates the usefulness of the technique. It also shows that, although the technique has exponential complexity, it can be used in practice, because of repeated scoping of the models. The technique can be used, for example, to resolve differences between operational process in a merger between organizations.