Automated Quantitative Attributes Prediction from Architectural Description Language

Imen Derbel, Lamia Labed Jilani, Ali Mili

2014

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.

References

  1. Allen, R. and Garlan, D. (1996). A case study in architectural modeling: The aegis system. In In Proceedings of the 8th International Workshop on Software Specification and Design, pages 6-15.
  2. Denning, P. (2008). Throughput. Wiley Encyclopedia of Computer Science and Engineering.
  3. Garlan, D., Allen, R., and Ockerbloom, J. (December 1994). Exploiting style in architectural design environments. In Proceedings of SIGSOFT'94: Foundations of Software Engineering, pages 175-188.
  4. Garlan, D., Monroe, R., and Wile, D. (November 1997). Acme: An architecture description interchange language. CASCON'97. Toronto, Ontario, page 169183.
  5. Gorlick, M. and Razouk, R. (1991). Using weaves for software construction and analysis. In ICSE, pages 23-34.
  6. Medvidovic, N. and Taylor, R. (2000). A classification and comparison framework for software architecture description languages. IEEE Trans. Software Eng., 26(1):70-93.
Download


Paper Citation


in Harvard Style

Derbel I., Labed Jilani L. and Mili A. (2014). Automated Quantitative Attributes Prediction from Architectural Description Language . In Proceedings of the 9th International Conference on Software Paradigm Trends - Volume 1: ICSOFT-PT, (ICSOFT 2014) ISBN 978-989-758-037-6, pages 87-94. DOI: 10.5220/0005003700870094


in Bibtex Style

@conference{icsoft-pt14,
author={Imen Derbel and Lamia Labed Jilani and Ali Mili},
title={Automated Quantitative Attributes Prediction from Architectural Description Language},
booktitle={Proceedings of the 9th International Conference on Software Paradigm Trends - Volume 1: ICSOFT-PT, (ICSOFT 2014)},
year={2014},
pages={87-94},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005003700870094},
isbn={978-989-758-037-6},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 9th International Conference on Software Paradigm Trends - Volume 1: ICSOFT-PT, (ICSOFT 2014)
TI - Automated Quantitative Attributes Prediction from Architectural Description Language
SN - 978-989-758-037-6
AU - Derbel I.
AU - Labed Jilani L.
AU - Mili A.
PY - 2014
SP - 87
EP - 94
DO - 10.5220/0005003700870094