ACME+ for software architecture analysis

Imen Derbel, Lamia Labed Jilani, Ali Mili

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

Abstract

During recent years, Software Architecture has attracted tremendous attention; since researchers and practitioners have recognized that analyzing system's architecture is an important part of the software development process. However, we find it paradoxical that no Architectural Description Language (ADL) in use nowadays has no means to automatically analyze quality attributes of software architectures such as response time, throughput, failure probability, security, availability, etc. In this paper, we propose Acme+ as an extension of Acme ADL, and discuss the development and operation of a compiler that compiles architectures written in this language and translate it to mathematical formulas which permit to analyze and reason about non functional attributes of software systems. Our work considers the architecture artifact written in an ADL and perform mathematical static analysis on it according to several non functional attributes. We have implemented the corresponding tool by using our compiler and Mathematica for both symbolic computing and numerical calculi.

Original languageEnglish (US)
Title of host publicationICSOFT 2013 - Proceedings of the 8th International Joint Conference on Software Technologies
Pages429-437
Number of pages9
StatePublished - Nov 11 2013
Event8th International Joint conference on Software Technologies, ICSOFT 2013 - Reykjavik, Iceland
Duration: Jul 29 2013Jul 31 2013

Publication series

NameICSOFT 2013 - Proceedings of the 8th International Joint Conference on Software Technologies

Other

Other8th International Joint conference on Software Technologies, ICSOFT 2013
CountryIceland
CityReykjavik
Period7/29/137/31/13

All Science Journal Classification (ASJC) codes

  • Software

Keywords

  • Acme
  • Architectural description language
  • Automated tool
  • Non functional attributes
  • Software architecture

Fingerprint Dive into the research topics of 'ACME+ for software architecture analysis'. Together they form a unique fingerprint.

Cite this