Reasoning about quantitative Architectural attributes

Lamia Labed Jilani, Imen Derbel, Khaled Bsaies, Hamdi Nasreddine, Ali Mili

Research output: Contribution to journalArticlepeer-review

1 Scopus citations


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.

Original languageEnglish (US)
Pages (from-to)574-583
Number of pages10
JournalJournal of Software
Issue number4
StatePublished - Apr 2011

All Science Journal Classification (ASJC) codes

  • Software
  • Human-Computer Interaction
  • Artificial Intelligence


  • ACME
  • Availability
  • Maintainability
  • Non functional attributes
  • Reliability
  • Response time
  • Security
  • Software architecture
  • Throughput
  • Wright


Dive into the research topics of 'Reasoning about quantitative Architectural attributes'. Together they form a unique fingerprint.

Cite this