Home |  ENGLISH |  Kontakt |  Impressum |  Anmelden |  KIT

Prof. E. Börger

Aus Aifbportal

Wechseln zu: Navigation, Suche

Closing the Gap between Business Process Models and their Implementation

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
Information: Media:15- 10 Prof.Börger.pdf