¹Institut Suprieur de Gestion, Tunis University, Tunisia
²Fac. of Science, Univ of Tunis, El Manar University, Tunisia
³New Jersey Inst. of Technology, Newark NJ 07102-1982 USA

---

Abstract—It is widely accepted that software architectures represent non functional attributes of software systems. Yet we know of no Architectural Description Language that provides automated support for reasoning about such attributes. In this paper we discuss our ongoing research in representing and reasoning about non functional properties of software architectures.

Index Terms—Software architecture, non functional attributes, ACME, Wright, response time, throughput, reliability, security, availability, maintainability.

[PDF]

Cite: Lamia Labed Jilani, Imen Derbel, Khaled Bsaies, Hamdi Nasreddine, Ali Mili, "Reasoning About Quantitative Architectural Attributes," Journal of Software vol. 6, no. 4, pp. 574-583, 2011.