Closing the Gap between Business Process Models and their Implementation: Towards Certified BPMs

Egon Boerger

(University of Pisa)

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 from Metasonic)
Thursday 13th March 2014, 14:00
Robert Recorde Room
Department of Computer Science