Sciweavers

Share
ENTCS
2006

Component-Oriented Specification of Performance Measures

9 years 9 months ago
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
Alessandro Aldini, Marco Bernardo
Added 12 Dec 2010
Updated 12 Dec 2010
Type Journal
Year 2006
Where ENTCS
Authors Alessandro Aldini, Marco Bernardo
Comments (0)
books