AUBURN COMP 7700 - Combining Stochastic Process Algebras (13 pages)

Previewing pages 1, 2, 3, 4 of 13 page document View the full content.
View Full Document

Combining Stochastic Process Algebras



Previewing pages 1, 2, 3, 4 of actual document.

View the full content.
View Full Document
View Full Document

Combining Stochastic Process Algebras

136 views


Pages:
13
School:
Auburn University
Course:
Comp 7700 - SOFTWARE ARCHITECTURE (3)

Unformatted text preview:

Combining Stochastic Process Algebras and Queueing Networks for Software Architecture Analysis Simonetta Balsamo Marco Bernardo Marta Simeoni Dipartimento di Informatica Univ Ca Foscari di Venezia Centro per l Appl delle S T I Univ di Urbino Dipartimento di Informatica Univ Ca Foscari di Venezia balsamo dsi unive it bernardo sti uniurb it simeoni dsi unive it ABSTRACT We propose an integrated approach to the functional and performance analysis of Software Architectures SAs based on Stochastic Process Algebras SPAs and Queueing Networks QNs in order to combine their main advantages formal techniques for the verification of functional properties of systems for SPAs and efficient performance analysis for QNs We first introduce milia a SPA based architectural description language for the compositional graphical and hierarchical modeling of SAs which is equipped with suitable checks for the detection of architectural mismatches Then we present a systematic approach to derive QN models from milia specifications This is based on the identification of three different classes of QN basic elements arrival processes buffers and service processes and on syntactic restrictions to be imposed to milia specifications so that each architectural component directly falls into one of the three classes Although performance analysis could be carried out directly on the Markov chain MC underlying an milia specification having a QN model allows performance indices to be evaluated possibly by exact product form solutions or by well known approximate methods Furthermore unlike the underlying MC the high level of abstraction of the QN model should ease the interpretation of the performance results at the architectural description level 1 INTRODUCTION Software Architecture SA is an emerging field within software engineering aiming at describing both the structure and the behavior of software systems at a high level of abstraction 18 17 The static and behavioral descriptions characterize at an



View Full Document

Access the best Study Guides, Lecture Notes and Practice Exams

Loading Unlocking...
Login

Join to view Combining Stochastic Process Algebras and access 3M+ class-specific study document.

or
We will never post anything without your permission.
Don't have an account?
Sign Up

Join to view Combining Stochastic Process Algebras and access 3M+ class-specific study document.

or

By creating an account you agree to our Privacy Policy and Terms Of Use

Already a member?