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

Aus Aifbportal
Wechseln zu:Navigation, Suche

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