From formal specifications to QoS monitors

By: Sebastien Saudrais, Olivier Barais, Laurence Duchien, Noel Plouzeau

Abstract

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 different 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.

Cite as:

Sebastien Saudrais, Olivier Barais, Laurence Duchien, Noel Plouzeau, “From formal specifications to QoS monitors”, Journal of Object Technology, Volume 6, no. 11 (December 2007), pp. 1-20, doi:10.5381/jot.2007.6.11.a1.