53 3.2.1 Basic Requirements 53 3.2.2 Dening Model Types, Matching Multiplicities, p.57 ,
68 3.3.5 Changes to the Kermeta Standard Library, p.75 ,
76 3.4.1 Model Types for State Machine variants, State Machine Operators, p.77 ,
Model-driven development: a metamodeling foundation, IEEE Software, vol.20, issue.5, p.3641, 2003. ,
DOI : 10.1109/MS.2003.1231149
Cayenne -a language with dependent types, Advanced Functional Programming, p.240267, 1999. ,
The ATL Transformation-based Model Management Framework, 2003. ,
Summary of the Workshop Models@run.time at MoDELS Satellite Events at the MoDELS, Conference, p.226230, 2006. ,
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
Reective Model Driven Engineering, Proceedings of the 6th International Conference on the Unied Modeling Language, Modeling Languages and Applications, p.175189, 2003. ,
Meta Object Facilities and their Role in Distributed Information Management Systems, BIBLIOGRAPHIE Proceedings of the EPS ICALEPCS97 conference, 1997. ,
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. ,
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
Tutorial introduction to graph transformation : A software engineering perspective, Proc. 1st International Conference on Graph Transformation, ICGT'02, p.402429, 2002. ,
On the need for megamodels, OOPSLA and GPCE Workshop on Best Practices for Model Driven Software Development, 2004. ,
Object-oriented analysis and design with applications, 1994. ,
Foundations of Object-Oriented Languages, Information and Computation, vol.172, issue.1, 2002. ,
DOI : 10.1006/inco.2001.2931
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
Eclipse Modeling Framework. Eclipse Series, 2003. ,
Polytoil : A type-safe polymorphic object-oriented language, ACM Transactions on Programming Languages and Systems (TOPLAS), vol.25, issue.2, p.225290, 2003. ,
Semantics-driven language design : Statically type-safe virtual types in object-oriented languages, Electronic Notes in Theoretical Computer Science, vol.20, 1999. ,
First-class relationships in an object-oriented language, 19th European Conference on Object-Oriented Programming, p.262286, 2005. ,
Object-oriented programming, Progress in Theoretical Computer Science. Birkhäuser, 1997. ,
DOI : 10.1007/978-1-4612-4138-6_3
Meta-meta is better-better, Proceedings, Working Conference on Distributed Applications and Information Systems, 1997. ,
Tribe, Proceedings of the 6th international conference on Aspect-oriented software development , AOSD '07, 2007. ,
DOI : 10.1145/1218563.1218578
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
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
Feature-based survey of model transformation approaches, IBM Systems Journal, vol.45, issue.3, p.621646, 2006. ,
DOI : 10.1147/sj.453.0621
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
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
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. ,
A virtual class calculus, Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, p.270282, 2006. ,
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
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
Langage et méthode pour une ingénierie des modèles able, 2006. ,
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. ,
Design patterns : elements of reusable object-oriented software, 1995. ,
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
Smalltalk-80 : the language and its implementation, 1983. ,
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. ,
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
Anti-Yacc: MOF-to-text, Proceedings. Sixth International Enterprise Distributed Object Computing, 2002. ,
DOI : 10.1109/EDOC.2002.1137709
Foundations for virtual types, Information and Computation, vol.175, issue.1, p.3449, 2002. ,
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
Lightweight Family Polymorphism, Proceedings, The Third Asian Symposium on Programming Languages and Systems (APLAS), p.161177, 2005. ,
DOI : 10.1007/11575467_12
Object-oriented software engineering, 1991. ,
Simple dependent types : Concord, ECOOP Workshop on Formal Techniques for Java Programs, 2004. ,
Model transformation by graph transformation : A comparative study, MoDELS 2005 Workshop on Model Transformation in Practice (MTiP), 2005. ,
Aspects Comportementaux et Tissage, 2006. ,
URL : https://hal.archives-ouvertes.fr/tel-00538382
The beta programming language, Research Directions in Object-Oriented Programming, p.48, 1987. ,
On decidability of nominal subtyping with variance, International Workshop on Foundations and Developments of Object-Oriented Languages (FOOL/WOOD'07), 2007. ,
The Art of the Metaobject Protocol, 1991. ,
The Rational Unied Process : An Introduction ,
Matters of (Meta-) Modeling, Software & Systems Modeling, vol.20, issue.5, p.395401, 2006. ,
DOI : 10.1007/s10270-006-0017-9
Evaluating Support for Features in Advanced Modularization Technologies, Proceedings of the 19th European Conference on Object- Oriented Programming, p.169194, 2005. ,
Subclassing = subtyping = isa, Journal of Object-Oriented Programming, vol.3, issue.5, p.5762, 1991. ,
Practical Declarative Model Transformation with Tefkat, Satellite Events at the MoDELS, 2005. ,
DOI : 10.1007/11663430_15
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
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
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
The view from the left, Journal of Functional Programming, vol.14, issue.1, p.69111, 2004. ,
DOI : 10.1017/S0956796803004829
Virtual classes : A powerful mechanism in object-oriented programming, Proceedings , Conference on Object-Oriented Programming : Systems, Languages, and Applications, p.397406, 1989. ,
SEX LIMITED INHERITANCE IN DROSOPHILA, Science, vol.32, issue.812, p.120122, 1910. ,
DOI : 10.1126/science.32.812.120
Modular structural operational semantics, Journal of Logic and Algebraic Programming, vol.60, 2004. ,
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
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
Systems Engineering with SDL-92, 1995. ,
Scalable component abstractions, Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2005), p.4157, 2005. ,
Types and Programming Languages, 2002. ,
A Type Theoretic Framework for Formal Metamodelling, Architecting Systems with Trustworthy Components, p.262298, 2004. ,
DOI : 10.5381/jot.2002.1.4.c4
The meta-object facility typed, Proceedings of the 2006 ACM symposium on Applied computing , SAC '06, p.18451849, 2006. ,
DOI : 10.1145/1141277.1141710
Une architecture pour les transformations de modèles et la restructuration de modèles UML, 2005. ,
Revised submission for MOF 2.0 Query/- Views/Transformations RFP. OMG document number ad, pp.2005-2008, 2005. ,
Object-oriented modeling and design, 1991. ,
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
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
Agile test-based modeling, Proceedings, International Conference on Software Engineering Research and Practice, p.1015, 2006. ,
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. ,
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
Types in MDA, Second European Workshop on Model-Driven Architecture (EW-MDA2), 2004. ,
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. ,
A core calculus of metaclasses, Fundamentals of Object-Oriented Languages (FOOL) 2005, 2005. ,
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
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
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
89 4.5 Inheriting from a type parameter is potentially problematic . . . . 90 A.1 State Machine Simulation, 103 A.2 State Machine Determinisation ,
Declarative Transformation of Object-Oriented Models, Transformation of Knowledge, Information and Data : Theory and Applications. IDEA Group Publishing, 2004. ,
Model Transformation : The Missing Link of MDA, Proceedings , 1 st International Conference on Graph Transformation, 2002. ,
Anti-Yacc: MOF-to-text, Proceedings. Sixth International Enterprise Distributed Object Computing, 2002. ,
DOI : 10.1109/EDOC.2002.1137709
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
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
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
Model Typing for Improving Reuse in Model-Driven Engineering, 2005. ,
DOI : 10.1007/11557432_7
URL : https://hal.archives-ouvertes.fr/hal-00795081
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
Modelware for Middleware, Proceedings, Middleware Workshop on Model-driven Approaches to Middleware Applications Development, 2003. ,
Typing Relatinoships in MDA. 2 nd European Workshop on Model-Driven Architecture (EWMDA-2), 2004. ,
Roundtable Report : Types in MDA. 2 nd European Workshop on Model-Driven Architecture (EWMDA-2), 2004. ,
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
Practical Declarative Model Transformation with Tefkat. MoDELS 2005 Workshop on Model Transformation in Practice (MTiP'05), 2005. ,