Ambiguity Detection and Elimination in Automated Executable Process Modeling
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | , , , , , , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2026
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866908957737484288 |
|---|---|
| author | Matei, Ion Sekar, Praveen Kumar Menaka Zhenirovskyy, Maksym Wong, Hon Yung Kohmura, Sayuri Hotta, Shinji Inomata, Akihiro |
| author_facet | Matei, Ion Sekar, Praveen Kumar Menaka Zhenirovskyy, Maksym Wong, Hon Yung Kohmura, Sayuri Hotta, Shinji Inomata, Akihiro |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2604_10884 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Ambiguity Detection and Elimination in Automated Executable Process Modeling Matei, Ion Sekar, Praveen Kumar Menaka Zhenirovskyy, Maksym Wong, Hon Yung Kohmura, Sayuri Hotta, Shinji Inomata, Akihiro Software Engineering Artificial Intelligence 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. |
| title | Ambiguity Detection and Elimination in Automated Executable Process Modeling |
| topic | Software Engineering Artificial Intelligence |
| url | https://arxiv.org/abs/2604.10884 |