, Compiler

, * This is the implementation of a LOGO Turtle for NXT 10 * Author : John Doe 11 * License : GPL 12 */ 3. cf

J. Favre, J. Estublier, and M. Blay, L'Ingénierie Dirigée par les Modèles : au-delà du MDA. Informatique et Systèmes d'Information, 2006.

X. Blanc, MDA en action. EYROLLES, mars 2005
URL : https://hal.archives-ouvertes.fr/hal-01418176

A. Livres-en-anglais-joswarmer and . Kleppe, The Object Constraint Language : Getting Your Models Ready for MDA, 2003.

K. Pohl, G. Böckle, J. Frank, and . Van-der-linden, Software Product Line Engineering : Foundations, Principles and Techniques, 2005.

A. Kleppe, J. Warmer, and W. Bast, MDA Explained. The Model Driven Architecture : Practice and Promise, 2003.

K. Czarnecki, W. Ulrich, and . Eisenecker, Generative programming : methods, tools, and applications, 2000.

D. Steinberg, F. Budinsky, M. Paternostro, and E. Merks, EMF : Eclipse Modeling Framework 2.0, 2009.

. Bibliographie,

C. Atkinson and T. Kuhne, Model-Driven Development : A Metamodeling Foundation, IEEE Software, vol.20, issue.5, p.3641, 2003.

A. V. Aho, R. Sethi, and J. D. Ullman, Compilers : Principles, Techniques, and Tools, p.13, 1986.

, INRIA ATLAS. KM3 : Kernel MetaMetaModel, p.15, 2005.

E. Baniassad and S. Clarke, Theme : An approach for aspect-oriented analysis and design, Proceedings of the 26th International Conference on Software Engineering, ICSE '04, p.158167, 2004.

P. Bottoni, E. Juan-de-lara, and . Guerra, Action patterns for the incremental specication of the execution semantics of visual languages, IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2007), p.20, 2007.

J. Bézivin, La transformation de modèles, 2003.

J. Bézivin, Search of a Basic Principle for Model Driven Engineering. CEPIS, UPGRADE, The European Journal for the Informatics Professional, p.2124, 2004.

J. Bézivin, Sur les principes de base de l'ingénierie des modèles, RSTI-L'Objet, vol.10, issue.4, pp.145-157, 2004.

J. Bézivin, On the unication power of models, Software and System Modeling (SoSym), vol.4, p.171188, 2005.

J. Bézivin and O. Gerbé, Towards a Precise Denition of the OMG/MDA Framework, Proceedings of the 16th IEEE international conference on Automated Software Engineering (ASE), vol.3, p.273, 2001.

J. Bézivin, F. Jouault, P. Rosenthal, and P. Valduriez, Modeling in the Large and Modeling in the Small, Model Driven Architecture, European MDA Workshops : Foundations and Applications, MDAFA 2003 and MDAFA, vol.3599, p.9, 2003.

J. Bezivin and I. Kurtev, Model-based Technology Integration with the Technical Space Concept, Metainformatics Symposium, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00483587

X. Blanc, MDA en action. EYROLLES, p.10, 2005.
URL : https://hal.archives-ouvertes.fr/hal-01418176

F. Budinsky, D. Steinberg, and R. Ellersick, Eclipse Modeling Framework : A Developer's Guide, 2003.

X. Benoit-combemale, P. Crégut, X. Garoche, and . Thirioux, Essay on Semantics Denition in MDE. An Instrumented Approach for Model Verication, Journal of Software, vol.4, issue.9, p.943958, 2009.

T. Clark, A. Evans, and S. Kent, The Metamodelling Language Calculus : Foundation Semantics for UML, Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering (FASE), vol.2029, p.1731, 2001.

T. Clark, A. Evans, P. Sammut, and J. Willans, Applied Metamodelling A Foundation for Language Driven Development

K. Czarnecki and S. Helsen, Classication of Model Transformation Approaches, OOPSLA'03 Workshop on Generative Techniques in the Context of Model-Driven Architecture, p.26, 2003.

C. Clifton and G. T. Leavens, Multijava : Modular open classes and symmetric multiple dispatch for java, OOPSLA 2000 Conference on Object-Oriented Programming, Systems, Languages, and Applications, p.43, 2000.

. Benoit-combemale, Approche de métamodélisation pour la simulation et la vérication de modèle Application à l'ingénierie des procédés, p.22, 2008.

. Benoit-combemale, Simulation et vérication de modèle par métamodélisation exécutable. Editions Universitaires Européennes, p.22, 2010.

