Behavioural Models From Modelling Finite Automata to Analysing Business Processes /

• Main Authors: Kunze, Matthias (Author), Weske, Mathias (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2016.
• Subjects: Computer science.; Management information systems.; Industrial management.; Software engineering.; Computers.; Computer simulation.; Computer Science.; Software Engineering.; Computation by Abstract Devices.; Simulation and Modeling.; Business Process Management.

This textbook introduces the basis for modelling and analysing discrete dynamic systems, such as computer programmes, soft- and hardware systems, and business processes. The underlying concepts are introduced and concrete modelling techniques are described, such as finite automata, state machines, a...

Table of Contents:

• 1 Introduction
• 2 Discrete Dynamic Systems
• 3 Sequential Systems
• 4 Concurrent Systems
• 5 Business Process Models
• 6 State Spaces
• 7 Comparing Behaviour
• 8 Verification
• References
• Index.