Rigorous semantics and refinement for business processes

Autoren Klaus-Dieter Schewe
Titel Rigorous semantics and refinement for business processes
Buchtitel Proceedings of the 11th International Conference on ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer
Typ in Konferenzband
Verlag CEUR-WS.org 2015
Serie CEUR Workshop Proceedings
Band 1356
ISBN urn:nbn:de:0074-1356-8
Monat May
Jahr 2015
Seiten 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.