The formalisation of the business process modelling and notification
|B. Thalheim, F. Kossak. The formalisation of the business process modelling and notification. 5, 2016.|
|Note||Tutorial at ABZ 2016 - 5th International ABZ Conference: Abstract State Machines (ASM), Alloy, B, TLA, VDM, Z, Linz, Austria, May 23-27, 2016|
In this tutorial we describe lessons for the use of formal methods, and the ASM method in particular, gained during the specification of a formal semantics for BPMN 2.0 process diagrams and extensions thereof.