loading
Documents

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Imen Derbel 1 ; Lamia Labed Jilani 1 and Ali Mili 2

Affiliations: 1 Institut Superieur de Gestion, Tunisia ; 2 New Jersey Institute of Technology, United States

ISBN: 978-989-758-037-6

Keyword(s): Software Architecture, Non Functional Attributes, Architectural Description Language, Acme, Bottleneck Analysis, Quality Attributes, Performance, Reliability, Maintainability, Availability.

Related Ontology Subjects/Areas/Topics: Model Analysis and Checking ; Modeling Languages ; Models ; Paradigm Trends ; Software Engineering

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. (More)

PDF ImageFull Text

Download
Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 3.87.147.184

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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

@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},
}

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

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.