Behavioural models : from modelling finite automata to analysing business processes

Detalles Bibliográficos
Autor Principal: Kunze, Matthias
Otros autores o Colaboradores: Weske, Mathias
Formato: Libro
Lengua:inglés
Datos de publicación: Cham : Springer, c2016
Temas:
GESTIÓN DE PROCESOS EMPRESARIALES - BPM
Acceso en línea:Consultar en el Cátalogo
Notas:Incluye índice y bibliografía.
Descripción Física:xii, 279 p. : il.
ISBN:9783319449586
Tabla de Contenidos:
  • Part I. Foundations
  • 1 Introduction
  • 1.1 Behavioural Models
  • 1.2 Motivating Example
  • 1.3 On Modelling
  • 1.4 Models in Computer Science
  • 1.5 Modelling in System Development
  • 2 Discrete Dynamic Systems
  • 2.1 Characterisation of Dynamic Systems
  • 2.2 Transition Systems
  • 2.3 Events and Causality
  • 2.4 Application of Discrete Dynamic System Models
  • Bibliographical Notes
  • Part II. Models of Behaviour
  • 3 Sequential Systems
  • 3.1 Finite Automata
  • 3.2 Automata with Output
  • 3.3 Extended Automata
  • 3.4 State Machines
  • Bibliographical Notes
  • 4 Concurrent Systems
  • 4.1 State Machines
  • 4.2 Interacting Systems
  • 4.3 Petri Nets
  • Bibliographical Notes
  • 5 Business Process Models
  • 5.1 Workflow Patterns
  • 5.2 Introduction to Business Process Modelling
  • 5.3 Business Process Model and Notation
  • Bibliographical Notes
  • Part III. Analysis of Behaviour
  • 6 State Spaces
  • 6.1 Introduction to State Spaces
  • 6.2 State Spaces of Sequential Systems
  • 6.3 State Spaces of Concurrent Systems
  • Bibliographical Notes
  • 7 Comparing Behaviour
  • 7.1 Behavioural Equivalence
  • 7.2 Behavioural Inheritance
  • 7.3 Behavioural Similarity
  • Bibliographical Notes
  • 8 Verification
  • 8.1 Overview of Verification
  • 8.2 Temporal Logic
  • 8.3 Model Checking
  • 8.4 Behavioural Properties
  • 8.5 Business Process Compliance
  • Bibliographical Notes
  • References
  • Index

Ejemplares similares