J. R. Cordy, The txl source transformation language, Sci. Comput. Program, vol.61, issue.3, p.79, 2006.

P. Cousot, Methods and Logics for Proving Programs, Handbook of theoretical computer science, p.15, 1990.

K. Chen, J. Sztipanovits, S. Abdelwalhed, and E. Jackson, Semantic Anchoring with Model Transformations, Proceedings of the First European Conference Model Driven Architecture -Foundations and Applications (ECMDA-FA), vol.3748, p.115129, 2005.

T. Clark, P. Sammut, and J. Willans, Applied Metamodelling A Foundation for Language Driven Development, p.22, 2008.

T. Clark, P. Sammut, and J. Willans, SUPERLANGUAGES Developing Languages and Applications with XMF. First Edition, p.20, 2008.

G. Engels, R. Heckel, and S. Sauer, Dynamic meta modeling : A graphical approach to the operational semantics of behavioral diagrams in UML, UML'00, volume 1939 of LNCS, p.20, 2000.

J. Favre, J. Estublier, and M. Blay, L'Ingénierie Dirigée par les Modèles : au-delà du MDA. Informatique et Systèmes d'Information, Hermes Science, 2006.

R. E. Filman and D. P. Friedman, Aspect-oriented programming is quantication and obliviousness, vol.6, p.2135, 2000.

P. Farail, P. Gaullet, A. Canals, C. L. Camus, D. Sciamma et al., The topcased project : a Toolkit in OPen source for Critical Aeronautic SystEms Design, 3rd European Congress Embedded Real Time Software (ERTS), p.17, 2006.
URL : https://hal.archives-ouvertes.fr/hal-02270461

T. Fischer, J. Niere, L. Torunski, and A. Zündorf, Story diagrams : A new graph transformation language based on UML and Java, TAGT'98, vol.1764, p.20, 1998.

E. Gamma, R. Helm, and R. Johnson, Design Patterns. Elements of Reusable Object-Oriented Software, vol.3, 1995.

E. Gamma, R. Helm, R. Johnson, and J. Vlissides, Design patterns : elements of reusable object-oriented software, vol.67, p.47, 1995.

A. Gerber, M. Lawley, K. Raymond, J. Steel, and A. Wood, Transformation : The Missing Link of MDA, Proceedings of the First International Conference on Graph Transformation (ICGT), vol.2505, p.90105, 2002.

A. Gargantini, E. Riccobene, and P. Scandurra, A semantic framework for metamodel-based languages, Autom. Softw. Eng, vol.16, issue.3-4, p.415454, 2009.

J. Hendrik-hausmann, Dynamic Meta Modeling A Semantics Description Technique for Visual Modeling Languages, 2005.

D. Harel and . Bernhard-rumpe, Modeling Languages : Syntax, Semantics and All That Stu, Part I : The Basic Stu, Mathematics & Computer Science, vol.18, 2000.

M. Wai, J. Ho, and . Jézéquel, François Pennaneac'h, and Noël Plouzeau. A toolkit for weaving aspect oriented UML designs, Proceedings of 1st ACM International Conference on Aspect Oriented Software Development, 2002.

D. Harel and B. Rumpe, Meaningful Modeling : What's the Semantics of, Semantics" ? Computer, vol.37, issue.10, p.13, 2004.

J. Hutchinson, J. Whittle, M. Rounceeld, and S. Kristoersen, Empirical assessment of mde in industry, Proceedings of the 33rd International Conference on Software Engineering (ICSE 2011), p.471480, 2011.

F. Jouault and J. Bézivin, KM3 : a DSL for Metamodel Specication, Proceedings of the IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), vol.4037, p.15, 2006.

J. Jézéquel, Model Driven Design and Aspect Weaving, Journal of Software and Systems Modeling (SoSyM), vol.7, p.20, 2008.

F. Jouault and I. Kurtev, Transforming Models with ATL, Satellite Events at the MoDELS 2005 Conference, Proceedings of the Model Transformations in Practice Workshop, vol.3844, p.26, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00448120

F. Jouault, Contribution à l'étude des langages de transformation de modèles, p.26, 2006.

J. Jézéquel, N. Plouzeau, T. Weis, and K. Geihs, From contracts to aspects in uml designs, Proc. of the Workshop on Aspect-Oriented Modeling with UML at AOSD'02, 2002.

