Executing Software Architecture Descriptions with SysADL

Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9839)


Most Software Architecture Description Languages (ADLs) lack explicit support for executing an architecture description. In the execution view, the runtime behavior of an architecture is simulated to validate its logic regarding satisfaction of behavioral requirements. In this paper, we present the executable viewpoint of SysADL, a SysML Profile for modeling the architecture of software-intensive systems, which brings together the expressive power of ADLs for architecture description with a standard modeling language widely accepted by the industry, i.e. SysML. SysADL encompasses three integrated viewpoints: structural, behavioral, and executable. This paper focuses on the executable viewpoint that enables the description of the execution model of a software architecture. In this viewpoint, SysADL provides an extended action language subsuming the ALF action language based on fUML, adapted for SysML. In this paper, we use a Central Conditioner System as a case study to illustrate SysADL execution views.


Architecture Description Language Execution viewpoint SysML ALF action language 


  1. 1.
    ADLs: current architectural languages, June 2016.
  2. 2.
    Leite, J., Oquendo, F., Batista, T.: SysADL: a SysML profile for software architecture description. In: Proceedings of 7th European Conference on Software Architecture (ECSA), Montpellier, France, pp. 106–113 (2013)Google Scholar
  3. 3.
    Malavolta, I., Lago, P., Muccini, H., Pelliccione, P., Tang, A.: What industry needs from architectural languages: a survey. IEEE Trans. Softw. Eng. 39(6), 869–891 (2013)CrossRefGoogle Scholar
  4. 4.
    Medvidovic, N., et al.: A classification and comparison framework for software architecture description languages. IEEE Trans. Softw. Eng. 26(1), 70–93 (2000)CrossRefGoogle Scholar
  5. 5.
    Milner, R.: Communicating and Mobile Systems: The π-Calculus. Cambridge University Press, Cambridge (1999)zbMATHGoogle Scholar
  6. 6.
    Oquendo, F.: π-ADL: an architecture description language based on the higher-order typed π-Calculus for specifying dynamic and mobile software architectures. ACM SIGSOFT SEN 29(3), 1–14 (2004)CrossRefGoogle Scholar
  7. 7.
    Oquendo, F., Leite, J., Batista, T.: Specifying architecture behavior with SysADL. In: Proceedings of 13th Working IEEE/IFIP Conference on Software Architecture (WICSA), Venice (2016)Google Scholar

Copyright information

© Springer International Publishing AG 2016

Authors and Affiliations

  1. 1.IRISA – Université de Bretagne SudVannesFrance
  2. 2.UFRN – Federal University of Rio Grande do NorteNatalBrazil

Personalised recommendations