[1] Roberto Acerbis, Aldo Bongio, Marco Brambilla, Massimo Tisi, Stefano Ceri, and Emanuele Tosetti. Developing eBusiness Solutions with a Model Driven Approach: The Case of Acer EMEA. In Luciano Baresi, Piero Fraternali, and Geert-Jan Houben, editors, Proceedings of the 7th International Conference Web Engineering (ICWE’07), volume 4607 of Lecture Notes in Computer Science, pages 539–544. Springer, 2007. Cited on page(s) 2
[2] Alfred V. Aho, Monica S. Lam, Ravi Sethi, and Jeffrey D. Ullman. Compilers: Principles, Techniques, & Tools, Second Edition. Addison-Wesley, 2007. Cited on page(s) 125
[3] Manoli Albert, Jordi Cabot, Cristina Gómez, and Vicente Pelechano. Automatic generation of basic behavior schemas from UML class diagrams. Software and System Modeling, 9(1):47–67, 2010. DOI: 10.1007/s10270-008-0108-x Cited on page(s) 27
[4] Scott Ambler. Agile Modeling: Effective Practices for eXtreme Programming and the Unified Process. Wiley, 2002. Cited on page(s) 52
[5] Dinesh Batra and George M. Marakas. Conceptual data modelling in theory and practice. European Journal on Information Systems, 4(3):185–193, 1995. DOI: 10.1057/ejis.1995.21 Cited on page(s) 18
[6] Benoit Baudry, Sudipto Ghosh, Franck Fleurey, Robert B. France, Yves Le Traon, and Jean-Marie Mottu. Barriers to systematic model transformation testing. Commun. ACM, 53(6):139–143, 2010. DOI: 10.1145/1743546.1743583 Cited on page(s) 154
[7] Kent Beck. Test-Driven Development by Example. Addison-Wesley Professional, 2002. Cited on page(s) 54
[8] Alex E. Bell. Death by UML Fever. Queue, 2(1):72–80, 2004. DOI: 10.1145/984458.984495 Cited on page(s) 67
[9] Jean Bézivin. On the unification power of models. Software and System Modeling, 4(2):171–188, 2005. DOI: 10.1007/s10270-005-0079-0 Cited on page(s) 8
[10] Mike Blechar and David Norton. Trends in Model-Driven Development, 4Q09-3Q10. Technical report, Gartner, 2009. Cited on page(s) 3
[11] Petra Brosch, Gerti Kappel, Philip Langer, Martina Seidl, Konrad Wieland, and Manuel Wimmer. An Introduction to Model Versioning. In Marco Bernardo, Vittorio Cortellessa, and Alfonso Pierantonio, editors, Advanced Lectures of 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems - Formal Methods for Model-Driven Engineering (SFM’12), volume 7320 of Lecture Notes in Computer Science, pages 336–398. Springer, 2012. Cited on page(s) 145, 146
[12] Petra Brosch, Philip Langer, Martina Seidl, Konrad Wieland, Manuel Wimmer, and Gerti Kappel. The Past, Present, and Future of Model Versioning. In Emerging Technologies for the Evolution and Maintenance of Software Models, pages 410–443. IGI Global, 2011. DOI: 10.4018/978-1-61350-438-3.ch015 Cited on page(s) 146
[13] Hugo Bruneliere, Jordi Cabot, Cauê Clasen, Frédéric Jouault, and Jean Bézivin. Towards Model Driven Tool Interoperability: Bridging Eclipse and Microsoft Modeling Tools. In Thomas Kühne, Bran Selic, Marie-Pierre Gervais, and François Terrier, editors, Proceedings of the 6th European Conference on Modelling Foundations and Applications (ECMFA’10), volume 6138 of Lecture Notes in Computer Science, pages 32–47. Springer, 2010. Cited on page(s) 34
[14] Richard M. Burton and Borge Obel. Strategic Organizational Diagnosis and Design. Kluwer Academic Publishers, 1998. DOI: 10.1007/978-1-4684-0021-2 Cited on page(s) 50
[15] Antonio Cicchetti, Davide Di Ruscio, Romina Eramo, and Alfonso Pierantonio. Automating Co-evolution in Model-Driven Engineering. In Proceedings of the 12th International IEEE Enterprise Distributed Object Computing Conference (EDOC’08), pages 222–231, Washington, DC, USA, 2008. IEEE Computer Society. DOI: 10.1109/EDOC.2008.44 Cited on page(s) 149
[16] Krzysztof Czarnecki and Simon Helsen. Feature-based Survey of Model Transformation Approaches. IBM Systems Journal, 45(3):621–645, 2006. DOI: 10.1147/sj.453.0621 Cited on page(s) 107
[17] Brian Dobing and Jeffrey Parsons. How UML is used. Commun. ACM, 49:109–113, 2006. DOI: 10.1145/1125944.1125949 Cited on page(s) 18
[18] Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, and GabrieleTaentzer. Fundamentals of Algebraic Graph Transformation. Springer, 2006. Cited on page(s) 116
[19] Eric Evans. Domain-driven design: tackling complexity in the heart of software. Addison-Wesley Professional, 2004. Cited on page(s) 53
[20] Jean-Marie Favre and Tam Nguyen. Towards a Megamodel to Model Software Evolution Through Transformations. Electr. Notes Theor. Comput. Sci., 127(3):59–74, 2005. DOI: 10.1016/j.entcs.2004.08.034 Cited on page(s) 150
[21] Andrew Forward and Timothy C. Lethbridge. Problems and Opportunities for Model-Centric Versus Code-Centric Development: a Survey of Software Professionals. In Proceedings of the International Workshop on Models in Software Engineering (MiSE´08) @ ICSE’08, pages 27–32, New York, 2008. ACM. DOI: 10.1145/1370731.1370738 Cited on page(s) 18
[22] Martin Fowler. UML Distilled: A Brief Guide to the Standard Object Modeling Language (3rd Edition). Addison-Wesley, 2003. Cited on page(s) 24
[23] Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley Professional, Boston, 1995. Cited on page(s) 62, 80, 129
[24] Anne Geraci. IEEE Standard Computer Dictionary: Compilation of IEEE Standard Computer Glossaries. The Institute of Electrical and Electronics Engineers Inc., 1991. Cited on page(s) 33
[25] Robert L. Glass. Loyal Opposition - Frequently Forgotten Fundamental Facts about Software Engineering. IEEE Software, 18(3):112–111, 2001. DOI: 10.1109/MS.2001.922739 Cited on page(s) 20
[26] Jonathan Grudin. Groupware and Social Dynamics: Eight Challenges for Developers. Commun. ACM, 37(1):92–105, 1994. DOI: 10.1145/175222.175230 Cited on page(s) 50
[27] Reiko Heckel, Jochen Malte Küster, and Gabriele Taentzer. Confluence of typed attributed graph transformation systems. In Andrea Corradini, Hartmut Ehrig, Hans-Jörg Kreowski, and Grzegorz Rozenberg, editors, Proceedings of the 1st International Conference on Graph Transformations (ICGT’02), volume 2505 of Lecture Notes in Computer Science, pages 161–176. Springer, 2002. Cited on page(s) 119
[28] Zhenjiang Hu, Andy Schürr, Perdita Stevens, and James F. Terwilliger. Dagstuhl seminar on bidirectional transformations (BX). SIGMOD Record, 40(1):35–39, 2011. DOI: 10.1145/2007206.2007217 Cited on page(s) 123
[29] John Hutchinson, Mark Rouncefield, and Jon Whittle. Model-driven engineering practices in industry. In Proceedings of the 33rd International Conference on Software Engineering (ICSE’11), pages 633–642, New York, 2011. ACM. DOI: 10.1145/1985793.1985882 Cited on page(s) 49
[30] ISO/IEC. 14977:1996(E) Information technology – Syntactic metalanguage – Extended BNF, International standard, 1996. Cited on page(s) 77
[31] Javier Luis Cánovas Izquierdo, Frédéric Jouault, Jordi Cabot, and Jesús García Molina. API2MoL: Automating the building of bridges between APIs and Model-Driven Engineering. Information & Software Technology, 54(3):257–273, 2012. DOI: 10.1016/j.infsof.2011.09.006 Cited on page(s) 34
[32] Ivar Jacobson, Grady Booch, and James Rumbaugh. The Unified Software Development Process. Addison-Wesley Professional, 1st edition, 1999. Cited on page(s) 51
[33] Cliff B. Jones, Peter W. O’Hearn, and Jim Woodcock. Verified Software: A Grand Challenge. IEEE Computer, 39(4):93–95, 2006. DOI: 10.1109/MC.2006.145 Cited on page(s) 152
[34] Frédéric Jouault. Loosely Coupled Traceability for ATL. In Proceedings of the International Workshop on Traceability @ ECMDA’05, pages 29–37, 2005. Cited on page(s) 114
[35] Frédéric Jouault, Freddy Allilaire, Jean Bézivin, and Ivan Kurtev. ATL: A model transformation tool. Sci. Comput. Program., 72(1-2):31–39, 2008. DOI: 10.1016/j.scico.2007.08.002 Cited on page(s) 109
[36] Frédéric Jouault and Massimo Tisi. Towards incremental execution of atl transformations. In Laurence Tratt and Martin Gogolla, editors, Proceedings of the 3rd International Conference on Theory and Practice of Model Transformations (ICMT’10), volume 6142 of Lecture Notes in Computer Science, pages 123–137. Springer, 2010. DOI: 10.1007/978-3-642-13688-7 Cited on page(s) 122
[37] Gabor Karsai, Holger Krahn, Claas Pinkernell, Bernhard Rumpe, Martin Schindler, and Steven Völkel. Design Guidelines for Domain Specific Languages. In Proceedings of the 9th OOPSLA Workshop on Domain-Specific Modeling (DSM’09), 2009. Cited on page(s) 84
[38] Steven Kelly and Risto Pohjonen. Worst Practices for Domain-Specific Modeling. IEEE Softw., 26:22–29, 2009. DOI: 10.1109/MS.2009.109 Cited on page(s) 71
[39] Anneke Kleppe. Software Language Engineering: Creating Domain-Specific Languages Using Metamodels. Addison-Wesley Professional, 1st edition, 2008. Cited on page(s) 79
[40] Dimitrios S. Kolovos, Davide Di Ruscio, Alfonso Pierantonio, and Richard F. Paige. Different models for model matching: An analysis of approaches to support model differencing. In Proceedings of the International Workshop on Comparison and Versioning of Software Models (CVSM’09) @ ICSE’09, pages 1–6, Washington, D.C., 2009. IEEE Computer Society. DOI: 10.1109/CVSM.2009.5071714 Cited on page(s) 145
[41] Thomas Kühne. Matters of (Meta-)Modeling. Software and System Modeling, 5(4):369–385, 2006. DOI: 10.1007/s10270-006-0017-9 Cited on page(s) 78, 83
[42] Stephen J. Mellor and Marc J. Balcer. Executable UML: A Foundation for Model-Driven Architecture. Addison-Wesley, 2002. Cited on page(s) 27
[43] Tom Mens and Pieter Van Gorp. A Taxonomy of Model Transformation. Electr. Notes Theor. Comput. Sci., 152:125–142, 2006. DOI: 10.1016/j.entcs.2005.10.021 Cited on page(s) 107, 108
[44] Bart Meyers and Hans Vangheluwe. A framework for evolution of modelling languages. Sci. Comput. Program., 76(12):1223–1246, 2011. DOI: 10.1016/j.scico.2011.01.002 Cited on page(s) 149
[45] Daniel L. Moody. The "Physics" of Notations: Toward a Scientific Basis for Constructing Visual Notations in Software Engineering. IEEE Trans. Software Eng., 35(6):756–779, 2009. DOI: 10.1109/TSE.2009.67 Cited on page(s) 94
[46] Tien N. Nguyen, Ethan V. Munson, John T. Boyland, and Cheng Thao. An infrastructure for development of object-oriented, multi-level configuration management services. In Proceedings of the 27th International Conference on Software Engineering (ICSE’05), pages 215–224. ACM, 2005. DOI: 10.1145/1062455.1062504 Cited on page(s) 146
[47] Antoni Olivé. On the Role of Conceptual Schemas in Information Systems Development. In Albert Llamosí and Alfred Strohmeier, editors, Proceedings of the 9th Ada-Europe International Conference on Reliable Software Technologies (Ada-Europe’04), volume 3063 of Lecture Notes in Computer Science, pages 16–34. Springer, 2004. Cited on page(s) 2
[48] Object Management Group (OMG). Architecture-Driven Modernization Task Force, http://adm.omg.org/ (2007). Cited on page(s) 45
[49] Object Management Group (OMG). MDA Guide Version 1.0.1, http://www.omg.org/cgi-bin/doc?omg/03-06-01 (2003). Cited on page(s) 39, 44
[50] Object Management Group (OMG). Meta Object Facility, Version 2.0, http://www.omg.org/spec/MOF/2.0/PDF/ (2006). Cited on page(s) 81
[51] Object Management Group (OMG). Unified Modeling Language Superstructure Specification, Version 2.1.2, http://www.omg.org/spec/UML/2.1.2/Superstructure/PDF (2007). Cited on page(s) 94
[52] Louis M. Rose, Markus Herrmannsdoerfer, James R. Williams, Dimitrios S. Kolovos, Kelly Garcés, Richard F. Paige, and Fiona A. C. Polack. A Comparison of Model Migration Tools. In Dorina C. Petriu, Nicolas Rouquette, and Øystein Haugen, editors, Proceedings of the 13th International Conference on Model Driven Engineering Languages and Systems (MODELS’10), volume 6394 of Lecture Notes in Computer Science, pages 61–75. Springer, 2010. DOI: 10.1007/978-3-642-16145-2 Cited on page(s) 150
[53] Andy Schürr. Specification of graph translators with triple graph grammars. In Proceedings of the 20th International Workshop on Graph-Theoretic Concepts in Computer Science (WG’94), volume 903 of Lecture Notes in Computer Science, pages 151–163. Springer, 1994. DOI: 10.1007/3-540-59071-4_45 Cited on page(s) 115
[54] Shane Sendall and Wojtek Kozaczynski. Model Transformation: The Heart and Soul of Model-Driven Software Development. IEEE Software, 20(5):42–45, 2003. DOI: 10.1109/MS.2003.1231150 Cited on page(s) 107
[55] Thomas Stahl, Markus Voelter, and Krzyszt of Czarnecki. Model-Driven SoftwareDevelopment: Technology, Engineering, Management. John Wiley & Sons, 2006. Cited on page(s) 84
[56] Friedrich Steimann and Thomas Kühne. Coding for the Code. Queue, 3:44–51, 2005. DOI: 10.1145/1113322.1113336 Cited on page(s) 23
[57] David Steinberg, Frank Budinsky, Marcelo Paternostro, and Ed Merks. EMF: Eclipse Modeling Framework 2.0. Addison-Wesley Professional, 2nd edition, 2009. Cited on page(s) 127
[58] Perdita Stevens. A Landscape of Bidirectional Model Transformations. In Proceedings of the International Summer School on Generative and Transformational Techniques in Software Engineering II (GTTSE’07), volume 5235 of Lecture Notes in Computer Science, pages 408–424. Springer, 2007. DOI: 10.1007/978-3-540-88643-3_10 Cited on page(s) 123
[59] Eugene Syriani and Hans Vangheluwe. De-/Re-constructing Model Transformation Languages. ECEASST, 29, 2010. Cited on page(s) 119
[60] Massimo Tisi, Frédéric Jouault, Piero Fraternali, Stefano Ceri, and Jean Bézivin. On the Use of Higher-Order Model Transformations. In Proceedings of the 5th European Conference on Model Driven Architecture - Foundations and Applications (ECMDA-FA’09), volume 5562 of Lecture Notes in Computer Science, pages 18–33. Springer, 2009. DOI: 10.1007/978-3-642-02674-4_3 Cited on page(s) 122
[61] Massimo Tisi, Salvador Martínez, Frédéric Jouault, and Jordi Cabot. Refining Models with Rule-based Model Transformations. Research Report RR-7582, INRIA, 2011. Cited on page(s) 121, 122
[62] AlbertTort, Antoni Olivé, and Maria-Ribera Sancho. An approach to test-driven development of conceptual schemas. Data Knowl. Eng., 70(12):1088–1111, 2011. DOI: 10.1016/j.datak.2011.07.006 Cited on page(s) 55
[63] Edward Tsang. Foundations of Constraint Satisfaction. Academic Press, 1993. Cited on page(s) 154
[64] Markus Völter. A catalog of patterns for program generation. In Kevlin Henney and Dietmar Schütz, editors, Proceedings of the 8th European Conference on Pattern Languages of Programms (EuroPLoP’03), pages 285–320, 2003. Cited on page(s) 28
[65] Andrés Yie and Dennis Wagelaar. Advanced traceability for ATL. In Proceedings of the 1st International Workshop on Model Transformation with ATL (MtATL 2009), 2009. Cited on page(s) 114