Rigorous semantics and refinement for business processes

Authors Klaus-Dieter Schewe
Title Rigorous semantics and refinement for business processes
Booktitle Proceedings of the 11th International Conference on ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer
Type in proceedings
Publisher CEUR-WS.org 2015
Series CEUR Workshop Proceedings
Volume 1356
ISBN urn:nbn:de:0074-1356-8
Month May
Year 2015
Pages 1-2
SCCH ID# 1531

Many business process models suffer from a lack of semantics and completeness. In general, many different aspects have to be integrated such as the control flow, the management of data, event and message handling, actors and interaction,
exception handling, etc. This paper gives a glimpse of rigorous semantics for business processes on the grounds of Abstract State Machines. Furthermore, horizontal refinement is illustrated for the case of the integration of interrupt events that require exception handling.