Automated Error Correction of Business Process Models
Automated Error Correction of Business Process Models
复制标题
业务流程模型的自动纠错
DOI：
--
复制
发表时间：
2011
期刊：
影响因子：
--
通讯作者：
A. T. Hofstede
中科院分区：
文献类型：
--
作者：
Mauro Gambini;M. Rosa;S. Migliorini;A. T. Hofstede
由于流程任务之间的顺序依赖关系可能会变得复杂，因此很容易在流程模型设计中出错，特别是死锁等行为错误。诸如健全性之类的概念将行为错误形式化，并且存在可以识别此类错误的工具。然而，这些工具并不能帮助纠正流程模型。纠错可能非常具有挑战性，因为流程建模者的意图是未知的，而且可能有许多方法可以纠正错误。提出了一种新的基于模拟退火法的过程模型自动误差校正方法。通过该技术，确定了解决原始模型中的一个或多个错误的多个过程模型备选方案。该技术在一个工业过程模型样本上得到了实现和验证。测试表明，在合理的响应时间内，可以为每个输入模型找到至少一个声音解决方案。
As order dependencies between process tasks can get complex, it is easy to make mistakes in process model design, especially behavioral ones such as deadlocks. Notions such as soundness formalize behavioral errors and tools exist that can identify such errors. However these tools do not provide assistance with the correction of the process models. Error correction can be very challenging as the intentions of the process modeler are not known and there may be many ways in which an error can be corrected. We present a novel technique for automatic error correction in process models based on simulated annealing. Via this technique a number of process model alternatives are identified that resolve one or more errors in the original model. The technique is implemented and validated on a sample of industrial process models. The tests show that at least one sound solution can be found for each input model within a reasonable response time.