Towards a formal data model for BPMN as part of an ASM ground model
Autoren |
Theodorich Kopetzky |
Editoren |
|
Titel | Towards a formal data model for BPMN as part of an ASM ground model |
Typ | Technischer Bericht |
Institution | Software Competence Center Hagenberg |
Monat | June |
Jahr | 2013 |
Abstract | Designing business processes with Business Process Model and Notation (BPMN) has some imperfections, the data representation capabilities being rather high-level being one such imperfection. When defining the semantics of BPMN on a formal level (regardless of the formalization approach), specifying the formal semantics of the data aspects should not be neglected. This paper presents a possible path for the formalization of the data aspect of BPMN as part of the formalization of BPMN as ground model Abstract State Machines. |