Authors:
Imen Derbel
1
;
Lamia Labed Jilani
1
and
Ali Mili
2
Affiliations:
1
Institut Superieur de Gestion, Tunisia
;
2
New Jersey Institute of Technology, United States
Keyword(s):
Software Architecture, Non Functional Attributes, Architectural Description Language, Acme, Bottleneck Analysis, Quality Attributes, Performance, Reliability, Maintainability, Availability.
Related
Ontology
Subjects/Areas/Topics:
Model Analysis and Checking
;
Modeling Languages
;
Models
;
Paradigm Trends
;
Software Engineering
Abstract:
Software architecture has become an increasingly important research topic in recent years. Concurrently much more attention has been paid to methods of evaluating non functional attributes of these architectures. However, in current architectural description languages (ADLs) based on a formal and abstract model of system behavior, there is a notable lack of support for representing and reasoning about non functional attributes. In this paper, we propose ACME+ ADL as an extension of ACME ADL and discuss our quantitative model for formal analysis of software architectures. This paper gives an overview of our formal approach for describing software architectures and analyzing their performance, reliability, maintainability and availability. The proposed model is supported by an automated tool that transforms an architecture described in ACME+ into a set of inequalities characterizing system non functional attributes. These inequalities are then solved using Mathematica in order to obtai
n system properties as function of its components and connectors properties.
(More)