Nous proposons une méthode systématique et pragmatique de modélisation de la sémantique des langages de programmation fondée sur la description en UML et OCL de sémantiques dénotationnelles. Cette approche se fonde sur la précision mathématique de la sémantique dénotationnelle de même que sur l'accessibilité et le rôle prépondérant des définitions en UML/OCL pour répondre à deux grandes questions : (1) Comment communiquer aux programmeurs une définition précise d'un langage de programmation tout en restant accessibl- e ? et (2) Comment intégrer à la MDA des modèles de la sémantique des langages de programmation de manière cohérente et uniforme avec une démarche UML ? Dans le contexte de la MDA, de tels modèles permettront d'appuyer le développement logiciel par une génération automatique de code vers de multiples langages cibles (éventuellement spécifiques à des domaines, ou DSL) tenant compte explicitement de leurs différences sémantiques. Nous illustrons notre approche par une sémantique du langage de spécification de la qualité de service QML.