Collaborative Modeling of BPMN and HCPN: Formal Mapping and Iterative Evolution of Process Models for Scenario Changes

Collaborative Modeling of BPMN and HCPN: Formal Mapping and Iterative Evolution of Process Models for Scenario Changes

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 verificat...

Full description

Saved in:
Bibliographic Details
Main Authors: Zhaoqi Zhang, Feng Ni, Jiang Liu, Niannian Chen, Xingjun Zhou
Format: Article
Language:English
Published: MDPI AG 2025-04-01
Series:Information
Subjects:
BPMN
hierarchical colored Petri net
formal verification
iterative evolution
modularity
scenario update
Online Access:https://www.mdpi.com/2078-2489/16/4/323
Tags: Add Tag
No Tags, Be the first to tag this record!

Internet

https://www.mdpi.com/2078-2489/16/4/323

Similar Items