Rigorous semantics and refinement for business processes

. Rigorous semantics and refinement for business processes. volume 1356, pages 1-2, 5, 2015.

BuchProceedings of the 11th International Conference on ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer
TypIn Konferenzband
VerlagCEUR-WS.org 2015
SerieCEUR Workshop Proceedings

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.