Stage-oe-small.jpg

Prof. E. Börger: Unterschied zwischen den Versionen

Aus Aifbportal
Wechseln zu:Navigation, Suche
Zeile 1: Zeile 1:
 
{{Veranstaltung
 
{{Veranstaltung
|Titel DE=Prof. E. Börger
+
|Titel DE=Closing the Gap between Business Process Models and their Implementation
|Titel EN=Prof. E. Börger
+
|Titel EN=Closing the Gap between Business Process Models and their Implementation
|Beschreibung DE=folgt
+
|Beschreibung DE=The gap between on the one side the users'
|Beschreibung EN=folgt
+
understanding of Business Process Models (BPMs), even if described
 +
using standardized languages like BPMN, and on the other side the run
 +
behavior of model implementations is still with us. We explain how
 +
Abstract State Machines (ASMs), tailored as a domain specific (to a
 +
large extent diagrammatic) modeling language, allow the BP experts to
 +
design BPMs with the help of a graphical editor in such a way that the
 +
underlying ASM models constitute a reliable precise contract---a
 +
contract which guarantees the BP domain experts that the
 +
application-domain focussed understanding of the BPMs they design is
 +
also a correct understanding of the code behavior provided by the
 +
implementation of the models by software experts. This opens the way
 +
to the development of certifiably correct BPMs and their
 +
implementations. We instantiate the claim by ASM models for the
 +
behavioral meaning of the graphical notations used in Metasonic's
 +
industrial BPM tool suite.
 +
 
 +
(Joint work with A. Fleischmann)
 +
 
 +
|Beschreibung EN=The gap between on the one side the users'
 +
understanding of Business Process Models (BPMs), even if described
 +
using standardized languages like BPMN, and on the other side the run
 +
behavior of model implementations is still with us. We explain how
 +
Abstract State Machines (ASMs), tailored as a domain specific (to a
 +
large extent diagrammatic) modeling language, allow the BP experts to
 +
design BPMs with the help of a graphical editor in such a way that the
 +
underlying ASM models constitute a reliable precise contract---a
 +
contract which guarantees the BP domain experts that the
 +
application-domain focussed understanding of the BPMs they design is
 +
also a correct understanding of the code behavior provided by the
 +
implementation of the models by software experts. This opens the way
 +
to the development of certifiably correct BPMs and their
 +
implementations. We instantiate the claim by ASM models for the
 +
behavioral meaning of the graphical notations used in Metasonic's
 +
industrial BPM tool suite.
 +
 
 +
(Joint work with A. Fleischmann)
 +
 
 
|Veranstaltungsart=Kolloquium Angewandte Informatik
 
|Veranstaltungsart=Kolloquium Angewandte Informatik
 
|Start=2014/10/15 14:00:00
 
|Start=2014/10/15 14:00:00
|Ende=2014/10/15 15:00:00
+
|Ende=2014/10/15 15:30:00
|Gebäude=11.40
+
|Gebäude=05.20
|Raum=231
+
|Raum=1A-11
 +
|Vortragender=Prof. Dr. Egon Börger
 +
|Eingeladen durch=Detlef Seese
 
|Forschungsgruppe=Komplexitätsmanagement
 
|Forschungsgruppe=Komplexitätsmanagement
 
|In News anzeigen=True
 
|In News anzeigen=True
 
}}
 
}}

Version vom 20. September 2014, 07:31 Uhr

Closing the Gap between Business Process Models and their Implementation

Veranstaltungsart:
Kolloquium Angewandte Informatik




The gap between on the one side the users' understanding of Business Process Models (BPMs), even if described using standardized languages like BPMN, and on the other side the run behavior of model implementations is still with us. We explain how Abstract State Machines (ASMs), tailored as a domain specific (to a large extent diagrammatic) modeling language, allow the BP experts to design BPMs with the help of a graphical editor in such a way that the underlying ASM models constitute a reliable precise contract---a contract which guarantees the BP domain experts that the application-domain focussed understanding of the BPMs they design is also a correct understanding of the code behavior provided by the implementation of the models by software experts. This opens the way to the development of certifiably correct BPMs and their implementations. We instantiate the claim by ASM models for the behavioral meaning of the graphical notations used in Metasonic's industrial BPM tool suite.

(Joint work with A. Fleischmann)

(Prof. Dr. Egon Börger)




Start: 15. Oktober 2014 um 14:00
Ende: 15. Oktober 2014 um 15:30


Im Gebäude 05.20, Raum: 1A-11

Veranstaltung vormerken: (iCal)


Veranstalter: Forschungsgruppe(n) Komplexitätsmanagement