{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,6]],"date-time":"2026-05-06T15:57:28Z","timestamp":1778083048506,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":95,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642309816","type":"print"},{"value":"9783642309823","type":"electronic"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-30982-3_2","type":"book-chapter","created":{"date-parts":[[2012,6,26]],"date-time":"2012-06-26T02:04:30Z","timestamp":1340676270000},"page":"21-57","source":"Crossref","is-referenced-by-count":11,"title":["MDE Basics with a DSL Focus"],"prefix":"10.1007","author":[{"given":"Suzana","family":"Andova","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mark G. J.","family":"van den Brand","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luc J. P.","family":"Engelen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tom","family":"Verhoeff","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","volume-title":"Compilers: principles, techniques, and tools","author":"A.V. Aho","year":"1986","unstructured":"Aho, A.V., Sethi, R., Ullman, J.D.: Compilers: principles, techniques, and tools. Addison-Wesley Longman Publishing Co., Boston (1986)"},{"key":"2_CR2","unstructured":"Alanen, M., Porres, I.: A Relation between Context-Free Grammars and Meta Object Facility Metamodels. Technical Report 606, TUCS (2004)"},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"van Amstel, M.F., van den Brand, M.G.J., Engelen, L.: Using a DSL and Fine-Grained Model Transformations to Explore the Boundaries of Model Verification. In: Proc. ICSTW 2011, pp. 63\u201366. IEEE Computer Society (2011)","DOI":"10.1109\/ICSTW.2011.8"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"van Amstel, M.F., van den Brand, M.G.J., Engelen, L.J.P.: An Exercise in Iterative Domain-Specific Language Design. In: Proceedings of the Joint ERCIM Workshop on Software Evolution (EVOL) and International Workshop on Principles of Software Evolution (IWPSE), Antwerp, Belgium, pp. 48\u201357. ACM Press (September 2010)","DOI":"10.1145\/1862372.1862386"},{"key":"2_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/978-3-540-69927-9_5","volume-title":"Theory and Practice of Model Transformations","author":"M.F. Amstel van","year":"2008","unstructured":"van Amstel, M.F., van den Brand, M.G.J., Proti\u0107, Z., Verhoeff, T.: Transforming Process Algebra Models into UML State Machines: Bridging a Semantic Gap? In: Vallecillo, A., Gray, J., Pierantonio, A. (eds.) ICMT 2008. LNCS, vol.\u00a05063, pp. 61\u201375. Springer, Heidelberg (2008)"},{"key":"2_CR6","first-page":"45","volume-title":"Automation in Warehouse Development","author":"M.F. Amstel van","year":"2011","unstructured":"van Amstel, M.F., van den Brand, M.G.J., Proti\u0107, Z., Verhoeff, T.: Model-driven software engineering. In: Hamberg, R., Verriet, J. (eds.) Automation in Warehouse Development, pp. 45\u201358. Springer, London (2011)"},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"Andova, S., van den Brand, M.G.J., Engelen, L.: Prototyping the Semantics of a DSL using ASF+SDF: Link to Formal Verification of DSL Models. In: Proceedings of the Second International Workshop on Algebraic Methods in Model-based Software Engineering, AMMSE 2011 (2011)","DOI":"10.4204\/EPTCS.56.5"},{"key":"2_CR8","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1145\/75200.75224","volume":"14","author":"G. Arango","year":"1989","unstructured":"Arango, G.: Domain analysis: from art form to engineering discipline. SIGSOFT Softw. Eng. Notes\u00a014, 152\u2013159 (1989)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"key":"2_CR9","unstructured":"Arnold, B.R.T., van Deursen, A., Res, M.: An algebraic specification of a language for describing financial products. In: Wirsing, M. (ed.) ICSE-17 Workshop on Formal Methods Application in Software Engineering, pp. 6\u201313. IEEE (April 1995)"},{"key":"2_CR10","unstructured":"Baum, D.: NQC Programmer\u2019s Guide (2003)"},{"key":"2_CR11","first-page":"31","volume-title":"Proceedings of the 9th International Conference on Principles and Practice of Programming in Java, PPPJ 2011","author":"L. Bettini","year":"2011","unstructured":"Bettini, L.: A DSL for writing type systems for Xtext languages. In: Proceedings of the 9th International Conference on Principles and Practice of Programming in Java, PPPJ 2011, pp. 31\u201340. ACM, New York (2011)"},{"key":"2_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/978-3-642-11486-1_2","volume-title":"Perspectives of Systems Informatics","author":"D. Bj\u00f8rner","year":"2010","unstructured":"Bj\u00f8rner, D.: R\u00f4le of Domain Engineering in Software Development\u2014Why Current Requirements Engineering Is Flawed\u00a0! In: Pnueli, A., Virbitskaite, I., Voronkov, A. (eds.) PSI 2009. LNCS, vol.\u00a05947, pp. 2\u201334. Springer, Heidelberg (2010)"},{"key":"2_CR13","series-title":"IFIP","doi-asserted-by":"publisher","first-page":"607","DOI":"10.1007\/978-1-4020-8157-6_58","volume-title":"Building the Information Society","author":"D. Bj\u00f8rner","year":"2004","unstructured":"Bj\u00f8rner, D.: Train: The Railway Domain. In: Jacquart, R. (ed.) Building the Information Society. IFIP, vol.\u00a0156, pp. 607\u2013611. Springer, Boston (2004)"},{"key":"2_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-1-84882-736-3_1","volume-title":"Formal Methods: State of the Art and New Directions","author":"D. Bj\u00f8rner","year":"2010","unstructured":"Bj\u00f8rner, D.: Domain Engineering. In: Boca, P., Bowen, J.P., Siddiqi, J. (eds.) Formal Methods: State of the Art and New Directions, pp. 1\u201341. Springer, London (2010), doi:10.1007\/978-1-84882-736-3_1"},{"key":"2_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/11589976_12","volume-title":"Integrated Formal Methods","author":"J.-P. Bodeveix","year":"2005","unstructured":"Bodeveix, J.-P., Filali, M., Lawall, J., Muller, G.: Formal Methods Meet Domain Specific Languages. In: Romijn, J., Smith, G., van de Pol, J. (eds.) IFM 2005. LNCS, vol.\u00a03771, pp. 187\u2013206. Springer, Heidelberg (2005)"},{"issue":"5","key":"2_CR16","doi-asserted-by":"publisher","first-page":"754","DOI":"10.1093\/comjnl\/bxq024","volume":"54","author":"M. Bozzano","year":"2011","unstructured":"Bozzano, M., Cimatti, A., Katoen, J.-P., Nguyen, V., Noll, T., Roveri, M.: Safety, Dependability and Performance Analysis of Extended AADL Models. Comput. J.\u00a054(5), 754\u2013775 (2011)","journal-title":"Comput. J."},{"key":"2_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1007\/978-3-642-00434-6_2","volume-title":"Software Language Engineering","author":"M.G.J. Brand van den","year":"2009","unstructured":"van den Brand, M.G.J.: Model-Driven Engineering Meets Generic Language Technology. In: Ga\u0161evi\u0107, D., L\u00e4mmel, R., Van Wyk, E. (eds.) SLE 2008. LNCS, vol.\u00a05452, pp. 8\u201315. Springer, Heidelberg (2009)"},{"issue":"3","key":"2_CR18","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1016\/j.scico.2006.04.005","volume":"61","author":"M.G.J. Brand van den","year":"2006","unstructured":"van den Brand, M.G.J., Iversen, J., Mosses, P.D.: An Action Environment. Science of Computer Programming\u00a061(3), 245\u2013264 (2006)","journal-title":"Science of Computer Programming"},{"issue":"3","key":"2_CR19","first-page":"259","volume":"30","author":"M.G.J. Brand van den","year":"2000","unstructured":"van den Brand, M.G.J., de Jong, H.A., Klint, P., Olivier, P.A.: Efficient annotated terms. Software: Practice & Experience\u00a030(3), 259\u2013291 (2000)","journal-title":"Software: Practice & Experience"},{"issue":"2","key":"2_CR20","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1049\/ip-sen:20041181","volume":"152","author":"M.G.J. Brand van den","year":"2005","unstructured":"van den Brand, M.G.J., Moreau, P.E., Vinju, J.J.: A generator of efficient strongly typed abstract syntax trees in Java. IEE Proceedings Software\u00a0152(2), 70\u201378 (2005)","journal-title":"IEE Proceedings Software"},{"key":"2_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/3-540-45937-5_12","volume-title":"Compiler Construction","author":"M.G.J. Brand den van","year":"2002","unstructured":"den van Brand, M.G.J., Scheerder, J., Vinju, J.J., Visser, E.: Disambiguation Filters for Scannerless Generalized LR Parsers. In: CC 2002. LNCS, vol.\u00a02304, pp. 143\u2013158. Springer, Heidelberg (2002)"},{"key":"2_CR22","doi-asserted-by":"publisher","DOI":"10.1145\/1868281","volume-title":"Proceedings of the Tenth Workshop on Language Descriptions, Tools and Applications, LDTA 2010","author":"M.G.J. Brand van den","year":"2010","unstructured":"van den Brand, M.G.J., van der Meer, A.P., Serebrenik, A., Hofkamp, A.T.: Formally specified type checkers for domain specific languages: experience report. In: Proceedings of the Tenth Workshop on Language Descriptions, Tools and Applications, LDTA 2010, pp. 12:1\u201312:7. ACM, New York (2010)"},{"issue":"1","key":"2_CR23","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/226155.226156","volume":"5","author":"M.G.J. Brand van den","year":"1996","unstructured":"van den Brand, M.G.J., Visser, E.: Generation of formatters for context-free languages. ACM Transactions on Software Engineering and Methodology\u00a05(1), 1\u201341 (1996)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"2_CR24","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1109\/MC.1987.1663532","volume":"20","author":"F.P. Brooks Jr.","year":"1987","unstructured":"Brooks Jr., F.P.: No silver bullet essence and accidents of software engineering. Computer\u00a020, 10\u201319 (1987)","journal-title":"Computer"},{"key":"2_CR25","unstructured":"Budinsky, F., Brodsky, S.A., Merks, E.: Eclipse Modeling Framework. Pearson Education (2003)"},{"key":"2_CR26","volume-title":"Proceedings of the International Workshop on Formalization of Modeling Languages, FML 2010","author":"C. B\u00fcrger","year":"2010","unstructured":"B\u00fcrger, C., Karol, S., Wende, C.: Applying attribute grammars for metamodel semantics. In: Proceedings of the International Workshop on Formalization of Modeling Languages, FML 2010, pp. 1:1\u20131:5. ACM, New York (2010)"},{"key":"2_CR27","doi-asserted-by":"crossref","unstructured":"Campbell-Kelly, M.: From airline reservations to Sonic the Hedgehog: a history of the software industry. History of computing. MIT Press (2003)","DOI":"10.1109\/MTAS.2004.1371630"},{"issue":"9","key":"2_CR28","doi-asserted-by":"publisher","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.-L., Thirioux, X.: Essay on semantics definition in MDE - an instrumented approach for model verification. JSW\u00a04(9), 943\u2013958 (2009)","journal-title":"JSW"},{"key":"2_CR29","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1002\/(SICI)1096-908X(199803\/04)10:2<75::AID-SMR168>3.0.CO;2-5","volume":"10","author":"A. Deursen van","year":"1998","unstructured":"van Deursen, A., Klint, P.: Little languages: little maintenance. Journal of Software Maintenance\u00a010, 75\u201392 (1998)","journal-title":"Journal of Software Maintenance"},{"key":"2_CR30","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1145\/352029.352035","volume":"35","author":"A. Deursen van","year":"2000","unstructured":"van Deursen, A., Klint, P., Visser, J.: Domain-specific languages: an annotated bibliography. SIGPLAN Not.\u00a035, 26\u201336 (2000)","journal-title":"SIGPLAN Not."},{"key":"2_CR31","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1145\/362929.362947","volume":"11","author":"E.W. Dijkstra","year":"1968","unstructured":"Dijkstra, E.W.: Letters to the editor: go to statement considered harmful. Commun. ACM\u00a011, 147\u2013148 (1968)","journal-title":"Commun. ACM"},{"key":"2_CR32","unstructured":"Eclipse. Xtext (2012), http:\/\/www.eclipse.org\/Xtext (accessed February 20, 2012)"},{"issue":"10","key":"2_CR33","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1297105.1297029","volume":"42","author":"T. Ekman","year":"2007","unstructured":"Ekman, T., Hedin, G.: The JastAdd extensible Java compiler. ACM SIGPLAN Notices\u00a042(10), 1\u201318 (2007)","journal-title":"ACM SIGPLAN Notices"},{"key":"2_CR34","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1145\/1869542.1869625","volume-title":"Proceedings of the ACM International Conference Companion on Object Oriented Programming Systems Languages and Applications Companion, SPLASH 2010","author":"M. Eysholdt","year":"2010","unstructured":"Eysholdt, M., Behrens, H.: Xtext: implement your language faster than the quick and dirty way. In: Proceedings of the ACM International Conference Companion on Object Oriented Programming Systems Languages and Applications Companion, SPLASH 2010, pp. 307\u2013309. ACM, New York (2010)"},{"key":"2_CR35","unstructured":"FALCON. Falcon project \u2013 \u201cSystem-of-systems\u201d performance and reliability in logistics (2012), http:\/\/www.esi.nl\/research\/applied-research\/current-projects\/falcon\/index.dot (accessed February 21, 2012)"},{"key":"2_CR36","unstructured":"Farail, P., Gaufillet, P., Canals, A., Camus, C.L., Sciamma, D., Michel, P., Cr\u00e9gut, X., Pantel, M.: The TOPCASED project: a Toolkit in OPen source for Critical Aeronautic SystEms Design. In: Embedded Real Time Software \u2013 ERTS 2006, SIA, SEE, AAAF (2006)"},{"key":"2_CR37","unstructured":"Feuerstein, S., Pribyl, B.: Oracle PL\/SQL Programming, 4th edn. O\u2019Reilly Media, Inc. (2005)"},{"key":"2_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/978-3-540-77442-6_12","volume-title":"Practical Aspects of Declarative Languages","author":"R.A. Frost","year":"2008","unstructured":"Frost, R.A., Hafiz, R., Callaghan, P.: Parser Combinators for Ambiguous Left-Recursive Grammars. In: Hudak, P., Warren, D.S. (eds.) PADL 2008. LNCS, vol.\u00a04902, pp. 167\u2013181. Springer, Heidelberg (2008)"},{"issue":"11","key":"2_CR39","first-page":"1203","volume":"30","author":"E.R. Gansner","year":"2000","unstructured":"Gansner, E.R., North, S.C.: An open graph visualization system and its applications to software engineering. Software: Practice & Experience\u00a030(11), 1203\u20131233 (2000)","journal-title":"Software: Practice & Experience"},{"key":"2_CR40","doi-asserted-by":"publisher","first-page":"779","DOI":"10.1145\/1449814.1449858","volume-title":"Companion to the 23rd ACM SIGPLAN Conference on Object-Oriented Programing, Systems, Languages, and Applications (OOPSLA 2008)","author":"D.M. Groenewegen","year":"2008","unstructured":"Groenewegen, D.M., Hemel, Z., Kats, L.C.L., Visser, E.: WebDSL: A domain-specific language for dynamic web applications. In: Mielke, N., Zimmermann, O. (eds.) Companion to the 23rd ACM SIGPLAN Conference on Object-Oriented Programing, Systems, Languages, and Applications (OOPSLA 2008), pp. 779\u2013780. ACM, New York (2008) (poster)"},{"key":"2_CR41","unstructured":"Gronback, R.C.: Eclipse Modeling Project: A Domain-Specific Language (DSL) Toolkit, 1st edn. Addison-Wesley Professional (2009)"},{"key":"2_CR42","unstructured":"Grune, D.: Parsing Techniques: A Practical Guide, 2nd edn. Springer Publishing Company, Incorporated (2010)"},{"key":"2_CR43","doi-asserted-by":"crossref","unstructured":"Hamberg, R., Verriet, J.: Automation in Warehouse Development. Springer (2011)","DOI":"10.1007\/978-0-85729-968-0"},{"key":"2_CR44","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1145\/71605.71607","volume":"24","author":"J. Heering","year":"1989","unstructured":"Heering, J., Hendriks, P.R.H., Klint, P., Rekers, J.: The Syntax Definition Formalism SDF \u2014 reference manual. ACM SIGPLAN Notices\u00a024, 43\u201375 (1989)","journal-title":"ACM SIGPLAN Notices"},{"key":"2_CR45","unstructured":"Holzmann, G.J.: The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley (2003)"},{"key":"2_CR46","unstructured":"ISO. ISO\/IEC 19502:2005 information technology \u2013 Meta Object Facility (MOF) (2005)"},{"key":"2_CR47","unstructured":"Johnson, S.C.: YACC\u2014yet another compiler-compiler. Technical Report CS-32, AT & T Bell Laboratories, Murray Hill, N.J. (1975)"},{"key":"2_CR48","volume-title":"Proceedings of the Eleventh Workshop on Language Descriptions, Tools and Applications, LDTA 2011","author":"A. Johnstone","year":"2011","unstructured":"Johnstone, A., Scott, E., van den Brand, M.G.J.: LDT: a language definition technique. In: Proceedings of the Eleventh Workshop on Language Descriptions, Tools and Applications, LDTA 2011, pp. 9:1\u20139:8. ACM, New York (2011)"},{"key":"2_CR49","unstructured":"Jones, S.P. (ed.): Haskell 98 Language and Libraries: The Revised Report (September 2002), http:\/\/haskell.org\/"},{"issue":"1-2","key":"2_CR50","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/j.jlap.2003.12.002","volume":"59","author":"H.A. Jong de","year":"2004","unstructured":"de Jong, H.A., Olivier, P.A.: Generation of abstract programming interfaces from syntax definitions. Journal of Logic and Algebraic Programming\u00a059(1-2), 35\u201361 (2004)","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"2_CR51","doi-asserted-by":"publisher","first-page":"444","DOI":"10.1145\/1932682.1869497","volume":"45","author":"L.C. Kats","year":"2010","unstructured":"Kats, L.C., Visser, E.: The spoofax language workbench: rules for declarative specification of languages and ides. SIGPLAN Not.\u00a045, 444\u2013463 (2010)","journal-title":"SIGPLAN Not."},{"key":"2_CR52","unstructured":"Kleppe, A.: Software Language Engineering: Creating Domain-specific Languages Using Metamodels. Addison-Wesley (2009)"},{"key":"2_CR53","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"222","DOI":"10.1007\/978-3-642-18023-1_6","volume-title":"GTTSE 2009","author":"P. Klint","year":"2011","unstructured":"Klint, P., van der Storm, T., Vinju, J.: EASY Meta-programming with Rascal. In: Fernandes, J.M., L\u00e4mmel, R., Visser, J., Saraiva, J. (eds.) GTTSE 2009. LNCS, vol.\u00a06491, pp. 222\u2013289. Springer, Heidelberg (2011)"},{"key":"2_CR54","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1016\/j.entcs.2008.04.034","volume":"211","author":"A. Kunert","year":"2008","unstructured":"Kunert, A.: Semi-automatic generation of metamodels and models from grammars and programs. Electron. Notes Theor. Comput. Sci.\u00a0211, 111\u2013119 (2008)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"2_CR55","unstructured":"Kurtev, I.: Adaptability of Model Transformations. PhD thesis, University of Twente, Enschede, The Netherlands (2005)"},{"key":"2_CR56","volume-title":"Latex: a document preparation system","author":"L. Lamport","year":"1986","unstructured":"Lamport, L.: Latex: a document preparation system. Addison-Wesley Longman Publishing Co., Inc., Boston (1986)"},{"key":"2_CR57","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1145\/365230.365257","volume":"9","author":"P.J. Landin","year":"1966","unstructured":"Landin, P.J.: The next 700 programming languages. Commun. ACM\u00a09, 157\u2013166 (1966)","journal-title":"Commun. ACM"},{"key":"2_CR58","unstructured":"LEGO. Lego Mindstorms (2012), http:\/\/www.lego.com\/eng\/education\/mindstorms\/ (accessed February 21, 2012)"},{"key":"2_CR59","first-page":"375","volume-title":"Lex\u2013a lexical analyzer generator","author":"M.E. Lesk","year":"1990","unstructured":"Lesk, M.E., Schmidt, E.: Lex\u2013a lexical analyzer generator, pp. 375\u2013387. W.B. Saunders Company, Philadelphia (1990)"},{"issue":"6","key":"2_CR60","doi-asserted-by":"publisher","first-page":"625","DOI":"10.1142\/S0218194004001828","volume":"14","author":"S. Mauw","year":"2002","unstructured":"Mauw, S., Wiersma, W., Willemse, T.: Language-driven system design. International Journal of Software Engineering and Knowledge Engineering\u00a014(6), 625\u2013664 (2002)","journal-title":"International Journal of Software Engineering and Knowledge Engineering"},{"key":"2_CR61","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/j.entcs.2005.10.021","volume":"152","author":"T. Mens","year":"2006","unstructured":"Mens, T., Van Gorp, P.: A taxonomy of model transformation. Electron. Notes Theor. Comput. Sci.\u00a0152, 125\u2013142 (2006)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"issue":"4","key":"2_CR62","doi-asserted-by":"publisher","first-page":"316","DOI":"10.1145\/1118890.1118892","volume":"37","author":"M. Mernik","year":"2005","unstructured":"Mernik, M., Heering, J., Sloane, A.M.: When and how to develop domain-specific languages. ACM Computing Surveys\u00a037(4), 316\u2013344 (2005)","journal-title":"ACM Computing Surveys"},{"key":"2_CR63","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/3-540-36579-6_5","volume-title":"Compiler Construction","author":"P.-E. Moreau","year":"2003","unstructured":"Moreau, P.-E., Ringeissen, C., Vittek, M.: A Pattern Matching Compiler for Multiple Target Languages. In: Hedin, G. (ed.) CC 2003. LNCS, vol.\u00a02622, pp. 61\u201376. Springer, Heidelberg (2003)"},{"key":"2_CR64","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511569869","volume-title":"Action semantics","author":"P.D. Mosses","year":"1992","unstructured":"Mosses, P.D.: Action semantics. Cambridge University Press, New York (1992)"},{"key":"2_CR65","unstructured":"OMG. Unified Modeling Language specification, version 1.3 (2001), http:\/\/www.omg.org\/spec\/UML\/1.3\/PDF\/index.htm (accessed February 21, 2012)"},{"key":"2_CR66","unstructured":"OMG. Meta Object Facility specification. Technical Report 2002-04-03, Object Management Group (2004)"},{"key":"2_CR67","unstructured":"OMG. OCL (2012), http:\/\/en.wikipedia.org\/wiki\/Object_Constraint_Language (accessed February 22, 2012)"},{"key":"2_CR68","unstructured":"Open Directory Project. Links for lexer and parser generators, http:\/\/www.dmoz.org\/Computers\/Programming\/Compilers\/Lexer_and_Parser_Generators\/ (accessed on February 22, 2012)"},{"key":"2_CR69","unstructured":"Parr, T.: The Definitive ANTLR Reference: Building Domain-Specific Languages. Pragmatic Bookshelf (2007)"},{"key":"2_CR70","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1145\/1993316.1993548","volume":"46","author":"T. Parr","year":"2011","unstructured":"Parr, T., Fisher, K.: LL(*): the foundation of the ANTLR parser generator. SIGPLAN Not.\u00a046, 425\u2013436 (2011)","journal-title":"SIGPLAN Not."},{"key":"2_CR71","volume-title":"Types and programming languages","author":"B.C. Pierce","year":"2002","unstructured":"Pierce, B.C.: Types and programming languages. MIT Press, Cambridge (2002)"},{"key":"2_CR72","unstructured":"Plotkin, G.: A Structual Approach to Operational Semantics. Journal of Logic and Algebraic Programming (2004)"},{"key":"2_CR73","unstructured":"Reilles, A.: Canonical Abstract Syntax Trees. In: 6th International Workshop on Rewriting Logic and Applications, WRLA 2006, Vienna, Autriche. Carolyn Talcott and Grit Denker (2006)"},{"key":"2_CR74","unstructured":"Rekers, J.: Parser Generation for Interactive Environments. PhD thesis, University of Amsterdam, Amsterdam, The Netherlands (January 1992)"},{"issue":"11-12","key":"2_CR75","doi-asserted-by":"publisher","first-page":"778","DOI":"10.1177\/0037549709341635","volume":"85","author":"J. Rivera","year":"2009","unstructured":"Rivera, J., Dur\u00e1n, F., Vallecillo, A.: Formal specification and analysis of domain specific models using Maude. Simulation\u00a085(11-12), 778\u2013792 (2009)","journal-title":"Simulation"},{"key":"2_CR76","volume-title":"The Unified Modeling Language reference manual","year":"1999","unstructured":"Rumbaugh, J., Jacobson, I., Booch, G. (eds.): The Unified Modeling Language reference manual. Addison-Wesley Longman Ltd., Essex (1999)"},{"key":"2_CR77","unstructured":"Rusu, V., Lucanu, D.: A $\\mathbb{K}$ -Based Formal Framework for Domain-Specific Modelling Languages. In: Proc. of 2nd International Conference on Formal Verification of Object-Oriented Systems (FoVeOOS 2011), Torino, Italy, pp. 306\u2013323. Springer (2011)"},{"key":"2_CR78","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1109\/MBD-MOMPES.2006.4","volume-title":"Proceedings of the Fourth Workshop on Model-Based Development of Computer-Based Systems and Third International Workshop on Model-Based Methodologies for Pervasive and Embedded Software","author":"M. Scheidgen","year":"2006","unstructured":"Scheidgen, M.: CMOF-model semantics and language mapping for MOF 2.0 implementations. In: Proceedings of the Fourth Workshop on Model-Based Development of Computer-Based Systems and Third International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, pp. 84\u201393. IEEE Computer Society, Washington, DC (2006)"},{"issue":"7","key":"2_CR79","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1016\/j.entcs.2010.08.041","volume":"253","author":"E. Scott","year":"2010","unstructured":"Scott, E., Johnstone, A.: GLL Parsing. Electronic Notes in Theoretical Computer Science\u00a0253(7), 177\u2013189 (2010)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"issue":"5","key":"2_CR80","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1109\/MS.2003.1231147","volume":"20","author":"E. Seidewitz","year":"2003","unstructured":"Seidewitz, E.: What Models Mean. IEEE Software\u00a020(5), 26\u201332 (2003)","journal-title":"IEEE Software"},{"key":"2_CR81","doi-asserted-by":"crossref","unstructured":"Selic, B.: A systematic approach to domain-specific language design using uml. In: IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, pp. 2\u20139 (2007)","DOI":"10.1109\/ISORC.2007.10"},{"key":"2_CR82","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1007\/978-3-642-28830-2_13","volume-title":"SLE 2011","author":"F.P.M. Stappers","year":"2012","unstructured":"Stappers, F.P.M., Weber, S., Reniers, M.A., Andova, S., Nagy, I.: Formalizing a Domain Specific Language Using SOS: An Industrial Case Study. In: A\u00dfmann, U. (ed.) SLE 2011. LNCS, vol.\u00a06940, pp. 223\u2013242. Springer, Heidelberg (2012)"},{"key":"2_CR83","unstructured":"Steinberg, D., Budinsky, F., Paternostro, M., Merks, E.: EMF: Eclipse Modeling Framework 2.0, 2nd edn. Addison-Wesley Professional (2009)"},{"key":"2_CR84","unstructured":"Stuurman, G.: Action Semantics applied to Model Driven Engineering. Master\u2019s thesis, University of Twente, The Netherlands (2010)"},{"key":"2_CR85","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1109\/MEMCOD.2007.371231","volume-title":"Proceedings of the 5th IEEE\/ACM International Conference on Formal Methods and Models for Codesign, MEMOCODE 2007","author":"B.D. Theelen","year":"2007","unstructured":"Theelen, B.D., Florescu, O., Geilen, M.C.W., Huang, J., van der Putten, P.H.A., Voeten, J.P.M.: Software\/hardware engineering with the parallel object-oriented specification language. In: Proceedings of the 5th IEEE\/ACM International Conference on Formal Methods and Models for Codesign, MEMOCODE 2007, pp. 139\u2013148. IEEE Computer Society, Washington, DC (2007)"},{"key":"2_CR86","first-page":"756","volume-title":"Proceedings of the 9th International Joint Conference on Artificial Intelligence","author":"M. Tomita","year":"1985","unstructured":"Tomita, M.: An efficient context-free parsing algorithm for natural languages. In: Proceedings of the 9th International Joint Conference on Artificial Intelligence, vol.\u00a02, pp. 756\u2013764. Morgan Kaufmann Publishers Inc., San Francisco (1985)"},{"key":"2_CR87","unstructured":"TRain. Train \u2013 The Railway Domain (2012), http:\/\/www.railwaydomain.org\/ (accessed February 25, 2012)"},{"key":"2_CR88","unstructured":"TUDresden. EMFtext (2012), http:\/\/www.emftext.org\/ (accessed February 20, 2012)"},{"key":"2_CR89","unstructured":"van Rossum, G.: An Introduction to Python for Unix\/C Programmers. In: Proc. of the NLUUG Najaarsconferentie. Dutch UNIX users group (1993)"},{"key":"2_CR90","unstructured":"Visser, E.: Scannerless Generalized-LR Parsing. Technical Report P9707, Programming Research Group, University of Amsterdam (July 1997)"},{"key":"2_CR91","unstructured":"Visser, E.: Syntax Definition for Language Prototyping. PhD thesis, University of Amsterdam (1997)"},{"key":"2_CR92","unstructured":"van Vliet, H.: Software Engineering: Principles and Practice, 3rd edn. Wiley Publishing (2008)"},{"key":"2_CR93","doi-asserted-by":"publisher","first-page":"645","DOI":"10.1017\/S0956796809990220","volume":"19","author":"E. Walkingshaw","year":"2009","unstructured":"Walkingshaw, E., Erwig, M.: A domain-specific language for experimental game theory. J. Funct. Program.\u00a019, 645\u2013661 (2009)","journal-title":"J. Funct. Program."},{"key":"2_CR94","unstructured":"Wikipedia. Grace hopper \u2014 Wikipedia, the free encyclopedia (2012), http:\/\/en.wikipedia.org\/wiki\/Grace_Hopper (accessed February 18, 2012)"},{"key":"2_CR95","unstructured":"Wikipedia. Rush hour \u2014 Wikipedia, the free encyclopedia (2012), http:\/\/en.wikipedia.org\/wiki\/Rush_Hour_board_game (accessed February 25, 2012)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Model-Driven Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-30982-3_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,19]],"date-time":"2022-01-19T14:31:15Z","timestamp":1642602675000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-30982-3_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642309816","9783642309823"],"references-count":95,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-30982-3_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}