Enhancing Agile Model-Driven Engineering with Automated Formal Verification of BPMN Models

Kimia Kolahdouz; Shekoufeh Kolahdouz Rahimi; Kevin Charles Lano

Enhancing Agile Model-Driven Engineering with Automated Formal Verification of BPMN Models

Kimia Kolahdouz
, Shekoufeh Kolahdouz Rahimi
, Kevin Charles Lano

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

65 Downloads (Pure)

Abstract

Misinterpretation of requirements remains a major challenge in software development, often leading to project failures. Agile Model-Driven Engineering promotes iterative modeling and validation to enhance software quality and adaptability. Business Process Model and Notation (BPMN) serves as a widely adopted standard for visually representing system processes, ensuring a shared understanding among stakeholders. However, the complexity of BPMN can introduce structural errors, compromising model accuracy and reliability. This paper presents a formal verification approach leveraging Object Constraint Language (OCL) to enforce BPMN structural correctness, aligning with Agile principles by enabling early error detection and refinement. Natural Language Processing (NLP) techniques are employed to automate the translation of BPMN standard rules into OCL constraints, enhancing model validation.

Original language	English
Title of host publication	Agile Model-driven Engineering Workshop
Publisher	CEUR Workshop Proceedings
Publication status	Published - 2025

Access to Document

Kimia_STAF_2025_paper_55-2

Cite this

@inproceedings{f5568710a52a469baf91dac1f92eb926,

title = "Enhancing Agile Model-Driven Engineering with Automated Formal Verification of BPMN Models",

abstract = "Misinterpretation of requirements remains a major challenge in software development, often leading to project failures. Agile Model-Driven Engineering promotes iterative modeling and validation to enhance software quality and adaptability. Business Process Model and Notation (BPMN) serves as a widely adopted standard for visually representing system processes, ensuring a shared understanding among stakeholders. However, the complexity of BPMN can introduce structural errors, compromising model accuracy and reliability. This paper presents a formal verification approach leveraging Object Constraint Language (OCL) to enforce BPMN structural correctness, aligning with Agile principles by enabling early error detection and refinement. Natural Language Processing (NLP) techniques are employed to automate the translation of BPMN standard rules into OCL constraints, enhancing model validation.",

author = "Kimia Kolahdouz and \{Kolahdouz Rahimi\}, Shekoufeh and Lano, \{Kevin Charles\}",

year = "2025",

language = "English",

booktitle = "Agile Model-driven Engineering Workshop",

publisher = "CEUR Workshop Proceedings",

}

TY - GEN

T1 - Enhancing Agile Model-Driven Engineering with Automated Formal Verification of BPMN Models

AU - Kolahdouz, Kimia

AU - Kolahdouz Rahimi, Shekoufeh

AU - Lano, Kevin Charles

PY - 2025

Y1 - 2025

N2 - Misinterpretation of requirements remains a major challenge in software development, often leading to project failures. Agile Model-Driven Engineering promotes iterative modeling and validation to enhance software quality and adaptability. Business Process Model and Notation (BPMN) serves as a widely adopted standard for visually representing system processes, ensuring a shared understanding among stakeholders. However, the complexity of BPMN can introduce structural errors, compromising model accuracy and reliability. This paper presents a formal verification approach leveraging Object Constraint Language (OCL) to enforce BPMN structural correctness, aligning with Agile principles by enabling early error detection and refinement. Natural Language Processing (NLP) techniques are employed to automate the translation of BPMN standard rules into OCL constraints, enhancing model validation.

AB - Misinterpretation of requirements remains a major challenge in software development, often leading to project failures. Agile Model-Driven Engineering promotes iterative modeling and validation to enhance software quality and adaptability. Business Process Model and Notation (BPMN) serves as a widely adopted standard for visually representing system processes, ensuring a shared understanding among stakeholders. However, the complexity of BPMN can introduce structural errors, compromising model accuracy and reliability. This paper presents a formal verification approach leveraging Object Constraint Language (OCL) to enforce BPMN structural correctness, aligning with Agile principles by enabling early error detection and refinement. Natural Language Processing (NLP) techniques are employed to automate the translation of BPMN standard rules into OCL constraints, enhancing model validation.

M3 - Conference contribution

BT - Agile Model-driven Engineering Workshop

PB - CEUR Workshop Proceedings

ER -