即时、可理解且可纠正的真实性 BPMN 模型检查
软件工程
2024-07-09 v2
摘要
许多业务流程模型存在控制流错误，如死锁，这会阻碍其正确执行。本文介绍了我们的新型真实性检查工具，能够即时识别 BPMN 模型中的错误，使其对模型编写者可理解，并甚至自动建议纠正这些错误的方法。我们通过对工具进行基准测试，表明其真实性检查具有即时性，即耗时不足500毫秒，这些基准测试包括规模和状态空间复杂度日益增大的合成 BPMN 模型，以及来自文献中的真实模型。此外，工具直接显示模型中可能的真实性违规，并提供每种违规的交互式反例可视化。此外，工具提供解决所发现违规的修复方法，而这些修复方法在当前其他工具中尚不可用。该工具开源、模块化、可扩展，并集成到流行的 BPMN 建模工具中。
引用
@article{arxiv.2407.03965,
title = {Instantaneous, Comprehensible, and Fixable Soundness Checking of Realistic BPMN Models},
author = {Tim Kräuter and Patrick Stünkel and Adrian Rutle and Harald König and Yngve Lamo},
journal= {arXiv preprint arXiv:2407.03965},
year = {2024}
}