A heuristic method for detecting problems in business process models
A heuristic method for detecting problems in business process models
复制标题
DOI：
10.1108/14637151011076485
复制
发表时间：
2010-09
期刊：
影响因子：
--
通讯作者：
V. Gruhn;R. Laue
中科院分区：
文献类型：
--
作者：
V. Gruhn;R. Laue
目的-本文的目的是提出一种新的启发式方法，发现错误和可能的改进业务流程models.Design/方法/方式-首先，本文翻译的信息，包括在一个模型成一组Prolog事实。然后，它搜索与违反稳健性属性或不良建模风格相关的模式，或者以其他方式引起模型应该改进的假设。为了验证这种方法，本文分析了近1,000个业务流程模型的存储库。为此，我们使用了三种不同的模型检查器来探索模型所有可能执行的状态空间。这些工具的结果进行了比较，通过这种启发式approach.Findings的结果-本文发现，启发式方法确定违反的健全性属性几乎一样准确的模型检查。然而，除了这些工具，该方法从未遇到状态空间爆炸问题。还有...
Purpose – The purpose of this paper is to present a new heuristic approach for finding errors and possible improvements in business process models.Design/methodology/approach – First, the paper translates the information that is included in a model into a set of Prolog facts. It then searches for patterns which are related to a violation of the soundness property or bad modeling style or otherwise gives rise to the assumption that the model should be improved. To validate this approach, the paper analyzes a repository of almost 1,000 business process models. For this purpose, three different model‐checkers that explore the state space of all possible executions of a model are used. The result of these tools are compared with the results given by this heuristic approach.Findings – The paper finds that the heuristic approach identifies violations of the soundness property almost as accurate as model‐checkers. However, other than these tools, the approach never ran into state space explosion problems. Furthe...