Prof. E. Börger: Unterschied zwischen den Versionen
Qr0241 (Diskussion | Beiträge) |
Pd9990 (Diskussion | Beiträge) |
||
Zeile 1: | Zeile 1: | ||
{{Veranstaltung | {{Veranstaltung | ||
− | |Titel DE= | + | |Titel DE=Closing the Gap between Business Process Models and their Implementation |
− | |Titel EN= | + | |Titel EN=Closing the Gap between Business Process Models and their Implementation |
− | |Beschreibung DE= | + | |Beschreibung DE=The gap between on the one side the users' |
− | |Beschreibung EN= | + | 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: | + | |Ende=2014/10/15 15:30:00 |
− | |Gebäude=11. | + | |Gebäude=05.20 |
− | | | + | |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