Component-Oriented Specification of Performance Measures

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

• Type: Journal
• Year: 2006
• Where: ENTCS
• Authors: Alessandro Aldini, Marco Bernardo
• Keywords: ENTCS 2006, Notations, Performance Measures, Reward Structures