Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
This paper addresses the challenge of generating consistent executable BPMN models from ambiguous natural language specifications using LLMs. They introduce a diagnosis-driven framework that detects behavioral inconsistencies in generated models by analyzing KPI distributions from simulations. The framework then localizes the source of divergence to specific narrative segments and refines the text, leading to more stable and reliable BPMN model generation.
LLMs can now generate more reliable business process models from natural language, thanks to a new method that automatically detects and resolves ambiguities that lead to inconsistent behavior.
Automated generation of executable Business Process Model and Notation (BPMN) models from natural-language specifications is increasingly enabled by large language models. However, ambiguous or underspecified text can yield structurally valid models with different simulated behavior. Our goal is not to prove that one generated BPMN model is semantically correct, but to detect when a natural-language specification fails to support a stable executable interpretation under repeated generation and simulation. We present a diagnosis-driven framework that detects behavioral inconsistency from the empirical distribution of key performance indicators (KPIs), localizes divergence to gateway logic using model-based diagnosis, maps that logic back to verbatim narrative segments, and repairs the source text through evidence-based refinement. Experiments on diabetic nephropathy health-guidance policies show that the method reduces variability in regenerated model behavior. The result is a closed-loop approach for validating and repairing executable process specifications in the absence of ground-truth BPMN models.