Behavioural Models From Modelling Finite Automata to Analysing Business Processes /

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

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autores principales: Kunze, Matthias (Autor), Weske, Mathias (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Cham : Springer International Publishing : Imprint: Springer, 2016.
Edición:1st ed. 2016.
Temas:
Software engineering.
Computer science.
Computer simulation.
Information technology-Management.
Software Engineering.
Theory of Computation.
Computer Modelling.
Business Process Management.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares