Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Component-Oriented Specification of Performance Measures

Summary: Component-Oriented Specification of
Performance Measures
Alessandro Aldini 1
Marco Bernardo 2
Universit`a di Urbino "Carlo Bo", Istituto STI, Italy
Formal notations for system performance modeling need to be equipped with suit-
able notations for specifying performance measures. These companion notations
have been traditionally based on reward structures and, more recently, on temporal
logic. In this paper we propose a mixed approach, which aims at facilitating the
specification of performance measures by allowing the designer to express them in
a component-oriented way. The resulting Measure Specification Language MSL,
which is being integrated in Æmilia/TwoTowers, is interpreted both on action-
labeled continuous-time Markov chains and on stochastic process algebras. The
latter interpretation provides a compositional framework for performance-sensitive
model manipulations and emphasizes the increased expressiveness with respect to
traditional reward structures for modeling notations in which the concept of state
is implicit.
1 Introduction
The need for assessing the quantitative characteristics of a system during


Source: Aldini, Alessandro - Dipartimento di Matematica, Fisica e Informatica, Universita’ di Urbino "Carlo Bo"


Collections: Computer Technologies and Information Sciences