dc.contributor.author | Kräuter, Tim Oliver | |
dc.contributor.author | Rutle, Adrian | |
dc.contributor.author | König, Harald | |
dc.contributor.author | Lamo, Yngve | |
dc.date.accessioned | 2024-03-19T13:59:57Z | |
dc.date.available | 2024-03-19T13:59:57Z | |
dc.date.created | 2023-08-03T09:58:50Z | |
dc.date.issued | 2023 | |
dc.identifier.citation | Lecture Notes in Computer Science (LNCS). 2023, 13961 (Graph Transformation. ICGT 2023), 204-222. | en_US |
dc.identifier.issn | 0302-9743 | |
dc.identifier.uri | https://hdl.handle.net/11250/3123179 | |
dc.description.abstract | 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 interpretations of BPMN elements and difficulties in checking behavioral properties. In this paper, we propose a formalization of the execution semantics of BPMN that, compared to existing approaches, covers more BPMN elements while facilitating property checking. Our approach is based on a higher-order transformation from BPMN models to graph transformation systems. As proof of concept, we have implemented our approach in an open-source web-based tool. | en_US |
dc.language.iso | eng | en_US |
dc.publisher | Springer | en_US |
dc.title | Formalization and Analysis of BPMN Using Graph Transformation Systems | en_US |
dc.type | Peer reviewed | en_US |
dc.type | Journal article | en_US |
dc.description.version | acceptedVersion | en_US |
dc.subject.nsi | VDP::Teoretisk databehandling, programmeringsspråk og -teori: 421 | en_US |
dc.subject.nsi | VDP::Theoretical computer science, programming science and theory: 421 | en_US |
dc.source.pagenumber | 204-222 | en_US |
dc.source.volume | 13961 | en_US |
dc.source.journal | Lecture Notes in Computer Science (LNCS) | en_US |
dc.source.issue | Graph Transformation. ICGT 2023 | en_US |
dc.identifier.doi | 10.1007/978-3-031-36709-0_11 | |
dc.identifier.cristin | 2164613 | |
cristin.ispublished | true | |
cristin.fulltext | preprint | |
cristin.qualitycode | 1 | |