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...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autores principales: Kossak, Felix (Autor), Illibauer, Christa (Autor), Geist, Verena (Autor), Kubovy, Jan (Autor), Natschläger, Christine (Autor), Ziebermayr, Thomas (Autor), Kopetzky, Theodorich (Autor), Freudenthaler, Bernhard (Autor), Schewe, Klaus-Dieter (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Cham : Springer International Publishing : Imprint: Springer, 2014.
Edición:1st ed. 2014.
Temas:
Software engineering.
Application software.
Information technology-Management.
Software Engineering.
Computer and Information Systems Applications.
Business Process Management.
Computer Application in Administrative Data Processing.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares