Browsing Høgskulen på Vestlandet by Journals "Logical Methods in Computer Science"
Now showing items 1-1 of 1
-
A higher-order transformation approach to the formalization and analysis of BPMN using graph transformation systems
(Peer reviewed; Journal article, 2024)The Business Process Modeling Notation (BPMN) is a widely used standard notation for defining intra- and inter-organizational workflows. However, the informal description of the BPMN execution semantics leads to different ...