Techniques de transformation de modèles basées sur la méta-modélisation
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...
Enregistré dans:
Auteur principal : | |
---|---|
Collectivités auteurs : | , |
Autres auteurs : | |
Format : | Thèse ou mémoire |
Langue : | français |
Titre complet : | Techniques de transformation de modèles basées sur la méta-modélisation / Mikaël Peltier; sous la dir. de Jean Bézivin |
Publié : |
[S.l.] :
[s.n.]
, 2003 |
Description matérielle : | 164 p. |
Note de thèse : | Thèse doctorat : Sciences de l'ingénieur. Informatique : Nantes : 2003 |
Disponibilité : | Publication autorisée par le jury |
Sujets : |
LEADER | 02940cam a2200385 4500 | ||
---|---|---|---|
001 | PPN075922738 | ||
003 | http://www.sudoc.fr/075922738 | ||
005 | 20240531154500.0 | ||
029 | |a FR |b 2003NANT2057 | ||
035 | |a (OCoLC)492560834 | ||
100 | |a 20040115d2003 k y0frey0103 ba | ||
101 | 0 | |a fre |d fre |d eng | |
102 | |a FR | ||
105 | |a y m ||||| | ||
106 | |a r | ||
200 | 1 | |a Techniques de transformation de modèles basées sur la méta-modélisation |b Texte imprimé |f Mikaël Peltier |g sous la dir. de Jean Bézivin | |
210 | |a [S.l.] |c [s.n.] |d 2003 | ||
215 | |a 164 p. |d 30 cm | ||
310 | |a Publication autorisée par le jury | ||
320 | |a Bibliogr. p. 143-149 | ||
328 | 0 | |b Thèse doctorat |c Sciences de l'ingénieur. Informatique |e Nantes |d 2003 | |
330 | |a 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. | ||
330 | |a 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. | ||
606 | |3 PPN035351772 |a UML (informatique) |3 PPN027253139 |x Thèses et écrits académiques |2 rameau | ||
606 | |3 PPN027673529 |a Génie logiciel |3 PPN027253139 |x Thèses et écrits académiques |2 rameau | ||
686 | |a 004 |2 TEF | ||
686 | |a 620 |2 TEF | ||
700 | 1 | |3 PPN075876205 |a Peltier |b Mikaël |f 1976-.... |4 070 | |
702 | 1 | |3 PPN031125174 |a Bézivin |b Jean |f 1946-.... |4 727 | |
712 | 0 | 2 | |3 PPN026403447 |a Université de Nantes |c 1962-2021 |4 295 |
712 | 0 | 2 | |3 PPN068720513 |a École doctorale sciences et technologies de l'information et des matériaux |c Nantes |4 996 |
801 | 3 | |a FR |b Abes |c 20171204 |g AFNOR | |
979 | |a SCI | ||
930 | |5 441092104:196705274 |b 441092104 |j u | ||
998 | |a 372082 |