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