Modélisation de la sémantique formelle des langages de programmation en UML et OCL

Jacques Malenfant 1
1 TRISKELL - Reliable and efficient component based software engineering
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Résumé : 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.
Document type :
Reports
Complete list of metadatas

https://hal.inria.fr/inria-00072089
Contributor : Rapport de Recherche Inria <>
Submitted on : Tuesday, May 23, 2006 - 7:46:01 PM
Last modification on : Friday, November 16, 2018 - 1:22:30 AM
Long-term archiving on : Sunday, April 4, 2010 - 10:52:39 PM

Identifiers

  • HAL Id : inria-00072089, version 1

Citation

Jacques Malenfant. Modélisation de la sémantique formelle des langages de programmation en UML et OCL. RR-4499, INRIA. 2002. ⟨inria-00072089⟩

Share

Metrics

Record views

216

Files downloads

574