自动化执行与验证 BPMN+DMN 业务流程
软件工程
2025-12-18 v1
摘要
BPMN 业务流程的使用日益增长且普遍化，还包含 DMN 表格， necessitates 工具和方法论来验证其正确性。然而，大多数常用框架仅允许构建 BPMN+DMN 模型的设计者检测语法错误，从而忽略语义（行为）故障。这迫使业务流程设计者必须手动运行其 BPMN+DMN 业务流程的单次执行，使用专有工具以检测故障。此外，专有工具将 BPMN+DMN 进程翻译为计算机仿真的方式尚未明确说明。本文通过设计一种名为 BDTransTest 的工具，推进了这一前沿状态：i) 将 BPMN + DMN 业务流程 B 翻译为 Java 程序 P；ii) 对 B 的合成与执行测试计划，该计划可能需要业务设计者消除输入域中的某些歧义；iii) 分析测试计划在 B 的节点和边方面所实现的覆盖率。最后，我们在文献中提供的 BPMN+DMN 业务流程上进行了实验评估。
引用
@article{arxiv.2512.15214,
title = {Automating Execution and Verification of BPMN+DMN Business Processes},
author = {Giuseppe Della Penna and Igor Melatti},
journal= {arXiv preprint arXiv:2512.15214},
year = {2025}
}