Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer-Verlag GmbH Germany, part of Springer Nature
About this chapter
Cite this chapter
Börger, E., Raschke, A. (2018). Modeling Context Awareness. In: Modeling Companion for Software Practitioners. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-56641-1_4
Download citation
DOI: https://doi.org/10.1007/978-3-662-56641-1_4
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-56639-8
Online ISBN: 978-3-662-56641-1
eBook Packages: Computer ScienceComputer Science (R0)