The formalisation of the business process modelling and notification

Autoren Bernhard Thalheim
Felix Kossak
Editoren
Titel The formalisation of the business process modelling and notification
Typ sonst
Note Tutorial at ABZ 2016 - 5th International ABZ Conference: Abstract State Machines (ASM), Alloy, B, TLA, VDM, Z, Linz, Austria, May 23-27, 2016
Monat May
Jahr 2016
SCCH ID# 1649
Abstract

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.