Abstract
In this chapter, we present the execution semantics of architecture descriptions expressed with SysADL. We explain the SysADL constructs that enable execution as described from the different viewpoints and how the user observes this execution for validating the described architectures. In particular, we explain the operational semantics of each behavioral construct, specified in terms of transition rules where the premise declares the state before the execution and the conclusion, the state after the execution.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Further Reading
Concrete Syntax For A UML Action Language:Ā Action Language For Foundational UMLTM (ALFTM). http://www.omg.org/spec/ALF/
Semantics Of A Foundational Subset ForĀ Executable UML Models (FUMLTM). http://www.omg.org/spec/FUML/
Precise Semantics Of UML Composite StructuresTM (PSCSTM). http://www.omg.org/spec/PSCS/1.0/
Author information
Authors and Affiliations
Rights and permissions
Copyright information
Ā© 2016 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Oquendo, F., Leite, J., Batista, T. (2016). Executing Software Architectures. In: Software Architecture in Action. Undergraduate Topics in Computer Science. Springer, Cham. https://doi.org/10.1007/978-3-319-44339-3_7
Download citation
DOI: https://doi.org/10.1007/978-3-319-44339-3_7
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-44337-9
Online ISBN: 978-3-319-44339-3
eBook Packages: Computer ScienceComputer Science (R0)