Techniques de transformation de modèles basées sur la méta-modélisation

par Mikaël Peltier

Thèse de doctorat en Sciences de l'ingénieur. Informatique

Sous la direction de Jean Bézivin.

Soutenue en 2003

à Nantes .


  • Résumé

    Dans cette thèse, nous présentons cette problématique de manière concrète et pragmatique. Après avoir étudié les systèmes existants, nous avons développé un langage dédié permettant d'exprimer les transformations de manière formelle, non-ambiguë et exécutable. Ce langage peut constituer le cœur d'un système unifié de transformation de modèles. Les résultats des travaux de normalisation en cours nous permettent de confirmer les choix proposés et éventuellement de suggérer des extensions ou améliorations.


  • Résumé

    The last modern requirements of software development have caused OMG to define an architecture driven by models that are based on modelling and meta-modelling technologies. This evolution has caused a new problem: the transformation of models. Interest in this activity growing from the industry has ended in the elaboration of a request for proposal in April 2002 whose objective will be to standardise a transformation system. In this document, we are concretely and pragmatically studying the model transformation. After having presented the existing systems, we are orientated towards usage of a domain-specific language to allowing you to express the transformations in a formal, non-ambiguous and executable way. The proposed language can constitute the heart of a unified model transformation system. The results of the normalisation works allow us to confirm the proposed choices and possible suggest extensions or improvements.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 164 p.
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p. 143-149

Où se trouve cette thèse ?

  • Bibliothèque : Université de Nantes. Service commun de la documentation. Section Sciences.
  • Disponible pour le PEB
  • Cote : 03 NANT 2057
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.