Automated quantitative attributes prediction from architectural description language

Imen Derbel, Lamia Labed Jilani, Ali Mili

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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 obtain system properties as function of its components and connectors properties.

Original languageEnglish (US)
Title of host publicationICSOFT-PT 2014 - Proceedings of the 9th International Conference on Software Paradigm Trends
EditorsAndreas Holzinger, Jorge Cardoso, Jorge Cardoso, Jose Cordeiro, Jose Cordeiro, Marten van Sinderen, Stephen Mellor
PublisherSciTePress
Pages87-94
Number of pages8
ISBN (Electronic)9789897580376
DOIs
StatePublished - 2014
Event9th International Conference on Software Paradigm Trends, ICSOFT-PT 2014 - Vienna, Austria
Duration: Aug 29 2014Aug 31 2014

Publication series

NameICSOFT-PT 2014 - Proceedings of the 9th International Conference on Software Paradigm Trends

Other

Other9th International Conference on Software Paradigm Trends, ICSOFT-PT 2014
CountryAustria
CityVienna
Period8/29/148/31/14

All Science Journal Classification (ASJC) codes

  • Software

Keywords

  • Acme
  • Architectural description language
  • Availability
  • Bottleneck analysis
  • Maintainability
  • Non functional attributes
  • Performance
  • Quality attributes
  • Reliability
  • Software architecture

Fingerprint Dive into the research topics of 'Automated quantitative attributes prediction from architectural description language'. Together they form a unique fingerprint.

Cite this