Towards a model for integrating process verification in process-driven application development

Abstract: 151 | PDF: 91

##plugins.themes.academic_pro.article.main##

Author

  • Nguyen Thanh Tuan
    The University of Danang - Vietnam-Korea University of Information and Communication Technology, Vietnam
    Le Thanh Nhan
    The University of Danang - Danang International Institute of Technology, Vietnam
    Hoang Thi Thanh Ha
    The University of Danang - University of Economics, Vietnam

Keywords:

Process-Driven applications
process Verification
Colored Petri Nets
BPMN
DMN

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, Process-Driven 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.

References

    [1] Stiehl, Process-driven applications with BPMN. Switzerland: Springer Cham, 2014.
    [2] OMG, “About the Business Process Model and Notation Specification Version 2.0.2”, org, June 2023. [Online]. Available: https://www.omg.org/spec/BPMN/ [Accessed April 25, 2024].
    [3] OMG, “About the Decision Model and Notation Specification Version 1.3”, org, June 2023. [Online]. Available: https://www.omg.org/spec/DMN/ [Accessed April 25, 2024].
    [4] Schaffer et al., “Process-driven approach within the engineering domain by combining business process model and notation (bpmn) with process engines”, Procedia CIRP, vol. 96-2021, pp. 207-212, 2021. https://doi.org/10.1016/j.procir.2021.01.076.
    [5] Krauter et al., “A higher order transformation approach to the formalization and analysis of bpmn using graph transformation systems”, ArXiv, vol. abs/2311.05243, 2023. https://doi.org/10.48550/arXiv.2311.05243.
    [6] Dechsupa et al., “Compositional formal verification for business process models with heterogeneous notations using colored petri net”, in Proceedings of the International Multi Conference of Engineers and Computer Scientists. Hong Kong, 2019, pp. 565-570.
    [7] Suchenia et al, “Overview of verification tools for business process models,” in Proceedings of Federated Conference on Computer Science and Information System. Poland, 2017, pp. 295-302.
    [8] T. Tuan et al, “Formalization of Business Processes and Business Rules Model using Colored Petri Nets”, in The 5th International Conference on Future Networks & Distributed Systems (ICFNDS 2021), Dubai, United Arab Emirates, 2021, pp. 42-47.
    [9] Schneid et al, “Static analysis of bpmn-based process-driven applications” in Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, Limassol, Cyprus, 2019, pp. 66-74.
    [10] Schneid et al, “Feature development in bpmn-based process-driven applications”, in Business Process Management Forum. BPM 2020. Lecture Notes in Business Information Processing, vol 392, Seville, Spain, 2020, pp. 35-50, https://doi.org/10.1007/978-3-030-58638-6_3.
    [11] Schneid et al, “Uncovering data-flow anomalies in bpmn-based process-driven applications”, in Proceedings of the 36th Annual ACM Symposium on Applied Computing, Korea, 2021, pp. 1504–1512.
    [12] Freund and B. Rucker, Real-Life BPMN, 4th edition. USA: Independently Published, 2019.
    [13] Weske, Business Process Management: Concepts, Languages, Architectures. Germany: Springer Berlin, 2019.
    [14] CAMUNDA, “Camunda Modeler”, com, [Online]. Available: https://camunda.com/products/camundaplatform/modeler/ [Accessed April 25, 2024].
    [15] CPNTools, “CPN Tools A tool for editing, simulating, and analyzing Colored Petri nets”, org, [Online]. Available: https://cpntools.org/, [Accessed April 25, 2024].
    [16] CAMUNDA, “Camunda Platform”, com, [Online]. Available: https://camunda.com/products/camunda-platform/, [Accessed April 25, 2024].
    [17] T. Tuan et al, “VeBPRu: A toolchain for formally verifying business processes and business rules”, in Proceedings of the 2023 8th International Conference on Intelligent Information Technology, Danang, Vietnam, 2023, pp. 15–19, https://doi.org/10.1145/3591569.3591572.
    [18] Li and F. Dai, “Transformation and visualization of BPMN models to Petri nets”, IOP Publishing, vol. 186, no. 5, p. 012047, 2018.
    [19] Zonghua and Y. Zhengwei, “A Petri Nets Evolution Method that Supports BPMN Model Changes” Scientific Programming, vol. 2021, pp. 1-16, 2021. doi: 10.1155/2021/6610795.
    [20] M. M. Ibrahim, “Formal Semantics of BPMN Process Models Using CPN”, International Review on Computers and Software, vol. 18, no. 2, pp. 16-56, 2023. doi: 10.15866/irecos.v18i2.24401.
Read more

##plugins.themes.academic_pro.article.sidebar##

Published

Nov 30, 2024
Download
PDF
How to Cite
Nguyen Thanh Tuan, Le Thanh Nhan, and Hoang Thi Thanh Ha. “Towards a Model for Integrating Process Verification in Process-Driven Application Development”. The University of Danang - Journal of Science and Technology, vol. 22, no. 11A, Nov. 2024, pp. 59-64, https://jst-ud.vn/jst-ud/article/view/9223.

##plugins.themes.academic_pro.article.details##