A Framework for the Integration of Functional and Non-functional Analysis of Software Architectures

Authors:
V. Cortellessa;A. Di Marco;P. Inverardi;F. Mancinelli;P. Pelliccione
Affiliations:
Dipartimento di Informatica, Università di L'Aquila, Via Vetoio 1, 67010 Coppito (AQ), Italy;Dipartimento di Informatica, Università di L'Aquila, Via Vetoio 1, 67010 Coppito (AQ), Italy;Dipartimento di Informatica, Università di L'Aquila, Via Vetoio 1, 67010 Coppito (AQ), Italy;Dipartimento di Informatica, Università di L'Aquila, Via Vetoio 1, 67010 Coppito (AQ), Italy;Dipartimento di Informatica, Università di L'Aquila, Via Vetoio 1, 67010 Coppito (AQ), Italy
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2005

Citing 7
Cited 3

PRIMA-UML: a performance validation incremental methodology on early UML diagrams

Science of Computer Programming - Special issue on unified modeling language (UML 2000)
Performance measure sensitive congruences for Markovian process algebras

Theoretical Computer Science
Stochastic Process Algebra: From an Algebraic Formalism to an Architectural Description Language

Performance Evaluation of Complex Systems: Techniques and Tools, Performance 2002, Tutorial Lectures
Automated Check of Architectural Models Consistency Using SPIN

Proceedings of the 16th IEEE international conference on Automated software engineering
The temporal logic of programs

SFCS '77 Proceedings of the 18th Annual Symposium on Foundations of Computer Science
Spin model checker, the: primer and reference manual

Spin model checker, the: primer and reference manual
Model checking publish-subscribe systems

SPIN'03 Proceedings of the 10th international conference on Model checking software

Integrating a software architecture-centric method into object-oriented analysis and design

Journal of Systems and Software
The Future of Software: Adaptation and Dependability

Software Engineering
Rapid system development via product line architecture implementation

RISE'05 Proceedings of the Second international conference on Rapid Integration of Software Engineering Techniques

Quantified Score

Hi-index	0.01

Visualization

Abstract

The separation of functional and non-functional analysis of software systems often prevents from considering design solutions that would be evident if an integrated analysis would be possible. Lack of analysis integration is in fact leading software developers to loose precious feedback that would improve the quality of the software product or, even better, would avoid late software inconsistencies with respect to functional or non-functional requirements. In this paper we introduce a framework for software analysis integration. The framework core is XML-based and consists of software models and formal relations among models. The relations help to automatically propagate the analysis feedback among software models. We specify how different analysis methodologies can be integrated in our framework. We also show how the Eclipse platform represents a natural implementation environment for such a framework.