loading...
Using Model-Driven Engineering to generate QoS Monitors from a formal specification
Hong Kong, China October 16-October 20
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/EDOCW.2006.7410th IEEE International Enterprise Di ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Sebastien Saudrais, IRISA France, Triskell Project
Olivier Barais, IRISA France, Triskell Project
Laurence Duchien, INRIA France, Jacquard Project
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.
Citation:
Sebastien Saudrais, Olivier Barais, Laurence Duchien, "Using Model-Driven Engineering to generate QoS Monitors from a formal specification," edocw, pp.45, 10th IEEE International Enterprise Distributed Object Computing Conference Workshops (EDOCW'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.