Title :
Are We There Yet? Analyzing Architecture Description Languages for Formal Analysis, Usability, and Realizability
Author :
Ozkaya, Mert ; Kloukinas, Christos
Author_Institution :
Dept. of Comput. Sci., City Univ. London, London, UK
Abstract :
Research on Software Architectures has been active since the early nineties, leading to a number of different architecture description languages (ADL). Given their importance in facilitating the communication of crucial system properties to different stakeholders and their analysis early on in the development of a system this is understandable. After all these years one would have hoped that we could point to a handful of ADLs as the clear winners as the languages of choice of practitioners for specifying software system architectures. However it seems that ADLs have still not entered the mainstream. We believe this is so because practitioners find the current offering either too difficult to use or not supporting automated analysis commensurate to the level of effort they require for specifying a system, especially so for complex systems. In this paper we present a comparative analysis of a number of ADLs, both of first generation and more recent ones, against a small set of language properties that we believe are crucial for an ADL that would be easy for practitioners to adopt in their design and development practices. These properties are: formal semantics, usability, and realizability.
Keywords :
formal verification; programming language semantics; software architecture; ADL; architecture description language analysis; automated analysis; complex systems; formal analysis; formal realizability; formal semantics; formal usability; language properties; software system architectures; system development; Computer architecture; Connectors; Protocols; Semantics; Software architecture; Usability; Architecture Description Language; Comparison; Formal Semantics; Realizability; Usability;
Conference_Titel :
Software Engineering and Advanced Applications (SEAA), 2013 39th EUROMICRO Conference on
Conference_Location :
Santander
DOI :
10.1109/SEAA.2013.34