I. Kurtev, J. Bézivin, and M. Aksit, Technological Spaces : An Initial Appraisal, CoopIS, DOA'2002 Federated Conferences, Industrial track, p.9, 2002.

S. Kuske, M. Gogolla, R. Kollmann, and H. Kreowski, An Integrated Semantics for UML Class, Object and State Diagrams Based on Graph Transformation, Proceedings of the 3rd International Conference on Integrated Formal Methods (IFM), vol.2335, p.20, 2002.

H. Kastenberg, A. Kleppe, and A. Rensink, Dening Object-Oriented Execution Semantics Using Graph Transformations, Proceedings of the 8th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS'06), vol.4037, p.20, 2006.

A. Kleppe, MCC : A Model Transformation Environment, Proceedings of the First European Conference Model Driven Architecture -Foundations and Applications (ECMDA-FA), p.24, 2006.

G. Kiczales, J. Lamping, A. Menhdhekar, C. Maeda, C. Lopes et al., Aspect-Oriented Programming, Proceedings of the 11th European Conference on Object-Oriented Programming, vol.1241, p.220242

. Springer, , vol.3, 1997.

A. Kleppe, J. Warmer, W. Bast, and . Explained, The Model Driven Architecture : Practice and Promise, p.10, 2003.

A. Ledeczi, M. Maroti, A. Bakay, G. Karsai, J. Garrett et al., The Generic Modeling Environment, Proceedings of the IEEE Workshop on Intelligent Signal Processing (WISP), p.15, 2001.

P. Lahire, B. Morin, G. Vanwormhoudt, A. Gaignard, O. Barais et al., Introducing variability into aspect-oriented modeling approaches, Proceedings of ACM/IEEE 10th International Conference on Model Driven Engineering Languages and Systems, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00477562

S. Markovic and T. Baar, Semantics of OCL specied with QVT. Software and System Modeling, vol.7, p.20, 2008.

B. Meyer, Applying "design by contract", IEEE Computer (Special Issue on Inheritance & Classication), vol.25, issue.10, p.4052, 1992.

B. Meyer, Eiel. Le Langage. Intereditions, vol.63, 1997.

P. Muller, F. Fondement, B. Baudry, and B. Combemale, Modeling modeling modeling. Software and Systems Modeling (SOSYM), vol.3, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00538459

P. Muller, F. Fleurey, and J. Jézéquel, Weaving executability into object-oriented meta-languages, Proceedings of MO-DELS/UML'2005, vol.3713, p.264278, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00795095

P. Muller, F. Fleurey, and J. Jézéquel, Weaving Executability into Object-Oriented Meta-Languages, Proceedings of the 8th IEEE/ACM International Conference on Model Driven Engineering Languages and Systems (MoDELS), vol.3713, p.264278, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00795095

P. Muller, F. Fleurey, D. Vojtisek, Z. Drey, D. Pollet et al., On executable meta-languages applied to model transformations, Model Transformations In Practice Workshop, p.64, 2005.
URL : https://hal.archives-ouvertes.fr/inria-00000381

R. Milner, Communication and concurrency, UK) Ltd, 1995.

M. Minsky, Matter, mind, and models. Semantic Information Processing, pp.425-432, 1968.

J. Miller and J. Mukerji, Model Driven Architecture (MDA) 1.0.1 Guide, vol.9, 2003.

, Human-usable textual notation 1.0 specication, 2004.

, Object Management Group, Inc. Meta Object Facility (MOF) 2.0 Core Specication, vol.9, p.15, 2006.

, Uml diagram interchange 1.0 specication, 2006.

, Unied Modeling Language (UML) 2.1.2 Infrastructure, Final Adopted Specication, 2007.

, Unied Modeling Language (UML) 2.1.2 Superstructure, Final Adopted Specication, 2007.

, Object Management Group, Inc. Object Constraint Language (OCL) 2.2 Specication, 2010.

, Inc. Meta Object Facility (MOF) 2.0 Query/View/Transformation (QVT) Specication, version 1.1, 2011.

, Xml metadata interchange 2.4 -beta 2 specication, p.39, 2011.

K. Pohl, G. Böckle, and F. J. Van-der-linden, Software Product Line Engineering : Foundations, Principles and Techniques, 2005.

S. Pickin, C. Jard, T. Jéron, J. Jézéquel, and Y. L. Traon, Test synthesis from UML models of distributed software, IEEE Transactions on Software Engineering, vol.33, issue.4, p.252268, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00794606

