The execution semantics of the OMG BPMN 2.0 (2010) standard/en
The execution semantics of the OMG BPMN 2.0 (2010) standard
Type of Event:
Kolloquium Angewandte Informatik
We define an abstract model for the execution semantics of the core process modeling concepts in the OMG standard for BPMN 2.0. The UML class diagrams associated therein with each flow element are extended with a rigorous behavior definition, which reflects the inheritance hierarchy structure by refinement steps. The correctness of the resulting precise algorithmic model for an execution semantics for BPMN can be checked by comparing the model directly with the verbal explanations in the OMG standard documentation. Thus, the model can be used to test reference implementations and to verify properties of interest for (classes of) BPMN diagrams. Based on the model Owe Soerensen (Kiel), coauthor of this work, has implemented a native BPMN 2.0 Process Engine.
(Prof. Dr. Egon Börger)
Start: 2010-10-04 at 3:00 pm
End: 2010-10-04 at 4:00 pm
Building: 05.20, Room: Raum 2C-19
iCal event: (iCal)
Host: Research group
Complexity Management
Download: Media:Kolloquium Börger 4.10.10.pdf