Behavioural models : from modelling finite automata to analysing business processes

Incluye índice y bibliografía.

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