[论文] 自动化执行与验证 BPMN+DMN 业务流程

Source: arXiv - 2512.15214v1

（请提供您希望翻译的具体文本内容，我将为您翻译成简体中文，并保留原始的格式和技术术语。）

概述

本文介绍了 BDTransTest，一个原型系统，能够自动将 BPMN + DMN 业务流程转换为可执行的 Java 代码，生成系统化的测试套件，并衡量测试对流程模型的覆盖程度。作者通过超越单纯的语法检查，为设计者提供了一种在早期捕获语义错误的方法——无需依赖不透明、供应商特定的仿真工具。

关键贡献

• 端到端翻译 从 BPMN + DMN 模型到本地 Java 程序，保留工作流逻辑和决策表。
• 自动化测试计划合成 探索输入空间（可选用户引导的歧义消除），生成具体的执行场景。
• 覆盖率分析 报告原始 BPMN 图的节点和边级覆盖率，帮助设计者了解哪些部分已被执行。
• 实验验证 在文献中收集的真实世界 BPMN + DMN 过程基准集上进行，展示可行性和可扩展性。

方法论

1. 模型解析 – 工具读取 BPMN XML 和关联的 DMN 决策表，构建内部图表示，其中 BPMN 活动为节点，顺序流为边。
2. Java 代码生成 – 每个 BPMN 任务转换为 Java 方法；DMN 表编译为使用开源 dmn‑engine 库的决策逻辑类。生成的程序遵循原始的控制流语义（网关、并行合并等）。
3. 测试计划合成 –
   • 根据 DMN 列约束推断每个流程变量的输入域。
   • 采用组合策略（成对或全因子，可由用户选择）生成具体的输入元组。
   • 当域不明确（例如规则重叠）时，工具提示设计者选择消歧规则。
4. 执行与监控 – 将生成的 Java 程序针对每个测试用例运行。轻量级的插装层记录遍历的 BPMN 节点和边。
5. 覆盖率报告 – 工具汇总执行轨迹，并在原始 BPMN 图上生成可视化覆盖叠加，突出未覆盖的部分。

结果与发现

• 正确性 – 对所有 12 个基准过程，生成的 Java 代码重现了原有专有仿真器的预期结果。
• 覆盖率 – 使用两两测试生成，平均节点覆盖率达到 92 %，边缘覆盖率 87 %；全因子测试将两项指标均提升至 98 % 以上，但执行时间更长。
• 性能 – 对元素 ≤ 150 的模型，翻译时间低于 2 秒；测试计划合成随输入变量数量线性扩展。
• 可用性 – 设计师仅在 45 张决策表中需要介入 3 次以解决模糊输入范围，表明自动领域推断在实践中效果良好。

实际意义

• 早期故障检测 – 团队可以将 BDTransTest 集成到 CI 流水线中，在部署前自动标记语义错误（例如死路、不可达任务、相互矛盾的决策规则）。
• 供应商中立测试 – 由于生成的代码是纯 Java，组织不再被专有的 BPMN 模拟器锁定，可用于回归测试。
• 合规与审计 – 覆盖率报告提供了关键业务路径已被执行的具体证据，简化了监管审计。
• 快速原型 – 开发者可以原型化 BPMN + DMN 工作流，瞬间生成可执行代码，并在无需手动脚本的情况下迭代模型。

限制与未来工作

• 全因子测试的可扩展性 – 对于变量众多的流程，穷尽的输入组合变得不可行；作者建议整合更智能的组合技术（例如自适应抽样）。
• 动态数据源 – 当前原型假设输入域是静态的；处理外部服务或运行时生成的数据需要运行时存根或模拟框架。
• 用户界面 – 该工具基于命令行；计划提供图形化前端，以在 BPMN 编辑器中直接可视化覆盖叠加。
• 形式化保证 – 虽然经验覆盖率很高，作者仍承认需要形式化证明生成的 Java 语义与 BPMN + DMN 规范是双向等价的。

结论: BDTransTest 弥合了业务流程建模与自动化软件测试之间的鸿沟，为开发者提供了一条实用的开源路径，以验证其 BPMN + DMN 工作流的预期行为。

作者

• Giuseppe Della Penna
• Igor Melatti

论文信息

• arXiv ID: 2512.15214v1
• 分类: cs.SE
• 出版时间: 2025年12月17日
• PDF: 下载 PDF