BPMN Analyzer 2.0：面向现实BPMN模型的即时、可理解且可纠正的控制流分析
软件工程
2024-08-13 v1
摘要
许多业务流程模型包含控制流错误，如死锁或活锁，这些错误会阻碍正确的执行。本文介绍了一个新工具，能够即时识别BPMN模型中的控制流错误，使其对模型编写者易于理解，并提供建议以解决这些问题。我们通过将工具与规模和状态空间复杂度日益增长的合成BPMN模型以及真实模型进行基准测试，演示了检测是即时的。此外，工具直接显示检测到的错误，包括交互式可视化，并提供解决建议。该工具是开源的、可扩展的，并集成到流行的BPMN建模工具中。
引用
@article{arxiv.2408.06028,
title = {BPMN Analyzer 2.0: Instantaneous, Comprehensible, and Fixable Control Flow Analysis for Realistic BPMN Models},
author = {Tim Kräuter and Patrick Stünkel and Adrian Rutle and Yngve Lamo and Harald König},
journal= {arXiv preprint arXiv:2408.06028},
year = {2024}
}
备注
arXiv admin note: substantial text overlap with arXiv:2407.03965