Stage-oe-small.jpg

The execution semantics of the OMG BPMN 2.0 (2010) standard: Unterschied zwischen den Versionen

Aus Aifbportal
Wechseln zu:Navigation, Suche
(Die Seite wurde neu angelegt: „{{Veranstaltung |Titel DE=The execution semantics of the OMG BPMN 2.0 (2010) standard |Titel EN=The execution semantics of the OMG BPMN 2.0 (2010) standard |Besch…“)
 
 
Zeile 2: Zeile 2:
 
|Titel DE=The execution semantics of the OMG BPMN 2.0 (2010) standard
 
|Titel DE=The execution semantics of the OMG BPMN 2.0 (2010) standard
 
|Titel EN=The execution semantics of the OMG BPMN 2.0 (2010) standard
 
|Titel EN=The execution semantics of the OMG BPMN 2.0 (2010) standard
|Beschreibung DE=.
+
|Beschreibung DE=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.
|Beschreibung EN=.
+
|Beschreibung EN=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.
 
|Veranstaltungsart=Kolloquium Angewandte Informatik
 
|Veranstaltungsart=Kolloquium Angewandte Informatik
 
|Start=2010/10/04 15:00:00
 
|Start=2010/10/04 15:00:00
Zeile 10: Zeile 10:
 
|Raum=Raum 2C-19
 
|Raum=Raum 2C-19
 
|Vortragender=Prof. Dr. Egon Börger
 
|Vortragender=Prof. Dr. Egon Börger
 +
|Eingeladen durch=Detlef Seese
 +
|PDF=Kolloquium Börger 4.10.10.pdf
 
|Forschungsgruppe=Komplexitätsmanagement
 
|Forschungsgruppe=Komplexitätsmanagement
 
|In News anzeigen=False
 
|In News anzeigen=False
 
}}
 
}}

Aktuelle Version vom 10. September 2010, 07:53 Uhr

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