{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,13]],"date-time":"2026-03-13T01:57:54Z","timestamp":1773367074921,"version":"3.50.1"},"reference-count":35,"publisher":"MDPI AG","issue":"4","license":[{"start":{"date-parts":[[2025,4,18]],"date-time":"2025-04-18T00:00:00Z","timestamp":1744934400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["12371508"],"award-info":[{"award-number":["12371508"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["241103760141654"],"award-info":[{"award-number":["241103760141654"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["XJ2024166"],"award-info":[{"award-number":["XJ2024166"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["XJ2024151"],"award-info":[{"award-number":["XJ2024151"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"University-Industry Collaborative Education Program","award":["12371508"],"award-info":[{"award-number":["12371508"]}]},{"name":"University-Industry Collaborative Education Program","award":["241103760141654"],"award-info":[{"award-number":["241103760141654"]}]},{"name":"University-Industry Collaborative Education Program","award":["XJ2024166"],"award-info":[{"award-number":["XJ2024166"]}]},{"name":"University-Industry Collaborative Education Program","award":["XJ2024151"],"award-info":[{"award-number":["XJ2024151"]}]},{"name":"Shanghai Undergraduate Training Program on Innovation and Entrepreneurship","award":["12371508"],"award-info":[{"award-number":["12371508"]}]},{"name":"Shanghai Undergraduate Training Program on Innovation and Entrepreneurship","award":["241103760141654"],"award-info":[{"award-number":["241103760141654"]}]},{"name":"Shanghai Undergraduate Training Program on Innovation and Entrepreneurship","award":["XJ2024166"],"award-info":[{"award-number":["XJ2024166"]}]},{"name":"Shanghai Undergraduate Training Program on Innovation and Entrepreneurship","award":["XJ2024151"],"award-info":[{"award-number":["XJ2024151"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Information"],"abstract":"<jats:p>Dynamic and changeable business scenarios pose significant challenges to the adaptability and verifiability of process models. Despite its widespread adoption as an ISO-standard modeling language, Business Process Model and Notation (BPMN) faces inherent limitations in formal semantics and verification capabilities, hindering the mathematical validation of process evolution behaviors under scenario changes. To address these challenges, this paper proposes a collaborative modeling framework integrating BPMN with hierarchical colored Petri nets (HCPNs), enabling the efficient iterative evolution and correctness verification of process change through formal mapping and localized evolution mechanism. First, hierarchical mapping rules are established with subnet-based modular decomposition, transforming BPMN elements into an HCPN executable model and effectively resolving semantic ambiguities; second, atomic evolution operations (addition, deletion, and replacement) are defined to achieve partial HCPN updates, eliminating the computational overhead of global remapping. Furthermore, an automated verification pipeline is constructed by analyzing state spaces, validating critical properties such as deadlock freeness and behavioral reachability. Evaluated through an intelligent AI-driven service scenario involving multi-gateway processes, the framework demonstrates behavioral effectiveness. This work provides a pragmatic solution for scenario-driven process evolution in domains requiring agile iteration, such as fintech and smart manufacturing.<\/jats:p>","DOI":"10.3390\/info16040323","type":"journal-article","created":{"date-parts":[[2025,4,18]],"date-time":"2025-04-18T06:23:56Z","timestamp":1744957436000},"page":"323","update-policy":"https:\/\/doi.org\/10.3390\/mdpi_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Collaborative Modeling of BPMN and HCPN: Formal Mapping and Iterative Evolution of Process Models for Scenario Changes"],"prefix":"10.3390","volume":"16","author":[{"given":"Zhaoqi","family":"Zhang","sequence":"first","affiliation":[{"name":"Business School, University of Shanghai for Science and Technology, Shanghai 200093, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Feng","family":"Ni","sequence":"additional","affiliation":[{"name":"Business School, University of Shanghai for Science and Technology, Shanghai 200093, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jiang","family":"Liu","sequence":"additional","affiliation":[{"name":"Business School, University of Shanghai for Science and Technology, Shanghai 200093, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Niannian","family":"Chen","sequence":"additional","affiliation":[{"name":"Business School, University of Shanghai for Science and Technology, Shanghai 200093, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xingjun","family":"Zhou","sequence":"additional","affiliation":[{"name":"Business School, University of Shanghai for Science and Technology, Shanghai 200093, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"1968","published-online":{"date-parts":[[2025,4,18]]},"reference":[{"key":"ref_1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/3576047","article-title":"AI-augmented business process management systems: A research manifesto","volume":"14","author":"Dumas","year":"2023","journal-title":"ACM Trans. Manag. Inf. Syst."},{"key":"ref_2","first-page":"1","article-title":"BPMS-RA: A Novel Reference Architecture for Business Process Management Systems","volume":"19","author":"Shaya","year":"2019","journal-title":"ACM Trans. Internet Technol."},{"key":"ref_3","doi-asserted-by":"crossref","first-page":"103025","DOI":"10.1016\/j.parco.2023.103025","article-title":"Big data BPMN workflow resource optimization in the cloud","volume":"117","author":"Srdan","year":"2023","journal-title":"Parallel Comput."},{"key":"ref_4","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1016\/j.datak.2017.11.003","article-title":"A Guidelines Framework for Understandable BPMN Models","volume":"113","author":"Corradini","year":"2018","journal-title":"Data Knowl. Eng."},{"key":"ref_5","doi-asserted-by":"crossref","first-page":"647","DOI":"10.1109\/TSC.2015.2413401","article-title":"VerChor: A framework for the design and verification of choreographies","volume":"9","author":"Gudemann","year":"2016","journal-title":"IEEE Trans. Serv. Comput."},{"key":"ref_6","first-page":"1754","article-title":"Data flow modeling and verification of complex BPMN collaboration models based on HCPN","volume":"30","author":"Huang","year":"2024","journal-title":"Comput. Integr. Manuf. Syst."},{"key":"ref_7","doi-asserted-by":"crossref","first-page":"101934","DOI":"10.1016\/j.is.2021.101934","article-title":"BPMN 2.0 OR-join semantics: Global and local characterization","volume":"105","author":"Flavio","year":"2022","journal-title":"Inf. Syst."},{"key":"ref_8","first-page":"1094","article-title":"Formal semantics and analysis of BPMN 2.0 orchestration","volume":"29","author":"Dai","year":"2018","journal-title":"J. Softw."},{"key":"ref_9","first-page":"198946468","article-title":"Complex Systems, Evolution and the Management of Manufacturing Change","volume":"20","author":"Christen","year":"2019","journal-title":"Emerg. Complex. Organ."},{"key":"ref_10","doi-asserted-by":"crossref","first-page":"1047","DOI":"10.1016\/j.scitotenv.2018.11.184","article-title":"A Petri net modeling approach to explore the temporal dynamics of the provision of multiple ecosystem services","volume":"655","author":"Rova","year":"2019","journal-title":"Sci. Total Environ."},{"key":"ref_11","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1109\/TSC.2016.2536025","article-title":"Static and dynamic process change","volume":"11","author":"Song","year":"2018","journal-title":"IEEE Trans. Serv. Comput."},{"key":"ref_12","doi-asserted-by":"crossref","unstructured":"Lehnert, S., Farooq, Q., and Riebisch, M. (2012, January 11\u201313). A Taxonomy of Change Types and Its Application in Software Evolution. Proceedings of the 2012 IEEE 19th International Conference and Workshops on Engineering of Computer-Based Systems, Novi Sad, Serbia.","DOI":"10.1109\/ECBS.2012.9"},{"key":"ref_13","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1007\/s00607-022-01128-8","article-title":"Microservice compositions based on the choreography of BPMN fragments: Facing evolution issues","volume":"105","author":"Ortiz","year":"2022","journal-title":"Computing"},{"key":"ref_14","unstructured":"Vrinda, Y., Rushikesh, K., Joshi, S., and Ling, E. (May, January 30). A tool for traceable evolution of process architectures. Proceedings of the 2018 IEEE International Conference on Software Architecture Companion (ICSA-C), Seattle, WA, USA."},{"key":"ref_15","first-page":"148","article-title":"Modeling and verification of response time of QoS-aware web service composition by timed CSP","volume":"14","author":"Ming","year":"2018","journal-title":"Procedia Comput. Sci."},{"key":"ref_16","unstructured":"Flavio, O. (2016, January 12\u201316). \u03a0-Calculus for SoS: A foundation for formally describing software-intensive Systems-of-Systems. Proceedings of the 2016 11th System of Systems Engineering Conference (SoSE), Kongsberg, Norway."},{"key":"ref_17","first-page":"101765","article-title":"A First-Order Logic Verification Framework for Communication-Parametric and Time-Aware BPMN Collaborations","volume":"104","author":"Sara","year":"2021","journal-title":"Inf. Syst."},{"key":"ref_18","doi-asserted-by":"crossref","first-page":"102303","DOI":"10.1016\/j.scico.2019.102303","article-title":"A rewriting logic approach to resource allocation analysis in business process models","volume":"183","author":"Francisco","year":"2019","journal-title":"Sci. Comput. Program."},{"key":"ref_19","unstructured":"Kaouther, M., and Latifa, M. (2021, January 26\u201327). Public processes legal issues verification using YAWL. Proceedings of the 16th International Conference on Evaluation of Novel Approaches to Software Engineering, Online."},{"key":"ref_20","doi-asserted-by":"crossref","first-page":"86696","DOI":"10.1109\/ACCESS.2022.3198969","article-title":"A colored Petri net executable modeling approach for a data flow well-structured BPMN process model","volume":"10","author":"Fenglan","year":"2022","journal-title":"IEEE Access"},{"key":"ref_21","doi-asserted-by":"crossref","first-page":"2151","DOI":"10.1109\/JAS.2022.106109","article-title":"Formal modeling and discovery of multi-instance business processes: A cloud resource management case study","volume":"9","author":"Li","year":"2022","journal-title":"IEEE\/CAA J. Autom. Sin."},{"key":"ref_22","doi-asserted-by":"crossref","unstructured":"Medina-Garcia, S., Medina-Marin, J., Monta\u00f1o-Arango, O., Gonzalez-Hernandez, M., and Hernandez-Gress, E.S. (2023). A Petri net approach for business process modeling and simulation. Appl. Sci., 13.","DOI":"10.3390\/app132011192"},{"key":"ref_23","first-page":"2697","article-title":"Study on structure evolution for service processes base on logic petri net","volume":"29","author":"Hu","year":"2018","journal-title":"J. Softw."},{"key":"ref_24","first-page":"1","article-title":"Checking business process evolution","volume":"158","author":"Krishna","year":"2018","journal-title":"Sci. Comput. Program."},{"key":"ref_25","first-page":"6610795","article-title":"A Petri nets evolution method that supports BPMN model changes","volume":"2021","author":"Li","year":"2021","journal-title":"Sci. Program."},{"key":"ref_26","doi-asserted-by":"crossref","unstructured":"Hsieh, F.-S. (2024). A self-adaptive neighborhood search differential evolution algorithm for planning sustainable sequential cyber\u2013physical production systems. Appl. Sci., 14.","DOI":"10.3390\/app14178044"},{"key":"ref_27","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/3355488","article-title":"Supporting dynamic workflows with automatic extraction of goals from BPMN","volume":"14","author":"Luca","year":"2019","journal-title":"ACM Trans. Auton. Adapt. Syst."},{"key":"ref_28","first-page":"3","article-title":"Optimization of BPMN processes via automated refactoring","volume":"Volume 13740","author":"Duran","year":"2022","journal-title":"Service-Oriented Computing. ICSOC 2022"},{"key":"ref_29","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1016\/j.scico.2018.05.008","article-title":"A formal approach to modeling and verification of business process collaborations","volume":"166","author":"Costa","year":"2018","journal-title":"Sci. Comput. Program."},{"key":"ref_30","first-page":"5","article-title":"An executable modeling method for ROAD-CPN business architectures","volume":"45","author":"Huang","year":"2023","journal-title":"J. Univ. Shanghai Sci. Technol."},{"key":"ref_31","doi-asserted-by":"crossref","first-page":"16795","DOI":"10.1109\/ACCESS.2019.2892958","article-title":"Hierarchical verification for the BPMN design model using state space analysis","volume":"7","author":"Dechsupa","year":"2019","journal-title":"IEEE Access"},{"key":"ref_32","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1007\/s10626-021-00358-w","article-title":"Discovering Petri nets including silent transitions: A repairing approach based on structural patterns","volume":"32","year":"2022","journal-title":"Discret. Event Dyn. Syst."},{"key":"ref_33","first-page":"3507","article-title":"Refactoring business process models with process fragments substitution","volume":"26","author":"Dai","year":"2020","journal-title":"Wirel. Netw."},{"key":"ref_34","first-page":"415","article-title":"Scenario-oriented business architecture modeling method based on ROADS","volume":"45","author":"Zhong","year":"2023","journal-title":"J. Univ. Shanghai Sci. Technol."},{"key":"ref_35","first-page":"1","article-title":"Automatic business process modeling method based on large language models","volume":"31","author":"Liu","year":"2025","journal-title":"Comput. Integr. Manuf. Syst."}],"container-title":["Information"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.mdpi.com\/2078-2489\/16\/4\/323\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T17:17:20Z","timestamp":1760030240000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.mdpi.com\/2078-2489\/16\/4\/323"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,4,18]]},"references-count":35,"journal-issue":{"issue":"4","published-online":{"date-parts":[[2025,4]]}},"alternative-id":["info16040323"],"URL":"https:\/\/doi.org\/10.3390\/info16040323","relation":{},"ISSN":["2078-2489"],"issn-type":[{"value":"2078-2489","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,4,18]]}}}