Performance Analysis of Software Architectures via a Process Algebraic Description Language

Authors:
M. Bernardo;P. Ciancarini;L. Donatiello
Affiliations:
-;-;-
Venue:
Performance Analysis of Software Architectures via a Process Algebraic Description Language
Year:
1999

Citing 0
Cited 1

GCCS: A Graphical Coordination Language for System Specification

COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models

Quantified Score

Hi-index	0.00

Visualization

Abstract

We address the problem of describing and analyzing functional and nonfunctional properties of software architectures in a formal framework. We thus develop an architectural description language with a precise syntax and semantics and we illustrate the various kinds of analysis that can be conducted on its descriptions, such as architectural compatibility and conformity checking, functional verification, and performance evaluation. The proposed architectural description language is based on stochastically timed process algebras by virtue of their compositionality which makes them suited to work with at the architectural level.