Behavioural models

Título:

Behavioural models: from modelling finite automata to analysing business processes

Autor:

Kunze, Matthias

Colaboradores:

Weske, Mathias

Temas:

GESTIÓN DE PROCESOS EMPRESARIALES - BPM ; 

Localización electrónica:

Descripción física:

xii, 279 p. :il.

ISBN:

9783319449586

Idioma:

Inglés, 

País:

Suiza

Publicación:

Cham : Springer, c2016

Nota general:

Incluye índice y bibliografía.

Puede solicitar más fácilmente el ejemplar con: K.6.1 KUN

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