Authors: Mohamed Ramadan, Hicham G. Elmongui and Riham Hassan
Business process modeling is an increasingly popular method for improving organizational efficiency and quality. The ability to automatically validate the process model became a significant feature of modeling tools with the increasing complexity of enterprise business processes and richness of modeling languages. This paper proposes formal semantics for process modeling by mapping Business Process Modeling Notations (BPMN) to Coloured Petri Nets (CPN). We automate the transformation process to allow for automatically validating the business process model. Formalizing BPMN using CPN enables simulating business process behavior to facilitate the early detection of flaws.
Keywords: Business Process Modeling Notation; BPMN; Coloured Petri Nets; Formalisation; Semantics; Verification; Validation