.. Requirements-for-model-types-in-kermeta, 53 3.2.1 Basic Requirements 53 3.2.2 Dening Model Types, Matching Multiplicities, p.57

A. Algorithm-for-model-type-matching and .. , 68 3.3.5 Changes to the Kermeta Standard Library, p.75

.. Example:-the-state-machine-workbench, 76 3.4.1 Model Types for State Machine variants, State Machine Operators, p.77

C. Atkinson and T. Kühne, Model-driven development: a metamodeling foundation, IEEE Software, vol.20, issue.5, p.3641, 2003.
DOI : 10.1109/MS.2003.1231149

A. Augustsson, Cayenne -a language with dependent types, Advanced Functional Programming, p.240267, 1999.

J. Bézivin, E. Breton, G. Dupé, and P. Valduriez, The ATL Transformation-based Model Management Framework, 2003.

[. Bencomo, G. Blair, and R. France, Summary of the Workshop Models@run.time at MoDELS Satellite Events at the MoDELS, Conference, p.226230, 2006.

[. Besson, T. De-grenier-de-latour, and T. Jensen, Secure calling contexts for stack inspection, Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming , PPDP '02, p.7687, 2002.
DOI : 10.1145/571157.571166

J. Bézivin, N. Farcet, J. Jézéquel, B. Langlois, and D. Pollet, Reective Model Driven Engineering, Proceedings of the 6th International Conference on the Unied Modeling Language, Modeling Languages and Applications, p.175189, 2003.

J. Baker and . Go, Meta Object Facilities and their Role in Distributed Information Management Systems, BIBLIOGRAPHIE Proceedings of the EPS ICALEPCS97 conference, 1997.

[. Boudier, F. Gallo, R. Minot, and I. Thomas, An overview of PCTE and PCTE+, SDE 3 : Proceedings of the 3rd ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, p.248257, 1988.

[. Blanc, M. Gervais, and P. Sriplakich, Model Bus: Towards the Interoperability of Modelling Tools, European Workshop on Model Driven Architecture : Foundations and Applications, p.1732, 2004.
DOI : 10.1007/11538097_2

L. Baresi and R. Heckel, Tutorial introduction to graph transformation : A software engineering perspective, Proc. 1st International Conference on Graph Transformation, ICGT'02, p.402429, 2002.

J. Bézivin, F. Jouault, and P. Valduriez, On the need for megamodels, OOPSLA and GPCE Workshop on Best Practices for Model Driven Software Development, 2004.

G. Booch, Object-oriented analysis and design with applications, 1994.

K. B. Bruce, Foundations of Object-Oriented Languages, Information and Computation, vol.172, issue.1, 2002.
DOI : 10.1006/inco.2001.2931

K. B. Bruce, Some Challenging Typing Issues in Object-Oriented Languages, Electronic Notes in Theoretical Computer Science, vol.82, issue.8, 2003.
DOI : 10.1016/S1571-0661(04)80799-0

F. Budinsky, D. Steinberg, E. Merks, R. Ellersick, and T. J. Grose, Eclipse Modeling Framework. Eclipse Series, 2003.

B. Kim, A. Bruce, R. Schuett, A. Van-gent, and . Fiech, Polytoil : A type-safe polymorphic object-oriented language, ACM Transactions on Programming Languages and Systems (TOPLAS), vol.25, issue.2, p.225290, 2003.

B. Kim, J. Bruce, and . Vanderwaart, Semantics-driven language design : Statically type-safe virtual types in object-oriented languages, Electronic Notes in Theoretical Computer Science, vol.20, 1999.

M. Gavin, A. Bierman, and . Wren, First-class relationships in an object-oriented language, 19th European Conference on Object-Oriented Programming, p.262286, 2005.

G. Castagna, Object-oriented programming, Progress in Theoretical Computer Science. Birkhäuser, 1997.
DOI : 10.1007/978-1-4612-4138-6_3

S. Crawley, S. Davis, J. Indulska, S. Mcbride, and K. Raymond, Meta-meta is better-better, Proceedings, Working Conference on Distributed Applications and Information Systems, 1997.

D. Clarke, S. Drossopoulou, J. Noble, and T. Wrigstad, Tribe, Proceedings of the 6th international conference on Aspect-oriented software development , AOSD '07, 2007.
DOI : 10.1145/1218563.1218578

[. Czarnecki and U. W. Eisenecker, Generative Programming, 2000.
DOI : 10.1007/3-540-36208-8_2

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.387.6297

[. Cremet, F. Garillot, S. Lenglet, and M. Odersky, A Core Calculus for Scala Type Checking, Proceedings , 31st International Symposium on Mathematical Foundations of Computer Science, p.123, 2006.
DOI : 10.1007/11821069_1

URL : https://hal.archives-ouvertes.fr/hal-00903812

[. Czarnecki and S. Helsen, Feature-based survey of model transformation approaches, IBM Systems Journal, vol.45, issue.3, p.621646, 2006.
DOI : 10.1147/sj.453.0621

W. R. Cook, W. L. Hill, and P. S. Canning, Inheritance is not subtyping, Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '90, p.125135, 1990.
DOI : 10.1145/96709.96721

[. Cuadrado, J. García-molina, and M. M. Tortosa, RubyTL: A Practical, Extensible Transformation Language, Proceedings, 2nd European Conference on Model Driven Architecture -Foundations and Applications (ECMDA-FA 2006), p.158172, 2006.
DOI : 10.1007/11787044_13

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.160.5153

P. Gerber, M. J. Lawley, K. Raymond, J. S. , K. Duddy et al., Using smalltalk as a reective executable meta-language Model transformation : A declarative, reusable patterns approach Declarative transformation for object-oriented models Flexible interconnection of graph transformation modules, Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA) Proceedings, 9th International Conference on Model-Driven Engineering Languages and SystemsDGL + 03] Keith Duddy Proceedings, 7th IEEE International Enterprise Distributed Object Computing Conference Transformation of Knowledge, Information , and Data : Theory and Applications. Idea Group Publishing Formal Methods in Software and Systems Modeling Daniel Jackson, and Emina Torlak. A type system for object models SIGSOFT '04/FSE-12 : Proceedings of the 12th ACM SIGSOFT 12th International Symposium on Foundations of Software Engineering, pp.156162-604618, 1987.

E. Ernst, K. Ostermann, and W. R. Cook, A virtual class calculus, Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, p.270282, 2006.

E. Ernst, gbeta - a Language with Virtual Attributes, Block Structure, and Propagating, Dynamic Inheritance, DAIMI Report Series, vol.29, issue.549, 1999.
DOI : 10.7146/dpb.v29i549.7654

E. Ernst, Family Polymorphism, ECOOP '01 : Proceedings of the 15th European Conference on Object-Oriented Programming, p.303326, 2001.
DOI : 10.1007/3-540-45337-7_17

[. Fleurey, Langage et méthode pour une ingénierie des modèles able, 2006.

[. Fleurey, J. Steel, and B. Baudry, MDE and validation : Testing model transformations, Proc. of the SIVOES- Modeva workshop, SIVOES (Specication Implementat ion and Validation Of Embedded Systems)-MoDeVa (Model Design and Validation), 2004.

R. [. Gamma, R. Helm, J. Johnson, and . Vlissides, Design patterns : elements of reusable object-oriented software, 1995.

A. Gerber, M. J. Lawley, K. Raymond, J. Steel, and A. Wood, Transformation: The Missing Link of MDA, Proc. 1st International Conference on Graph Transformation, ICGT'02, p.90105, 2002.
DOI : 10.1007/3-540-45832-8_9

A. Goldberg and D. Robson, Smalltalk-80 : the language and its implementation, 1983.

[. Heckel, G. Engels, H. Ehrig, and G. Taentzer, Classication and comparison of module concepts for graph transformation systems Handbook of graph grammars and computing by graph transformation, applications , languages, and tools, p.669689, 1999.

[. Hearnden, M. Lawley, and K. Raymond, Incremental Model Transformation for the Evolution of Model-Driven Systems, Proceedings, 9th International Conference on Model-Driven Engineering Languages and Systems, p.321335, 2006.
DOI : 10.1007/11880240_23

[. Hearnden, K. Raymond, and J. Steel, Anti-Yacc: MOF-to-text, Proceedings. Sixth International Enterprise Distributed Object Computing, 2002.
DOI : 10.1109/EDOC.2002.1137709

A. Igarashi and B. C. Pierce, Foundations for virtual types, Information and Computation, vol.175, issue.1, p.3449, 2002.

A. Igarashi, B. C. Pierce, and P. Wadler, Featherweight Java: a minimal core calculus for Java and GJ, ACM Transactions on Programming Languages and Systems, vol.23, issue.3, pp.396-450, 2001.
DOI : 10.1145/503502.503505

A. Igarashi, C. Saito, and M. Viroli, Lightweight Family Polymorphism, Proceedings, The Third Asian Symposium on Programming Languages and Systems (APLAS), p.161177, 2005.
DOI : 10.1007/11575467_12

[. Jacobson, Object-oriented software engineering, 1991.

[. Jolly, S. Drossopoulou, C. Anderson, and K. Ostermann, Simple dependent types : Concord, ECOOP Workshop on Formal Techniques for Java Programs, 2004.

A. Königs, Model transformation by graph transformation : A comparative study, MoDELS 2005 Workshop on Model Transformation in Practice (MTiP), 2005.

J. Klein, Aspects Comportementaux et Tissage, 2006.
URL : https://hal.archives-ouvertes.fr/tel-00538382

O. L. Bent-bruun-kristensen, B. Madsen, K. Møller-pedersen, and . Nygaard, The beta programming language, Research Directions in Object-Oriented Programming, p.48, 1987.

A. Kennedy and B. C. Pierce, On decidability of nominal subtyping with variance, International Workshop on Foundations and Developments of Object-Oriented Languages (FOOL/WOOD'07), 2007.

[. Kiczales, J. D. Rivières, and D. G. Bobrow, The Art of the Metaobject Protocol, 1991.

]. P. Kru03 and . Kruchten, The Rational Unied Process : An Introduction

[. Kühne, Matters of (Meta-) Modeling, Software & Systems Modeling, vol.20, issue.5, p.395401, 2006.
DOI : 10.1007/s10270-006-0017-9

E. Roberto, D. Lopez-herrejon, W. Batory, and . Cook, Evaluating Support for Features in Advanced Modularization Technologies, Proceedings of the 19th European Conference on Object- Oriented Programming, p.169194, 2005.

[. Lalonde and J. Pugh, Subclassing = subtyping = isa, Journal of Object-Oriented Programming, vol.3, issue.5, p.5762, 1991.

M. Lawley and J. Steel, Practical Declarative Model Transformation with Tefkat, Satellite Events at the MoDELS, 2005.
DOI : 10.1007/11663430_15

P. Muller, F. Fleurey, F. Fondement, M. Hassenforder, R. Schneckenburger et al., Model-driven analysis and synthesis of concrete syntax, Proceedings, 9th International Conference on Model-Driven Engineering Languages and Systems, p.98110, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00795597

P. Muller, F. Fleurey, and J. Jézéquel, Weaving Executability into Object-Oriented Meta-languages, Proceedings , 8th International Conference on Model-Driven Engineering Languages and Systems, p.264278, 2005.
DOI : 10.1007/11557432_19

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, MoDELS 2005 Workshop on Model Transformation in Practice (MTiP), 2005.
URL : https://hal.archives-ouvertes.fr/inria-00000381

[. Mcbride and J. Mckinna, The view from the left, Journal of Functional Programming, vol.14, issue.1, p.69111, 2004.
DOI : 10.1017/S0956796803004829

O. Lehrmann-madsen and B. Møller-pedersen, Virtual classes : A powerful mechanism in object-oriented programming, Proceedings , Conference on Object-Oriented Programming : Systems, Languages, and Applications, p.397406, 1989.

[. Morgan, SEX LIMITED INHERITANCE IN DROSOPHILA, Science, vol.32, issue.812, p.120122, 1910.
DOI : 10.1126/science.32.812.120

D. Peter and . Mosses, Modular structural operational semantics, Journal of Logic and Algebraic Programming, vol.60, 2004.

[. Nebut, B. Baudry, S. Kamoun, and W. A. Saeed, Multi-language support for model-driven requirement analysis and test generation, ECMDA workshop on Integration of Model Driven Development and Model Driven Testing, 2006.
URL : https://hal.archives-ouvertes.fr/lirmm-00135794

[. Odersky, V. Cremet, C. Röckl, and M. Zenger, A Nominal Theory of Objects with Dependent Types, Proceedings , 17th European Conference on Object-Oriented Programming volume 2743 of LNCS, p.201224, 2003.
DOI : 10.1007/978-3-540-45070-2_10

A. Olsen, O. Faergemand, B. Møller-pedersen, R. Reed, and J. R. Smith, Systems Engineering with SDL-92, 1995.

M. Odersky and M. Zenger, Scalable component abstractions, Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2005), p.4157, 2005.

C. Benjamin and . Pierce, Types and Programming Languages, 2002.

[. Poernomo, A Type Theoretic Framework for Formal Metamodelling, Architecting Systems with Trustworthy Components, p.262298, 2004.
DOI : 10.5381/jot.2002.1.4.c4

[. Poernomo, The meta-object facility typed, Proceedings of the 2006 ACM symposium on Applied computing , SAC '06, p.18451849, 2006.
DOI : 10.1145/1141277.1141710

D. Pollet, Une architecture pour les transformations de modèles et la restructuration de modèles UML, 2005.

[. Group, Revised submission for MOF 2.0 Query/- Views/Transformations RFP. OMG document number ad, pp.2005-2008, 2005.

J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen, Object-oriented modeling and design, 1991.

T. Richner and S. Ducasse, Recovering high-level views of object-oriented applications from static and dynamic information, Proceedings IEEE International Conference on Software Maintenance, 1999 (ICSM'99). 'Software Maintenance for Business Change' (Cat. No.99CB36360), p.1322, 1999.
DOI : 10.1109/ICSM.1999.792487

[. Rumpe, Model-Based Testing of Object-Oriented Systems, Proceedings, Formal Methods for Components and Objects (FM- CO'02), 2003.
DOI : 10.1007/978-3-540-39656-7_16

[. Rumpe, Agile test-based modeling, Proceedings, International Conference on Software Engineering Research and Practice, p.1015, 2006.

S. Sendall, Combining generative and graph transformation techniques for model transformation : An eective alliance ? Model-based test driven development of the tefkat model-transformation engine, BIBLIOGRAPHIE Proceedings of 2nd OOPSLA Workshop on Generative Techniques in the context of Model Driven Architecture Proceedings, 15th International Symposium on Software Reliability Engineering, p.151160, 2003.

J. Steel and K. Raymond, Generating human-usable textual notations for information models, Proceedings Fifth IEEE International Enterprise Distributed Object Computing Conference, p.250261, 2001.
DOI : 10.1109/EDOC.2001.950444

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.10.3863

J. Steel, Types in MDA, Second European Workshop on Model-Driven Architecture (EW-MDA2), 2004.

G. Taentzer, K. Ehrig, E. Guerra, J. De-lara, L. Lengyel et al., Ulrike Prange, Daniel Varro, and Szilvia Varro-Gyapay. Model transformation by graph transformation : A comparative study, MoDELS 2005 Workshop on Model Transformation in Practice (MTiP), 2005.

[. Tobin-hochstadt and E. Allen, A core calculus of metaclasses, Fundamentals of Object-Oriented Languages (FOOL) 2005, 2005.

[. Tolvanen and M. Rossi, MetaEdit+ : dening and using domain-specic modeling languages and code generators, Companion of the 18th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), p.9293, 2003.
DOI : 10.1007/11763864_41

L. Tratt, Model transformations and tool integration, Software and Systems Modeling (SoSyM), p.112122, 2005.
DOI : 10.1145/242224.242477

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.59.9502

[. Vallecillo, T. Vasco, A. Vasconcelos, and . Ravara, Typing the Behavior of Objects and Components using Session Types, Electronic Notes in Theoretical Computer Science, vol.68, issue.3, p.118, 2003.
DOI : 10.1016/S1571-0661(05)80382-2

O. Operator-centric-approach, 89 4.5 Inheriting from a type parameter is potentially problematic . . . . 90 A.1 State Machine Simulation, 103 A.2 State Machine Determinisation

C. 1. Book, A. Keith-duddy, M. J. Gerber, K. Lawley, J. Raymond et al., Declarative Transformation of Object-Oriented Models, Transformation of Knowledge, Information and Data : Theory and Applications. IDEA Group Publishing, 2004.

A. Gerber, M. J. Lawley, K. Raymond, J. Steel, and A. Wood, Model Transformation : The Missing Link of MDA, Proceedings , 1 st International Conference on Graph Transformation, 2002.

D. Hearnden, K. Raymond, and J. Steel, Anti-Yacc: MOF-to-text, Proceedings. Sixth International Enterprise Distributed Object Computing, 2002.
DOI : 10.1109/EDOC.2002.1137709

D. Hearnden, K. Raymond, and J. Steel, MQL: a powerful extension to OCL for MOF queries, Seventh IEEE International Enterprise Distributed Object Computing Conference, 2003. Proceedings., 2003.
DOI : 10.1109/EDOC.2003.1233855

K. Duddy, A. Gerber, M. J. Lawley, K. Raymond, and J. Steel, Model Transformation : A declarative, reusable patterns ap- Publications proach, Proceedings, 7 th International Conference on Enterprise Distributed Object Computing, 2003.
DOI : 10.1109/edoc.2003.1233847

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.566.9459

J. Steel and M. Lawley, Model-Based Test Driven Development of the Tefkat Model-Transformation Engine, 15th International Symposium on Software Reliability Engineering, 2004.
DOI : 10.1109/ISSRE.2004.23

J. Steel and J. Jézéquel, Model Typing for Improving Reuse in Model-Driven Engineering, 2005.
DOI : 10.1007/11557432_7

URL : https://hal.archives-ouvertes.fr/hal-00795081

E. Brottier, F. Fleurey, J. Steel, B. Baudry, and Y. L. Traon, Metamodel-based Test Generation for Model Transformations: an Algorithm and a Tool, 2006 17th International Symposium on Software Reliability Engineering, 2006.
DOI : 10.1109/ISSRE.2006.27

K. Duddy, A. Gerber, M. J. Lawley, K. Raymond, and J. Steel, Modelware for Middleware, Proceedings, Middleware Workshop on Model-driven Approaches to Middleware Applications Development, 2003.

J. Steel and J. Jézéquel, Typing Relatinoships in MDA. 2 nd European Workshop on Model-Driven Architecture (EWMDA-2), 2004.

J. Steel, Roundtable Report : Types in MDA. 2 nd European Workshop on Model-Driven Architecture (EWMDA-2), 2004.

F. Fleurey, J. Steel, and B. Baudry, Validation in model-driven engineering: testing model transformations, Proceedings. 2004 First International Workshop on Model, Design and Validation, 2004., 2004.
DOI : 10.1109/MODEVA.2004.1425846

M. Lawley and J. Steel, Practical Declarative Model Transformation with Tefkat. MoDELS 2005 Workshop on Model Transformation in Practice (MTiP'05), 2005.