Prof. E. Börger/en
Closing the Gap between Business Process Models and their Implementation
Type of Event:
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: 2014-10-15 at 2:00 pm
End: 2014-10-15 at 3:30 pm
Building: 05.20, Room: 1A-11
iCal event: (iCal)
Host: Research group
Complexity Management
Download: Media:15- 10 Prof.Börger.pdf