, Compiler
, * This is the implementation of a LOGO Turtle for NXT 10 * Author : John Doe 11 * License : GPL 12 */ 3. cf
, L'Ingénierie Dirigée par les Modèles : au-delà du MDA. Informatique et Systèmes d'Information, 2006.
, MDA en action. EYROLLES, mars 2005
URL : https://hal.archives-ouvertes.fr/hal-01418176
The Object Constraint Language : Getting Your Models Ready for MDA, 2003. ,
, Software Product Line Engineering : Foundations, Principles and Techniques, 2005.
MDA Explained. The Model Driven Architecture : Practice and Promise, 2003. ,
, Generative programming : methods, tools, and applications, 2000.
EMF : Eclipse Modeling Framework 2.0, 2009. ,
,
Model-Driven Development : A Metamodeling Foundation, IEEE Software, vol.20, issue.5, p.3641, 2003. ,
, Compilers : Principles, Techniques, and Tools, p.13, 1986.
, INRIA ATLAS. KM3 : Kernel MetaMetaModel, p.15, 2005.
Theme : An approach for aspect-oriented analysis and design, Proceedings of the 26th International Conference on Software Engineering, ICSE '04, p.158167, 2004. ,
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. ,
La transformation de modèles, 2003. ,
, Search of a Basic Principle for Model Driven Engineering. CEPIS, UPGRADE, The European Journal for the Informatics Professional, p.2124, 2004.
Sur les principes de base de l'ingénierie des modèles, RSTI-L'Objet, vol.10, issue.4, pp.145-157, 2004. ,
On the unication power of models, Software and System Modeling (SoSym), vol.4, p.171188, 2005. ,
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. ,
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. ,
Model-based Technology Integration with the Technical Space Concept, Metainformatics Symposium, 2005. ,
URL : https://hal.archives-ouvertes.fr/hal-00483587
MDA en action. EYROLLES, p.10, 2005. ,
URL : https://hal.archives-ouvertes.fr/hal-01418176
Eclipse Modeling Framework : A Developer's Guide, 2003. ,
Essay on Semantics Denition in MDE. An Instrumented Approach for Model Verication, Journal of Software, vol.4, issue.9, p.943958, 2009. ,
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. ,
Applied Metamodelling A Foundation for Language Driven Development ,
Classication of Model Transformation Approaches, OOPSLA'03 Workshop on Generative Techniques in the Context of Model-Driven Architecture, p.26, 2003. ,
Multijava : Modular open classes and symmetric multiple dispatch for java, OOPSLA 2000 Conference on Object-Oriented Programming, Systems, Languages, and Applications, p.43, 2000. ,
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. ,
Simulation et vérication de modèle par métamodélisation exécutable. Editions Universitaires Européennes, p.22, 2010. ,
The txl source transformation language, Sci. Comput. Program, vol.61, issue.3, p.79, 2006. ,
Methods and Logics for Proving Programs, Handbook of theoretical computer science, p.15, 1990. ,
Semantic Anchoring with Model Transformations, Proceedings of the First European Conference Model Driven Architecture -Foundations and Applications (ECMDA-FA), vol.3748, p.115129, 2005. ,
Applied Metamodelling A Foundation for Language Driven Development, p.22, 2008. ,
, SUPERLANGUAGES Developing Languages and Applications with XMF. First Edition, p.20, 2008.
Dynamic meta modeling : A graphical approach to the operational semantics of behavioral diagrams in UML, UML'00, volume 1939 of LNCS, p.20, 2000. ,
L'Ingénierie Dirigée par les Modèles : au-delà du MDA. Informatique et Systèmes d'Information, Hermes Science, 2006. ,
Aspect-oriented programming is quantication and obliviousness, vol.6, p.2135, 2000. ,
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
Story diagrams : A new graph transformation language based on UML and Java, TAGT'98, vol.1764, p.20, 1998. ,
Design Patterns. Elements of Reusable Object-Oriented Software, vol.3, 1995. ,
Design patterns : elements of reusable object-oriented software, vol.67, p.47, 1995. ,
Transformation : The Missing Link of MDA, Proceedings of the First International Conference on Graph Transformation (ICGT), vol.2505, p.90105, 2002. ,
A semantic framework for metamodel-based languages, Autom. Softw. Eng, vol.16, issue.3-4, p.415454, 2009. ,
Dynamic Meta Modeling A Semantics Description Technique for Visual Modeling Languages, 2005. ,
Modeling Languages : Syntax, Semantics and All That Stu, Part I : The Basic Stu, Mathematics & Computer Science, vol.18, 2000. ,
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. ,
Meaningful Modeling : What's the Semantics of, Semantics" ? Computer, vol.37, issue.10, p.13, 2004. ,
Empirical assessment of mde in industry, Proceedings of the 33rd International Conference on Software Engineering (ICSE 2011), p.471480, 2011. ,
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. ,
Model Driven Design and Aspect Weaving, Journal of Software and Systems Modeling (SoSyM), vol.7, p.20, 2008. ,
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
Contribution à l'étude des langages de transformation de modèles, p.26, 2006. ,
From contracts to aspects in uml designs, Proc. of the Workshop on Aspect-Oriented Modeling with UML at AOSD'02, 2002. ,
Technological Spaces : An Initial Appraisal, CoopIS, DOA'2002 Federated Conferences, Industrial track, p.9, 2002. ,
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. ,
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. ,
MCC : A Model Transformation Environment, Proceedings of the First European Conference Model Driven Architecture -Foundations and Applications (ECMDA-FA), p.24, 2006. ,
Aspect-Oriented Programming, Proceedings of the 11th European Conference on Object-Oriented Programming, vol.1241, p.220242 ,
, , vol.3, 1997.
The Model Driven Architecture : Practice and Promise, p.10, 2003. ,
The Generic Modeling Environment, Proceedings of the IEEE Workshop on Intelligent Signal Processing (WISP), p.15, 2001. ,
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
, Semantics of OCL specied with QVT. Software and System Modeling, vol.7, p.20, 2008.
Applying "design by contract", IEEE Computer (Special Issue on Inheritance & Classication), vol.25, issue.10, p.4052, 1992. ,
, Eiel. Le Langage. Intereditions, vol.63, 1997.
Modeling modeling modeling. Software and Systems Modeling (SOSYM), vol.3, 2010. ,
URL : https://hal.archives-ouvertes.fr/inria-00538459
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
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
On executable meta-languages applied to model transformations, Model Transformations In Practice Workshop, p.64, 2005. ,
URL : https://hal.archives-ouvertes.fr/inria-00000381
Communication and concurrency, UK) Ltd, 1995. ,
Matter, mind, and models. Semantic Information Processing, pp.425-432, 1968. ,
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.
Software Product Line Engineering : Foundations, Principles and Techniques, 2005. ,
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
An action semantics for MOF 2.0, Proceedings of the 2006 ACM symposium on Applied computing (SAC), p.20, 2006. ,
Analyzing Rule-Based Behavioral Semantics of Visual Modeling Languages with Maude, vol.21, 2008. ,
Petri nets : an introduction, vol.21, 1985. ,
OCL : Syntax, semantics, and tools, Object Modeling with the OCL : The Rationale behind the Object Constraint Language, p.49, 2002. ,
Handbook of graph grammars and computing by graph transformation : volume I. foundations, p.20, 1997. ,
Formal and Tool Support for Model Driven Engineering with Maude, Journal of Object Technology, vol.6, issue.9, p.187207, 2007. ,
Adding behavioral semantics to models, EDOC 2007, vol.21, p.169180, 2007. ,
EMF : Eclipse Modeling Framework 2.0, p.37, 2009. ,
What models mean, IEEE Software, vol.20, issue.5, p.2632, 2003. ,
Draft 3.2. Object Management Group, Inc, vol.9, 2000. ,
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. ,
Practical Model-Based Testing : A Tools Approach, p.37, 2007. ,
The formal semantics of programming languages : an introduction, vol.18, 1993. ,
The Object Constraint Language : Getting Your Models Ready for MDA, p.16, 2003. ,
, , vol.4
, , vol.4
, Citation de Carroll Lewis dans The Hunting of the Snark
,
, Concevoir revient à tisser des modèles
MDA : Un processus en Y dirigé par les modèles ,
,
, Exemples de piles de modélisation
,
, 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
,
,
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 ,
,
, , p.42
, , p.45
,
, , p.57
, , p.58
, , p.60
, , 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
,
, Dénition d'un compilateur : patron du visiteur vs
, 44 6.2 Tissage de la sémantique statique dans le métamodèle Logo
,
, , p.58
,
, , p.68
Code Kermeta de l'observateur pour une simulation graphique, p.69 ,
76 9.2 Utilisation d'un compilateur ,
Utilisation de KET pour la transformation Logo-vers, vol.77, p.39 ,