Seven Constructs for Modeling Single-Agent Behavior

  • Egon Börger
  • Alexander Raschke


Introduces stepwise the seven basic constructs used to model single-agent systems by Abstract State Machines (ASMs). It starts from scratch and is focussed on the central role of the ASM abstraction and refinement concept. Via small control system examples, it is explained how to use those constructs a) to build abstract models for such systems, and b) to refine them in a controllable manner to executable code. It is illustrated how ASMs support reliable requirements capture, controlled reuse of models, integration of data and control features, separation of normal behavior from error handling, and componentwise construction.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag GmbH Germany, part of Springer Nature 2018

Authors and Affiliations

  • Egon Börger
    • 1
  • Alexander Raschke
    • 2
  1. 1.Dipartimento di InformaticaUniversità di PisaPisaItaly
  2. 2.Institute of Software Engineering and Programming LanguagesUniversität UlmUlmGermany

Personalised recommendations