Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Mixing Logics and Rewards for the Component-Oriented Specification
 

Summary: Mixing Logics and Rewards for
the Component-Oriented Specification
of Performance Measures
Alessandro Aldini, Marco Bernardo
Universit`a di Urbino "Carlo Bo" ­ Italy
Istituto di Scienze e Tecnologie dell'Informazione
Abstract
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
logics. In this paper we propose an approach that combines logics and rewards to-
gether with a definition mechanism that allows performance measures to be specified
in a component-oriented way, thus facilitating the task for non-experts. The result-
ing Measure Specification Language (MSL) is interpreted both on action-labeled
continuous-time Markov chains and on stochastic process algebras. The latter in-
terpretation provides a compositional framework for performance-sensitive model
manipulations and emphasizes the increased expressiveness with respect to tradi-
tional reward structures for implicit-state modeling notations.
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"
Bernardo, Marco - Dipartimento di Matematica, Fisica e Informatica, Universita’ di Urbino "Carlo Bo"

 

Collections: Computer Technologies and Information Sciences