Behavioural Models From Modelling Finite Automata to Analysing Business Processes /

• Κύριοι συγγραφείς: Kunze, Matthias (Συγγραφέας), Weske, Mathias (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2016.
• Θέματα: 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...

Πίνακας περιεχομένων:

• 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.