Le langage QML (Quality of service Modeling Language) a été proposé par Frølund et Koistinen pour traiter de manière systématique et déclarative de la qualité de service des composants logiciels. Dans ce rapport, nous présentons le résultat d'une analyse sémantique formelle du langage QML selon l'approche dénotationnelle. De cette sémantique, nous tirons des enseignements dans deux directions : la modélisati- on par objets des contrats dans le but d'une intégration fluide à UML et une implantation en Java pour une utilisation concrète dans ce langage. Si QML propose des concepts intéressants pour la définition d'ontologies et de types de données pour traiter des types de contrats, des contrats et des niveaux ou valeurs de qualité de service, le sous-langage de contraintes sur les dimensions et la liaison avec les interfaces restent peu approfondis et inaboutis.