Towards a Model for Integrating Process Verification in Process-Driven Application Development

Abstract

In the era of Industry 4.0, companies must quickly adapt to market and technological changes to remain competitive. While monolithic software systems are still common, ProcessDriven Applications (PDA) offer flexible, sustainable, and integrable solutions, relying on Business Process Model and Notation (BPMN) for process modeling. However, BPMN lacks formal semantics, leading to potential errors during process execution. This paper introduces a verification model that integrates Colored Petri Nets (CPN) into the PDA development lifecycle to improve process verification. By converting BPMN models into CPN, the method allows for early detection of errors such as deadlocks and inconsistencies. A real-world, loan application, case study demonstrates that the BPMN + CPN approach reduces errors by 80%, significantly enhancing the reliability and robustness of PDA systems.