The execution semantics of the OMG BPMN 2.0 (2010) standard

The execution semantics of the OMG BPMN 2.0 (2010) standard

Veranstaltungsart:
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: 04. Oktober 2010 um 15:00
Ende: 04. Oktober 2010 um 16:00

Im Gebäude 05.20, Raum: Raum 2C-19

Veranstaltung vormerken: (iCal)

Veranstalter: Forschungsgruppe(n) Komplexitätsmanagement
Information: Media:Kolloquium Börger 4.10.10.pdf