Document Actions
Sébastien Saudrais, Olivier Barais, Laurence Duchien, and Noel Plouzeau (2007)
From formal specifications to QoS monitors
Journal of Object Technology, Special Issue on Advances in Quality of Service Management 6(11):7–24.
In the domain of soft real-time application design, the gap between
component-specification models and the implementations often implies
that the implementations cannot fully take advantage of the specification
models. To limit this gap, this paper proposes an approach to generate
a QoS monitor from the timed behavior specification. To support this
approach, we rely on two di erent component models: one focused on
formal description and the other on practical implementation. Those
models are interconnected by model transformation, using a Model-Driven
Engineering style.