Using Model-Driven Engineering to generate QoS Monitors from a formal specification.

Sébastien Saudrais Olivier Barais Laurence Duchien

Published in: EDOC Workshops (2006)

Keyphrases

formal specification
model driven engineering
process algebra
model checking
specification languages
specification language
model driven
formal methods
object oriented design
quality of service
web services composition
reverse engineering
software components
concurrent systems
machine learning
web services