UML2.0 Formalization and Acme Verification of the Qualitative Properties of Software Architectures

The qualitative properties are conventionally considered after completing the software. Currently, many research look at treating those properties as soon as the architectural design phase. In this paper, the modeling and the verification of these properties in UML2.0 software architectures are aimed. In order to achieve this, we proposed a profile that extends the UML2.0 component meta-model. The new profile, called CUMLQoS, is able to model the UML2.0 software architectures equipped with qualitative properties. Our verification approach, which is based on the qualitative contracts established between both server and client components, propose to use the Acme/Armani ADL as a checking machine of UML2.0 software architectures that derives from our CUMLQoS profile. This choice of this ADL is justified by its ability to formal verification of different types of properties related to software architectures.

[1]  Jean-Marc Jézéquel,et al.  Making Components Contract Aware , 1999, Computer.

[2]  Julio Cesar Sampaio do Prado Leite,et al.  On Non-Functional Requirements in Software Engineering , 2009, Conceptual Modeling: Foundations and Applications.

[3]  Jean-Marc Jézéquel,et al.  Extra-Functional Contract Support in Components , 2004, CBSE.

[4]  Jean Bézivin.  Sur les principes de base de l'ingénierie des modèles , 2004, Obj. Logiciel Base données Réseaux.

[5]  Frédéric Jouault,et al.  Transforming Models with ATL , 2005, MoDELS.

[6]  Jos Warmer,et al.  The object constraint language , 1998 .

[7]  Svend Frølund,et al.  Quality-of-service specification in distributed object systems , 1998, Distributed Syst. Eng..

[8]  Nenad Medvidovic,et al.  Modeling software architectures in the Unified Modeling Language , 2002, TSEM.

[9]  Paul Clements,et al.  Documenting Component and Connector Views with UML 2.0 , 2004 .

[10]  Barry Boehm,et al.  Characteristics of software quality , 1978 .

[11]  David Garlan,et al.  Reconciling the needs of architectural description with object-modeling notations , 2002, Sci. Comput. Program..

[12]  Mohamed Tahar Bhiri,et al.  Towards a Practical Approach to Check Service Component Architecture , 2015, 2015 11th International Conference on Semantics, Knowledge and Grids (SKG).

[13]  Leonard J. Bass,et al.  SAAM: a method for analyzing the properties of software architectures , 1994, Proceedings of 16th International Conference on Software Engineering.