Cover Image
Read Now

A Rigorous Semantics for BPMN 2.0 Process Diagrams

This book provides the most complete formal specification of the semantics of the Business Process Model and Notation  (BPMN) 2.0 standard available to date, in a style that is easily understandable for a wide range of readers – not only for experts in formal methods, but e.g. also for developers of...

Full description

Bibliographic Details
Main Authors: Kossak, Felix, Illibauer, Christa (Author), Geist, Verena (Author), Kubovy, Jan (Author)
Format: eBook
Language:English
Published: Cham Springer International Publishing 2014, 2014
Edition:1st ed. 2014
Subjects:
Software Engineering
Application Software
Computer Application In Administrative Data Processing
Business Process Management
Computer And Information Systems Applications
Information Technology / Management
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
Table of Contents:
  • 1 Introduction
  • 2 State of the Art
  • 3 Modelling Semantics with Abstract State Machines
  • 4 A Rigorous Semantics for BPMN 2.0 Process Diagrams
  • 5 How the Semantic Model Can Be Used
  • 6 A Discussion of BPMN 2.0
  • 7 Towards a Workflow Engine by Stepwise Refinement
  • 8 Discussion of the Proposed Specification and Outlook

Similar Items