Aug 2026· Process Science· Vol 3· 0 citations· 29 references
Computer Science
TL;DR
The results show that the applied LLM can reliably detect structural and semantic differences between formal business process models using Business Process Model and Notation, while distinguishing them from acceptable variations, demonstrating strong potential for automated model validation.
Abstract
Large Language Models (LLMs) are emerging as a promising tool in Business Process Management for comparing and validating process models. In this study, we evaluated an LLM’s ability to compare reference models with systematically modified variants representing typical modeling mistakes as well as harmless variations, such as layout or wording changes. The results show that the applied LLM can reliably detect structural and semantic differences between formal business process models using Business Process Model and Notation, while distinguishing them from acceptable variations, demonstrating strong potential for automated model validation. However, the LLM’s performance and accuracy are influenced by factors such as model complexity, the number of inserted modifications, and the total number of models and modifications provided simultaneously. High reliability is achieved when models are presented in a standardized, semi-structured format and supported by clear prompting instructions. Even multiple models can be processed effectively, up to a certain threshold of total modifications. Overall, the findings suggest that generative Artificial Intelligence tools for natural language processing, such as LLMs, may provide meaningful support in process model validation, offering efficiency gains and a level of abstraction that exceeds manual comparison.
Current approaches show strong potential, but they still act more as intelligent assistants than as fully autonomous process modelers, including the continued need for human involvement and the output quality.
L. F. Hörner, Maximilian Möller, Manfred Reichert· IEEE Access· 0 citations
The proposed model aims to support the formalization of model selection processes, improve decision-making, and enhance the traceability and transparency of LLMOps practices and forms part of a broader research effort toward the formalization of the entire LLMOps life cycle.
M. Chernigovskaya, A. Nahhas, Christian Haertel et al.· International Conference on...· 0 citations
It is argued that edge (sequence flow) generation is the weakest link once nodes are fixed, and typical structural failure modes (dangling nodes, disconnects, gateway violations, etc.) and causes tied to autoregressive generation are summarized.
Gennady G. Bulgakov, S. Yarushev· SOFT MEASUREMENTS AND COMPUT...· 0 citations
This survey provides the first systematic synthesis of LLM-based diagram modelling research, highlighting needs for standardised benchmarks, stronger evaluation protocols, broader diagram coverage, and techniques for improving semantic reliability and multi-view consistency.
The results show that appropriate model slicing significantly improves completion correctness while simultaneously reducing token usage across several structural and semantic evaluation metrics, and establish model slicing as a key factor in LLM-based model completion and provide guidance for effective context selection for other modeling tasks.
Alisa Welter, Benedict Bliem, Omer Iqbal et al.· Proceedings of the ACM/IEEE...· 0 citations
A hybrid framework that takes a BPMN process model and a security requirements document as input and automatically generates security annotations adhering to the SecBPMN2 specification is presented, providing a scalable foundation for security-by-design BPM.