Computing attributes of software architectures: A static method and its validation

Imen Derbel, Lamia Labed Jilani, Ali Mili

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

1 Scopus citations

Abstract

During the last two past decades, software architecture has been a rising subject of software engineering. Since, researchers and practitioners have recognized that analyzing the architecture of a software system is an important part of the software development process. Architectural evaluation not only reduces software development efforts and costs but it also enhances the quality of the software by verifying the addressability of quality requirements and identifying potential risks. To this aim, several approaches have been recently proposed to analyze system non-functional attributes from its software architecture specification. In this paper, we propose an ADL based formal method for representing and reasoning about system nonfunctional attributes at the architectural level. We are especially interested in analyzing performance and reliability quality attributes. We also propose to analyze the sensitivity of the system by identifying components that have the greatest impact on the system quality. The automation of our model was followed by a series of experiments that allowed us to validate our inductive reasoning to prove the capabilities of our model to represent and analyze software architectures.

Original languageEnglish (US)
Title of host publicationENASE 2015 - Proceedings of the 10th International Conference on Evaluation of Novel Approaches to Software Engineering
EditorsJoaquim Filipe, Leszek Maciaszek
PublisherSciTePress
Pages55-66
Number of pages12
ISBN (Electronic)9789897581007
StatePublished - Jan 1 2015
Event10th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2015 - Barcelona, Spain
Duration: Apr 29 2015Apr 30 2015

Publication series

NameENASE 2015 - Proceedings of the 10th International Conference on Evaluation of Novel Approaches to Software Engineering

Other

Other10th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2015
CountrySpain
CityBarcelona
Period4/29/154/30/15

    Fingerprint

All Science Journal Classification (ASJC) codes

  • Software

Keywords

  • Acme
  • Analysis
  • Architecture description language
  • Quality attributes
  • Reliability
  • Response time
  • Software architecture
  • Throughput

Cite this

Derbel, I., Jilani, L. L., & Mili, A. (2015). Computing attributes of software architectures: A static method and its validation. In J. Filipe, & L. Maciaszek (Eds.), ENASE 2015 - Proceedings of the 10th International Conference on Evaluation of Novel Approaches to Software Engineering (pp. 55-66). (ENASE 2015 - Proceedings of the 10th International Conference on Evaluation of Novel Approaches to Software Engineering). SciTePress.