R. F. Paige, D. S. Kolovos, and F. A. Polack, An action semantics for MOF 2.0, Proceedings of the 2006 ACM symposium on Applied computing (SAC), p.20, 2006.

J. E. Rivera, E. Guerra-annd-juan-de, L. , and A. Vallecillo, Analyzing Rule-Based Behavioral Semantics of Visual Modeling Languages with Maude, vol.21, 2008.

W. Reisig, Petri nets : an introduction, vol.21, 1985.

M. Richters and M. Gogolla, OCL : Syntax, semantics, and tools, Object Modeling with the OCL : The Rationale behind the Object Constraint Language, p.49, 2002.

G. Rozenberg, Handbook of graph grammars and computing by graph transformation : volume I. foundations, p.20, 1997.

J. , R. Romero, J. E. Rivera, F. Duran, and A. Vallecillo, Formal and Tool Support for Model Driven Engineering with Maude, Journal of Object Technology, vol.6, issue.9, p.187207, 2007.

E. José, A. Rivera, and . Vallecillo, Adding behavioral semantics to models, EDOC 2007, vol.21, p.169180, 2007.

D. Steinberg, F. Budinsky, M. Paternostro, and E. Merks, EMF : Eclipse Modeling Framework 2.0, p.37, 2009.

E. Seidewitz, What models mean, IEEE Software, vol.20, issue.5, p.2632, 2003.

R. Soley, Draft 3.2. Object Management Group, Inc, vol.9, 2000.

G. Taentzer, AGG : A Graph Transformation Environment for Modeling and Validation of Software, Proceedings of the Second International Workshop on Applications of Graph Transformations with Industrial Relevance (AGTIVE), vol.3062, p.20, 2003.

M. Utting and B. Legeard, Practical Model-Based Testing : A Tools Approach, p.37, 2007.

G. Winskel, The formal semantics of programming languages : an introduction, vol.18, 1993.

J. Warmer and A. Kleppe, The Object Constraint Language : Getting Your Models Ready for MDA, p.16, 2003.

. .. Relations-entre-système, , vol.4

C. De and J. L. Borges-dans-l'aleph, , vol.4

, Citation de Carroll Lewis dans The Hunting of the Snark

.. .. Modéliser,

, Concevoir revient à tisser des modèles

P. .. De-modélisation-de-l'omg, MDA : Un processus en Y dirigé par les modèles

.. .. Composantes-d'un-langage,

, Exemples de piles de modélisation

. .. Utilisations-;-d'ocl,

. .. , Sémantiques opérationnelle et dénotationnelle (ou par traduction), p.19

, Types de transformation et leurs principales utilisations

, Classes de transformation de modèle

, Principes de la transformation de modèle

. Architecture and . .. Qvt,

. .. Interopérabilité-entre-systèmes,

. .. , Organisation des activités de modélisation et de métamodélisation, p.34

. .. , Exemples d'outil pour un environnement de modélisation dédié, p.35

. .. , Processus de construction d'un environnement de modélisation, p.36

. Exemple and . .. Xmi,

. Syntaxes-arborescente and . .. Ecore, , p.42

. .. Métamodèle-;-du-langage-logo, , p.45

.. .. Elements-d'un-générateur-d'éditeur,

. Programme and . .. Xmi, , p.57

. .. Editeur-textuel-généré-avec-emftext-pour-le-métamodèle-logo, , p.58

. .. Conguration-permettant-de-générer-un-modeleur-logo, , p.60

. Exemple and . .. Topcased, , p.61

. .. , Exemple de structure proches : Propriété ordonnée vs Liste chainée, p.61

, Sémantique de l'aectation dans la métamodélisation

, Modèle de l'environnement d'exécution des programmes Logo

.. .. Une-tortue-lego-mindstorms,

, Dénition d'un compilateur : patron du visiteur vs

, 44 6.2 Tissage de la sémantique statique dans le métamodèle Logo

.. .. Contraintes-ocl-du-métamodèle-logo,

. .. Extrait-de-la-syntaxe-textuelle-de-logo-en-emftext, , p.58

.. .. Opérations-en-kermeta-du-domaine-sémantique-de-logo,

. .. Dénition-d'un-interpréteur-de-modèle-en-kermeta, , p.68

. .. , Code Kermeta de l'observateur pour une simulation graphique, p.69

. .. Dénition-en-kermeta-d'un-compilateur-pour-logo, 76 9.2 Utilisation d'un compilateur

. .. -nxc, Utilisation de KET pour la transformation Logo-vers, vol.77, p.39