The formalisation of the business process modelling and notification

Autoren Bernhard Thalheim
Felix Kossak
Editoren
TitelThe formalisation of the business process modelling and notification
Typsonst
NoteTutorial at ABZ 2016 - 5th International ABZ Conference: Abstract State Machines (ASM), Alloy, B, TLA, VDM, Z, Linz, Austria, May 23-27, 2016
MonatMay
Jahr2016
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.