Modeling Context Awareness

  • Egon Börger
  • Alexander Raschke


Explains context-aware Abstract State Machines (ASMs). It shows how the ASM parameterization mechanism permits a) to gently manage a rather general form of partitioning of states and distributed computations, and b) to effectively separate the descriptions of system and of environment features. Numerous programming patterns, communication patterns, and some common control flow schemes are modeled to illustrate the power of ASM parameterization.


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