Formal notations for system performance modeling need to be equipped with suitable 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.

Component-Oriented Specification of Performance Measures

Aldini, Alessandro;Bernardo, Marco
2006

Abstract

Formal notations for system performance modeling need to be equipped with suitable 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.
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11576/1891836
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 1
  • ???jsp.display-item.citation.isi??? ND
social impact