The formalisation of the business process modelling and notification

B. Thalheim, F. Kossak. The formalisation of the business process modelling and notification. 5, 2016.

Autoren
  • Bernhard Thalheim
  • Felix Kossak
TypSonstiges
NoteTutorial at ABZ 2016 - 5th International ABZ Conference: Abstract State Machines (ASM), Alloy, B, TLA, VDM, Z, Linz, Austria, May 23-27, 2016
Monat5
Jahr2016
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.