{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,2,6]],"date-time":"2023-02-06T16:27:00Z","timestamp":1675700820136},"reference-count":81,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2012,8,22]],"date-time":"2012-08-22T00:00:00Z","timestamp":1345593600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2012,10]]},"DOI":"10.1007\/s10270-012-0266-8","type":"journal-article","created":{"date-parts":[[2012,8,20]],"date-time":"2012-08-20T22:04:50Z","timestamp":1345500290000},"page":"581-597","source":"Crossref","is-referenced-by-count":4,"title":["Bridging the chasm between MDE and the world of compilation"],"prefix":"10.1007","volume":"11","author":[{"given":"Jean-Marc","family":"J\u00e9z\u00e9quel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Benoit","family":"Combemale","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Steven","family":"Derrien","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cl\u00e9ment","family":"Guy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sanjay","family":"Rajopadhye","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,8,22]]},"reference":[{"key":"266_CR1","doi-asserted-by":"crossref","unstructured":"Vogt, S.H., Swierstra, D., Kuiper, M.F.: Higher-order attribute grammars. In: Wexelblat, R.L., (ed.) Proceedings of the ACM SIGPLAN 1989 Conference on Programming language design and implementation (PLDI \u201989), pp. 131\u2013145. ACM (1989)","DOI":"10.1145\/73141.74830"},{"key":"266_CR2","doi-asserted-by":"crossref","unstructured":"Baxter, I.D., Pidgeon, C., Mehlich, M.: DMS: Program transformations for practical scalable software evolution. In: Finkelstein, A., Estublier, J., Rosenblum, D.S. (eds.) Proceedings of the 26th International Conference on Software Engineering (ICSE \u201904), pp. 625\u2013634. IEEE (2004)","DOI":"10.1109\/ICSE.2004.1317484"},{"key":"266_CR3","doi-asserted-by":"crossref","unstructured":"Klint, P., Vinju, J.J., van der Storm, T.: Language design for meta-programming in the software composition domain. In: Bergel, A., Fabry, J. (eds.) Proceedings of the 8th International Conference on Software Composition (SC \u201909), number 5634 in Lecture Notes in Computer Science, pp. 1\u20134. Springer, Berlin (2009)","DOI":"10.1007\/978-3-642-02655-3_1"},{"key":"266_CR4","doi-asserted-by":"crossref","unstructured":"Bravenboer, M., Kalleberg, K.T., Vermaas, R., Visser, E.: Stratego\/xt 0.17. a language and toolset for program transformation. Sci. Computer Program. 72(1\u20132), 52\u201370 (2008)","DOI":"10.1016\/j.scico.2007.11.003"},{"issue":"3","key":"266_CR5","doi-asserted-by":"crossref","first-page":"190","DOI":"10.1016\/j.scico.2006.04.002","volume":"61","author":"JR Cordy","year":"2006","unstructured":"Cordy, J.R.: The TXL source transformation language. Sci. Computer Program. 61(3), 190\u2013210 (2006)","journal-title":"Sci. Computer Program."},{"key":"266_CR6","unstructured":"OMG. Unified Modeling Language (UML) 2.1.2 Superstructure (2007)"},{"key":"266_CR7","doi-asserted-by":"crossref","unstructured":"Muller, P.-A., Fleurey,F., J\u00e9z\u00e9quel, J.-M.: Weaving executability into object-oriented meta-languages. In: Briand, L.C., Williams, C. (eds.) Proceedings of the 8th International Conference on Model Driven Engineering Languages and Systems (MODELS\/UML \u20192005), number 3713 in Lecture Notes in Computer Science, pp. 264\u2013278. Springer, Heidelberg (2005)","DOI":"10.1007\/11557432_19"},{"issue":"4","key":"266_CR8","doi-asserted-by":"crossref","first-page":"252","DOI":"10.1109\/TSE.2007.39","volume":"33","author":"S Pickin","year":"2007","unstructured":"Pickin, S., Jard, C., Jeron, T., J\u00e9z\u00e9quel, J.-M., Le Traon, Y.: Test synthesis from UML models of distributed software. IEEE Trans. Softw. Eng. 33(4), 252\u2013269 (2007)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"4","key":"266_CR9","doi-asserted-by":"crossref","first-page":"423","DOI":"10.1007\/s10270-008-0088-x","volume":"7","author":"P-A Muller","year":"2008","unstructured":"Muller, P.-A., Fondement, F., Fleurey, F., Hassenforder, M., Schnekenburger, R., G\u00e9rard, S., J\u00e9z\u00e9quel, J.-M.: Model driven analysis and synthesis of textual concrete syntax. J. Softw. Syst. Model. 7(4), 423\u2013442 (2008)","journal-title":"J. Softw. Syst. Model."},{"key":"266_CR10","unstructured":"OMG. Meta Object Facility (MOF) 2.0 Core Specification (2006)"},{"issue":"2","key":"266_CR11","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1007\/s10270-008-0080-5","volume":"7","author":"J-M J\u00e9z\u00e9quel","year":"2008","unstructured":"J\u00e9z\u00e9quel, J.-M.: Model driven design and aspect weaving. J. Softw. Syst. Model. 7(2), 209\u2013218 (2008)","journal-title":"J. Softw. Syst. Model."},{"key":"266_CR12","unstructured":"Kleppe, A.: Software Language Engineering: creating domain-specific languages using metamodels. Addison-Wesley Professional (2008)"},{"key":"266_CR13","doi-asserted-by":"crossref","unstructured":"Ekman, T., Hedin, G.: The JastAdd system\u2014modular extensible compiler construction. Sci. Computer Program. 69(1\u20133), 14\u201326 (2007)","DOI":"10.1016\/j.scico.2007.02.003"},{"issue":"6","key":"266_CR14","doi-asserted-by":"crossref","first-page":"607","DOI":"10.1016\/S0019-9958(65)90426-2","volume":"8","author":"DE Knuth","year":"1965","unstructured":"Knuth, D.E.: On the translation of languages from left to rigth. Inform. Control 8(6), 607\u2013639 (1965)","journal-title":"Inform. Control"},{"key":"266_CR15","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1007\/BF00289517","volume":"1","author":"DE Knuth","year":"1971","unstructured":"Knuth, D.E.: Top-down syntax analysis. Acta Inform. 1, 79\u2013110 (1971)","journal-title":"Acta Inform."},{"key":"266_CR16","volume-title":"Efficient parsing for natural language: a fast algorithm for practical systems","author":"M Tomita","year":"1985","unstructured":"Tomita, M.: Efficient parsing for natural language: a fast algorithm for practical systems. Kluwer Academic Publishers, Boston (1985)"},{"issue":"7","key":"266_CR17","doi-asserted-by":"crossref","first-page":"789","DOI":"10.1002\/spe.4380250705","volume":"25","author":"TJ Parr","year":"1995","unstructured":"Parr, T.J., Quong, R.W.: Antlr: a predicated-ll(k) parser generator. Softw. Pract. Exp. 25(7), 789\u2013810 (1995)","journal-title":"Softw. Pract. Exp."},{"issue":"6","key":"266_CR18","doi-asserted-by":"crossref","first-page":"657","DOI":"10.1002\/spe.4380250606","volume":"25","author":"P Degano","year":"1995","unstructured":"Degano, P., Priami, Corrado: Comparison of syntactic error handling in LR parsers. Softw. Pract. Exp. 25(6), 657\u2013679 (1995)","journal-title":"Softw. Pract. Exp."},{"issue":"5","key":"266_CR19","doi-asserted-by":"crossref","first-page":"980","DOI":"10.1145\/293677.293678","volume":"20","author":"TA Wagner","year":"1998","unstructured":"Wagner, T.A., Graham, S.L.: Efficient and flexible incremental parsing. ACM Trans. Program. Lang. Syst. 20(5), 980\u20131013 (1998)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"266_CR20","doi-asserted-by":"crossref","unstructured":"Risoldi, M., Buchs, D.: A domain specific language and methodology for control systems GUI specification, verification and prototyping. In: Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing (VLHCC \u201907), pp. 179\u2013182. IEEE (2007)","DOI":"10.1109\/VLHCC.2007.2"},{"key":"266_CR21","unstructured":"Hahn, C.: A domain specific modeling language for multiagent systems. In: Padgham, L., Parkes, D.C., M\u00fcller, J.P., Parsons, S. (eds.) Proceedings of 7th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS \u201908), pp. 233\u2013240. IFAAMAS (2008)"},{"key":"266_CR22","unstructured":"OMG. UML Object Constraint Language (OCL) 2.0 Specification (2003)"},{"key":"266_CR23","unstructured":"OMG. MOF 2.0 Query\/ View\/ Transformation (QVT) Specification (2008)"},{"key":"266_CR24","doi-asserted-by":"crossref","unstructured":"Sagiv, M., Reps, T., Wilhelm, R.: Parametric shape analysis via 3-valued logic. In: Appel, A.W., Aiken, A. (eds.) Proceedings of the 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL \u201999), pp. 105\u2013118. ACM (1999)","DOI":"10.1145\/292540.292552"},{"key":"266_CR25","volume-title":"Compilers: Principles, Techniques, and Tools (2nd Edition)","author":"AV Aho","year":"2006","unstructured":"Aho, A.V., Lam, M.S., Sethi, R., Ullman, J.D.: Compilers: Principles, Techniques, and Tools (2nd Edition). Addison Wesley, Boston (2006)"},{"key":"266_CR26","unstructured":"Wile, D.S.: POPART: Producer of parsers and related tools. System Builder\u2019s Manual, USC\/Information Sciences Institute (1982)"},{"key":"266_CR27","doi-asserted-by":"crossref","unstructured":"Clement, D., Incerpi, J., Kahn, G.: CENTAUR: towards a software tool box for programming environments. In: Long, F. (ed.) Proceedings of the International Workshop on Software Engineering Environments (SEE \u201990), number 467 in Lecture Notes in Computer Science, pp. 287\u2013304. Springer, Berlin (1990)","DOI":"10.1007\/3-540-53452-0_51"},{"key":"266_CR28","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/j.entcs.2008.10.037","volume":"219","author":"Emilie Balland","year":"2008","unstructured":"Balland, Emilie, Moreau, Pierre-Etienne, Reilles, Antoine: Rewriting strategies in Java. Electron. Notes Theor. Computer Sci. 219, 97\u2013111 (2008)","journal-title":"Electron. Notes Theor. Computer Sci."},{"key":"266_CR29","doi-asserted-by":"crossref","unstructured":"Kildall, G.A.: A unified approach to global program optimization. In: Fischer P.C., Ullman, J.D. (eds.) Proceedings of the 1st annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL \u201973), pp. 194\u2013206. ACM (1973)","DOI":"10.1145\/512927.512945"},{"issue":"1","key":"266_CR30","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1007\/s100090050017","volume":"2","author":"F Martin","year":"1998","unstructured":"Martin, F.: PAG\u2014 an efficient program analyzer generator. Int. J. Softw. Tools Technol. Transf. 2(1), 46\u201367 (1998)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"issue":"2","key":"266_CR31","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1016\/j.entcs.2006.10.008","volume":"164","author":"J Zeng","year":"2006","unstructured":"Zeng, J., Mitchell, C., Edwards, S.A.: A domain-specific language for generating dataflow analyzers. Electron. Notes Theor. Computer Sci. 164(2), 103\u2013119 (2006)","journal-title":"Electron. Notes Theor. Computer Sci."},{"issue":"10","key":"266_CR32","doi-asserted-by":"crossref","first-page":"1440","DOI":"10.1016\/j.infsof.2009.04.014","volume":"51","author":"A Stone","year":"2009","unstructured":"Stone, A., Strout, M., Behere, S.: May\/must analysis and the DFAGen data-flow analysis generator. Inform. Softw. Technol. 51(10), 1440\u20131453 (2009)","journal-title":"Inform. Softw. Technol."},{"issue":"10","key":"266_CR33","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1145\/122616.122621","volume":"26","author":"CW Fraser","year":"1991","unstructured":"Fraser, C.W.: A retargetable compiler for ANSI C. SIGPLAN Notices 26(10), 29\u201343 (1991)","journal-title":"SIGPLAN Notices"},{"key":"266_CR34","doi-asserted-by":"crossref","unstructured":"Hadjiyiannis, G., Hanono, S., Devadas, S.: Isdl: an instruction set description language for retargetability. In: Proceedings of the 34th annual Design Automation Conference (DAC \u201997), pp. 299\u2013302. ACM (1997)","DOI":"10.1145\/266021.266108"},{"issue":"3","key":"266_CR35","doi-asserted-by":"crossref","first-page":"542","DOI":"10.1109\/TCAD.2007.911337","volume":"27","author":"Hristo Nikolov","year":"2008","unstructured":"Nikolov, Hristo, Stefanov, Todor, Deprettere, Ed F.: Systematic and automated multiprocessor system design, programming, and implementation. IEEE Trans. Computer-Aided Des. Integrat. Circuits Syst. 27(3), 542\u2013555 (2008)","journal-title":"IEEE Trans. Computer-Aided Des. Integrat. Circuits Syst."},{"key":"266_CR36","unstructured":"OMG. Model Driven Architecture (MDA) Guide, v1.0.1 (2003)"},{"key":"266_CR37","doi-asserted-by":"crossref","unstructured":"Almeida, J.P., Dijkman, R., van Sinderen, M., Pires, L.F.: On the notion of abstract platform in MDA Development. In: Proceedings of the 8th IEEE International Conference on Enterprise Distributed Object Computing (EDOC \u201904), pp. 253\u2013263. IEEE (2004)","DOI":"10.1109\/EDOC.2004.1342522"},{"key":"266_CR38","doi-asserted-by":"crossref","unstructured":"Wagelaar, D., Jonckers, V.: Explicit platform models for MDA. In: Briand, L.C., Williams, C. (eds.) Proceedings of the 8th International Conference on Model Driven Engineering Languages and Systems (MODELS \u201905), number 3713 in Lecture Notes in Computer Science, pp. 367\u2013381. Springer, Heidelberg (2005)","DOI":"10.1007\/11557432_27"},{"key":"266_CR39","doi-asserted-by":"crossref","unstructured":"France, R., Rumpe, B.: Model-driven development of complex software: a research roadmap. In: Briand, L.C., Wolf, A. L. (eds.) Proceedings of the Future of Software Engineering Symposium (FOSE \u201907), pp. 37\u201354. IEEE (2007)","DOI":"10.1109\/FOSE.2007.14"},{"issue":"2","key":"266_CR40","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1109\/MC.2006.58","volume":"39","author":"DC Schmidt","year":"2006","unstructured":"Schmidt, D.C.: Guest editor\u2019s introduction: model-driven engineering. IEEE Computer 39(2), 25\u201331 (2006)","journal-title":"IEEE Computer"},{"key":"266_CR41","doi-asserted-by":"crossref","unstructured":"Wimmer, M., Kramler, G.: Bridging grammarware and modelware. In: Bruel, J.-M. (ed.) Proceedings of Satellite Events at the MODELS 2005 Conference (WiSME \u201905), number 3844 in Lecture Notes in Computer Science, pp. 159\u2013168. Springer, Jamaica (2005)","DOI":"10.1007\/11663430_17"},{"issue":"1","key":"266_CR42","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1109\/JPROC.2002.805829","volume":"91","author":"J Eker","year":"2003","unstructured":"Eker, J., Janneck, J., Lee, E.A., Liu, J., Liu, X., Ludvig, J., Sachs, S., Xiong, Yuhong: Taming heterogeneity\u2014the Ptolemy approach. Proc. IEEE 91(1), 127\u2013144 (2003)","journal-title":"Proc. IEEE"},{"key":"266_CR43","doi-asserted-by":"crossref","unstructured":"Charfi, A., Mraidha, C. G\u00e9rard, S., Terrier, F., Boulet, P.: Toward optimized code generation through model-based optimization. In: Proceedings of the 13th Design, Automation and Test in Europe Conference (DATE \u201910), pp. 1313\u20131316. IEEE (2010)","DOI":"10.1109\/DATE.2010.5457010"},{"key":"266_CR44","doi-asserted-by":"crossref","unstructured":"Emmelmann, H., Schr\u00f6er, F.-W., Landwehr, R.: BEG\u2014a generator for efficient back ends. In: Wexelblat, R.L. (ed.) Proceedings of the ACM SIGPLAN\u201989 Conference on Programming Language Design and Implementation (PLDI \u201989), pp. 227\u2013237. ACM (1989)","DOI":"10.1145\/74818.74838"},{"issue":"4","key":"266_CR45","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1145\/131080.131089","volume":"27","author":"CW Fraser","year":"1992","unstructured":"Fraser, C.W., Henry, R.R., Proebsting, T.A.: BURG: fast optimal instruction selection and tree parsing. SIGPLAN Notices 27(4), 68\u201376 (1992)","journal-title":"SIGPLAN Notices"},{"key":"266_CR46","doi-asserted-by":"crossref","unstructured":"Floch, A., Yuki, T., Guy, C., Derrien, S., Combemale, B., Sanjay R., France, R.: Model-Driven Engineering and Optimizing Compilers: a bridge too far? In: Whittle, J., Clark, T., K\u00fchne, T. (eds.) Proceedings of the 15th International Conference on Model Driven Engineering Languages and Systems (MODELS \u201911), number 6981 in Lecture Notes in Computer Science, pp. 608\u2013622. Springer, Berlin (2011)","DOI":"10.1007\/978-3-642-24485-8_45"},{"issue":"10","key":"266_CR47","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1109\/2.161279","volume":"25","author":"B Meyer","year":"1992","unstructured":"Meyer, B.: Applying \u201cDesign by Contract\u201d. IEEE Computer 25(10), 40\u201351 (1992)","journal-title":"IEEE Computer"},{"key":"266_CR48","doi-asserted-by":"crossref","unstructured":"Stark, E.: A proof technique for rely\/guarantee properties. In: Maheshwari, S.N. (ed.) Proceedings of the 5th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS \u201985), volume 206 of Lecture Notes in Computer Science, pp. 369\u2013391. Springer, Berlin (1985)","DOI":"10.1007\/3-540-16042-6_21"},{"issue":"6","key":"266_CR49","doi-asserted-by":"crossref","first-page":"737","DOI":"10.1109\/TSE.2009.78","volume":"35","author":"J-M Favre","year":"2009","unstructured":"Favre, J.-M., Gasevi\u0107, D., Lammel, R., Winter, A.: Guest Editors\u2019 introduction to the special section on software language engineering. IEEE Trans. Softw. Eng. 35(6), 737\u2013741 (2009)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"266_CR50","unstructured":"Farail, P., Gaufillet, P., Canals, A., Le Camus, C., Sciamma, D., Michel, P., Cr\u00e9gut, X., Pantel, M.: The topcased project: a Toolkit in OPen source for Critical Aeronautic SystEms Design. In: Proceedings of the 3rd European Congress on Embedded Real Time Software (ERTS \u201906) (2006)"},{"key":"266_CR51","doi-asserted-by":"crossref","unstructured":"Garavel, H., Lang, F.: NTIF: a general symbolic model for communicating sequential processes with data. In: Peled, D. Vardi, M.Y. (eds.) Proceedings of the 22nd International Conference on Formal Techniques for Networked and Distributed Sytems (FORTE \u201902), number 2529 in Lecture Notes in Computer Science, pp. 276\u2013291. Springer, Berlin (2002)","DOI":"10.1007\/3-540-36135-9_18"},{"key":"266_CR52","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1016\/S1571-0661(04)80819-3","volume":"80","author":"B Berthomieu","year":"2003","unstructured":"Berthomieu, B., Ribet, P.-O., Vernadat, F., Bernartt, J.L., Farines, J.-M., Bodeveix, J.-P., Filali, M., Padiou, G., Michel, P., Farail, P., Gauffilet, P., Dissaux, P., Lambert., J.-L.: Towards the verification of real-time systems in avionics: the Cotre approach. Electron. Notes Theor. Computer Sci. 80, 203\u2013218 (2003)","journal-title":"Electron. Notes Theor. Computer Sci."},{"key":"266_CR53","doi-asserted-by":"crossref","unstructured":"Robby, Dwyer, M.B., Hatcliff, J.: Domain-specific model checking using the bogor framework. In: Proceedings of the 21st IEEE\/ACM International Conference on Automated Software Engineering (ASE \u201906), pp. 369\u2013370. IEEE (2006)","DOI":"10.1109\/ASE.2006.34"},{"key":"266_CR54","unstructured":"Berthomieu, B., Bodeveix, J.-P., Farail, P., Filali, M., Garavel, H., Gaufillet, P., Lang, F., Vernadat, F.: Fiacre: an Intermediate Language for Model Verification in the Topcased Environment. In: Proceedings of the 4th European Congress on Embedded Real Time Software (ERTS \u201908), pp. 1\u20138 (2008)"},{"key":"266_CR55","doi-asserted-by":"crossref","unstructured":"Wimmer, M., Kappel, G., Kusel, A., Retschitzegger, W., Schoenboeck, J., Schwinger, W.: Fact or fiction\u2014reuse in model-to-model transformations. In: Proceedings of the 5th International Conference on Theory and Practice of Model Transformations (ICMT \u201912), Lecture Notes in Computer Science. Springer, Heidelberg (2012)","DOI":"10.1007\/978-3-642-30476-7_19"},{"key":"266_CR56","doi-asserted-by":"crossref","unstructured":"Cuccuru, A., Mraidha, C., Terrier, F., G\u00e9rard, S.: Templatable metamodels for semantic variation points. In: Akehurst, D.H., Vogel, R., Paige, R.F. (eds.) Proceedings of the 3rd European conference on Model driven architecture-foundations and applications (ECMDA-FA\u201907), number 4530 in Lecture Notes in Computer Science, pp. 68\u201382. Springer, Berlin (2007)","DOI":"10.1007\/978-3-540-72901-3_6"},{"key":"266_CR57","doi-asserted-by":"crossref","unstructured":"de Lara, J., Guerra, E.: From types to type requirements: genericity for model-driven engineering. J. Softw. Syst. Model. (2011)","DOI":"10.1007\/s10270-011-0221-0"},{"key":"266_CR58","doi-asserted-by":"crossref","unstructured":"Varr\u00f3, D., Pataricza, A.: Generic and meta-transformations for model transformation engineering. In: Baar, T., Strohmeier, A., Moreira, A.M.D., Mellor, S.J. (eds.) Proceedings of the 7th International Conference on the Unified Modeling Language (UML \u201904), number 3273 in Lecture Notes in Computer Science, pp. 290\u2013304. Springer, Lisbon (2004)","DOI":"10.1007\/978-3-540-30187-5_21"},{"key":"266_CR59","unstructured":"Kerboeuf, M., Babau, J.-P.: A DSML for reversible transformations. In: Lopes, C.V. (ed.) Proceedings of the OOPSLA Workshop on Domain-Specific Modeling. ACM (2011)"},{"key":"266_CR60","doi-asserted-by":"crossref","unstructured":"Moha, N., Mah\u00e9, V., Barais, O., J\u00e9z\u00e9quel, J.-M.: Generic Model Refactorings. In: Sch\u00fcrr, A., Selic, B. (eds.) Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems (MODELS \u201909), number 5795 in Lecture Notes in Computer Science, pp. 628\u2013643. Springer, Heidelberg (2009)","DOI":"10.1007\/978-3-642-04425-0_50"},{"key":"266_CR61","unstructured":"Wimmer, M., Kusel, A., Retschitzegger, W., Sch\u00f6nb\u00f6ck, J., Schwinger, W., Cuadrado, J., Guerra, E., de Lara, J.: Reusing model transformations across heterogeneous metamodels. Online Publication. In: Proceedings of the International Workshop on Multi-Paradigm Modeling (2011)"},{"key":"266_CR62","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1016\/S1571-0661(04)80066-5","volume":"20","author":"KB Bruce","year":"1999","unstructured":"Bruce, K.B., Vanderwaart, J.C.: Semantics-Driven Language design: statically type-safe virtual types in object-oriented languages. Electron. Notes Theor. Computer Sci. 20, 50\u201375 (1999)","journal-title":"Electron. Notes Theor. Computer Sci."},{"key":"266_CR63","doi-asserted-by":"crossref","unstructured":"Ernst, E.: Family polymorphism. In: Knudsen, J.L. (ed.) Proceedings of the 15th European Conference on Object-Oriented Programming (ECOOP \u201901), number 2072 in Lecture Notes in Computer Science, pp. 303\u2013326. Springer, Heidelberg (2001)","DOI":"10.1007\/3-540-45337-7_17"},{"issue":"4","key":"266_CR64","doi-asserted-by":"crossref","first-page":"401","DOI":"10.1007\/s10270-006-0036-6","volume":"6","author":"J Steel","year":"2007","unstructured":"Steel, J., J\u00e9z\u00e9quel, J.-M.: On model typing. J. Softw. Syst. Model. 6(4), 401\u2013413 (2007)","journal-title":"J. Softw. Syst. Model."},{"key":"266_CR65","doi-asserted-by":"crossref","unstructured":"Guy, C., Combemale, B., Derrien, S., J\u00e9z\u00e9quel, J.-M.: On model subtyping. In: Valecillo, A. (ed.) Proceedings of the 8th European Conference on Modelling Foundations and Applications (ECMFA \u201912), number 7349 in Lecture Notes in Computer Science, pp. 400\u2013415. Springer (2012)","DOI":"10.1007\/978-3-642-31491-9_30"},{"issue":"1","key":"266_CR66","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s10270-010-0182-8","volume":"10","author":"A Vignaga","year":"2011","unstructured":"Vignaga, A., Jouault, F., Bastarrica, M., Bruneli\u00e8re, H.: Typing artifacts in megamodeling. J. Softw. Syst. Model. 10(1), 1\u201315 (2011)","journal-title":"J. Softw. Syst. Model."},{"issue":"6","key":"266_CR67","doi-asserted-by":"crossref","first-page":"114","DOI":"10.1145\/390016.808431","volume":"10","author":"F DeRemer","year":"1975","unstructured":"DeRemer, F., Kron, H.: Programming-in-the large versus programming-in-the-small. SIGPLAN Notices 10(6), 114\u2013121 (1975)","journal-title":"SIGPLAN Notices"},{"key":"266_CR68","unstructured":"Hebig, R., Seibel, A., Giese, H.: On the unification of megamodels. In: Amaral, V., Vangheluwe, H., Hardebolle, C., Lengyel, L., Magaria, T., Padberg, J., Taentzer, G. (eds.) Proceedings of the 4th International Workshop on Multi Paradigm Modeling at the MODELS 2010 Conference (MPM \u201910), volume 42 of Electronic Communications of the EASST, pp. 1\u201313. EASST (2010)"},{"issue":"3","key":"266_CR69","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1016\/j.entcs.2004.08.034","volume":"127","author":"J-M Favre","year":"2005","unstructured":"Favre, J.-M., Nguyen, T.: Towards a megamodel to model software evolution through transformations. Electron. Notes Theor. Computer Sci. 127(3), 59\u201374 (2005)","journal-title":"Electron. Notes Theor. Computer Sci."},{"key":"266_CR70","doi-asserted-by":"crossref","unstructured":"Diskin, Z., Xiong, Y., Czarnecki, K.: Specifying overlaps of heterogeneous models for global consistency checking. In: Dingel, J., Solberg, A., (eds.) Proceedings of the First International Workshop on Model-Driven Interoperability (MDI \u201910), number 6627 in Lecture Notes in Computer Science, pp. 42\u201351. Springer, Heidelberg (2010)","DOI":"10.1145\/1866272.1866279"},{"key":"266_CR71","doi-asserted-by":"crossref","unstructured":"Salay, R., Mylopoulos, J., Easterbrook, S.: Managing models through macromodeling. In: Proceedings of the 23rd IEEE\/ACM International Conference on Automated Software Engineering (ASE \u201908), pp. 447\u2013450. IEEE (2008)","DOI":"10.1109\/ASE.2008.70"},{"key":"266_CR72","doi-asserted-by":"crossref","unstructured":"Guerra, E., de Lara, J., Orejas, F.: Pattern-based model-to-model transformation: handling attribute conditions. In: Paige, R.F. (ed.) Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations (ICMT \u201909), number 5563 in Lecture Notes in Computer Science, pp. 83\u201399. Springer (2009)","DOI":"10.1007\/978-3-642-02408-5_7"},{"key":"266_CR73","doi-asserted-by":"crossref","unstructured":"Clavreul, M., Barais, O., J\u00e9z\u00e9quel, J.-M.: Integrating legacy systems with MDE. In: Kramer, J., Bishop, J., Devanbu, P.T., Uchitel, S. (eds.) Proceedings of the 32nd ACM\/IEEE International Conference on Software Engineering\u2014Volume 2 (ICSE \u201910), pp. 69\u201378. ACM (2010)","DOI":"10.1145\/1810295.1810306"},{"key":"266_CR74","doi-asserted-by":"crossref","unstructured":"Guerra, E., de Lara, J., Kolovos, D.S., Paige, R.F.: Inter-modelling: from theory to practice. In: Petriu, D.C., Rouquette, N., Haugen, \u00d8. (eds.) Proceedings of the 13th International Conference on Model driven engineering languages and systems: Part I (MODELS \u201910), number 6394 in Lecture Notes in Computer Science, pp. 376\u2013391. Springer, Heidelberg (2010)","DOI":"10.1007\/978-3-642-16145-2_26"},{"key":"266_CR75","doi-asserted-by":"crossref","unstructured":"Leroy, X.: Formal verification of an optimizing compiler. In: Baader, F. (ed.) Proceedings of the 18th International Conference on Term Rewriting and Applications (RTA\u201907), number 4533 in Lecture Notes in Computer Science, pp. 1\u20131. Springer, Paris (2007)","DOI":"10.1007\/978-3-540-73449-9_1"},{"issue":"1","key":"266_CR76","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s10817-008-9099-0","volume":"41","author":"X Leroy","year":"2008","unstructured":"Leroy, X., Blazy, S.: Formal verification of a C-like memory model and its uses for verifying program transformations. J. Autom. Reason. 41(1), 1\u201331 (2008)","journal-title":"J. Autom. Reason."},{"key":"266_CR77","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1016\/j.entcs.2008.04.041","volume":"211","author":"A Narayanan","year":"2008","unstructured":"Narayanan, A., Karsai, G.: Towards verifying model transformations. Electron. Notes Theor. Computer Sci. 211, 191\u2013200 (2008)","journal-title":"Electron. Notes Theor. Computer Sci."},{"issue":"9","key":"266_CR78","doi-asserted-by":"crossref","first-page":"943","DOI":"10.4304\/jsw.4.9.943-958","volume":"4","author":"B Combemale","year":"2009","unstructured":"Combemale, B., Cr\u00e9gut, X., Garoche, P., Thirioux, X.: Essay on semantics definition in MDE\u2014an instrumented approach for model verification. J. Softw. 4(9), 943\u2013958 (2009)","journal-title":"J. Softw."},{"key":"266_CR79","doi-asserted-by":"crossref","unstructured":"Ehrig, H. Ermel, C.: Semantical correctness and completeness of model transformations using graph and rule transformation. In: Ehrig, H., Heckel, R., Rozenberg, G., Taentzer, G. (eds.) Proceedings of the 4th International Conference on Graph Transformations (ICGT \u201908), number 5214 in Lecture Notes in Computer Science, pp. 194\u2013210. Springer, Heidelberg (2008)","DOI":"10.1007\/978-3-540-87405-8_14"},{"issue":"6","key":"266_CR80","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1145\/1743546.1743583","volume":"53","author":"B Baudry","year":"2010","unstructured":"Baudry, B., Ghosh, S., Fleurey, F., France, R., Le Traon, Y., Mottu, J.-M.: Barriers to systematic model transformation testing. Commun. ACM 53(6), 139\u2013143 (2010)","journal-title":"Commun. ACM"},{"key":"266_CR81","doi-asserted-by":"crossref","unstructured":"Hutchinson, J., Whittle, J., Rouncefield, M., Kristoffersen, S.: Empirical assessment of MDE in industry. In: Taylor, R.N., Gall, H., Medvidovic, N. (eds.) Proceedings of the 33rd International Conference on Software Engineering (ICSE \u201911), pp. 471\u2013480. ACM (2011)","DOI":"10.1145\/1985793.1985858"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-012-0266-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-012-0266-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-012-0266-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,2]],"date-time":"2019-07-02T20:33:11Z","timestamp":1562099591000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-012-0266-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,8,22]]},"references-count":81,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2012,10]]}},"alternative-id":["266"],"URL":"https:\/\/doi.org\/10.1007\/s10270-012-0266-8","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,8,22]]}}}