{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T04:19:38Z","timestamp":1745986778195,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":39,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642360886"},{"type":"electronic","value":"9783642360893"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-36089-3_11","type":"book-chapter","created":{"date-parts":[[2013,1,10]],"date-time":"2013-01-10T01:13:00Z","timestamp":1357780380000},"page":"184-203","source":"Crossref","is-referenced-by-count":6,"title":["Bridging the Chasm between Executable Metamodeling and Models of Computation"],"prefix":"10.1007","author":[{"given":"Beno\u00eet","family":"Combemale","sequence":"first","affiliation":[]},{"given":"C\u00e9cile","family":"Hardebolle","sequence":"additional","affiliation":[]},{"given":"Christophe","family":"Jacquet","sequence":"additional","affiliation":[]},{"given":"Fr\u00e9d\u00e9ric","family":"Boulanger","sequence":"additional","affiliation":[]},{"given":"Benoit","family":"Baudry","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"Karna, J., Tolvanen, J.P., Kelly, S.: Evaluating the use of Domain-Specific Modeling in Practice. In: 9th OOPSLA Workshop on Domain-Specific Modeling (2009)","DOI":"10.1145\/1639950.1639975"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"Hutchinson, J., Whittle, J., Rouncefield, M., Kristoffersen, S.: Empirical assessment of MDE in industry. In: ICSE, pp. 471\u2013480. ACM (2011)","DOI":"10.1145\/1985793.1985858"},{"issue":"2","key":"11_CR3","doi-asserted-by":"publisher","first-page":"225","DOI":"10.2298\/CSIS110114012B","volume":"8","author":"B.R. Bryant","year":"2011","unstructured":"Bryant, B.R., Gray, J., Mernik, M., Clarke, P.J., France, R.B., Karsai, G.: Challenges and directions in formalizing the semantics of modeling languages. Comput. Sci. Inf. Syst.\u00a08(2), 225\u2013253 (2011)","journal-title":"Comput. Sci. Inf. Syst."},{"issue":"10","key":"11_CR4","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1109\/MC.2004.172","volume":"37","author":"D. Harel","year":"2004","unstructured":"Harel, D., Rumpe, B.: Meaningful Modeling: What\u2019s the Semantics of \u201dSemantics\u201d? Computer\u00a037(10), 64\u201372 (2004)","journal-title":"Computer"},{"key":"11_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"264","DOI":"10.1007\/11557432_19","volume-title":"Model Driven Engineering Languages and Systems","author":"P.-A. Muller","year":"2005","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.) MoDELS 2005. LNCS, vol.\u00a03713, pp. 264\u2013278. Springer, Heidelberg (2005)"},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"Boulanger, F., Hardebolle, C.: Simulation of Multi-Formalism Models with ModHel\u2019X. In: Proceedings of ICST 2008, pp. 318\u2013327. IEEE Comp. Soc. (2008)","DOI":"10.1109\/ICST.2008.15"},{"key":"11_CR7","unstructured":"Object Management Group, Inc.: Semantics of a Foundational Subset for Executable UML Models (fUML), v1.0. (2011)"},{"key":"11_CR8","unstructured":"Object Management Group, Inc.: UML Object Constraint Language (OCL) 2.0 Specification (2003)"},{"key":"11_CR9","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design patterns: elements of reusable object-oriented software. Addison-Wesley Professional (1995)"},{"key":"11_CR10","unstructured":"Steinberg, D., Budinsky, F., Paternostro, M., Merks, E.: EMF: Eclipse Modeling Framework, 2nd edn. Addison-Wesley (2008)"},{"key":"11_CR11","unstructured":"Object Management Group, Inc.: Meta Object Facility (MOF) 2.0 Core Specification (2006)"},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"Combemale, B., Cr\u00e9gut, X., Garoche, P.L., Thirioux, X.: Essay on Semantics Definition in MDE. An Instrumented Approach for Model Verification. Journal of Software\u00a04(9) (2009)","DOI":"10.4304\/jsw.4.9.943-958"},{"key":"11_CR13","unstructured":"Meyer, B.: Eiffel: the language. Prentice-Hall, Inc. (1992)"},{"key":"11_CR14","doi-asserted-by":"crossref","unstructured":"Clifton, C., Leavens, G.T.: MultiJava: Modular Open Classes and Symmetric Multiple Dispatch for Java. In: OOPSLA, pp. 130\u2013145 (2000)","DOI":"10.1145\/354222.353181"},{"key":"11_CR15","doi-asserted-by":"crossref","unstructured":"Boulanger, F., Hardebolle, C., Jacquet, C., Marcadet, D.: Semantic Adaptation for Models of Computation. In: ACSD, pp. 153\u2013162 (2011)","DOI":"10.1109\/ACSD.2011.17"},{"issue":"1","key":"11_CR16","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1109\/JPROC.2002.805829","volume":"91","author":"J. Eker","year":"2003","unstructured":"Eker, J., Janneck, J.W., Lee, E.A., Liu, J., Liu, X., Ludvig, J., Neuendorffer, S., Sachs, S., Xiong, Y.: Taming heterogeneity \u2013 the Ptolemy approach. Proc. of the IEEE\u00a091(1), 127\u2013144 (2003)","journal-title":"Proc. of the IEEE"},{"key":"11_CR17","unstructured":"Object Management Group, Inc.: Software and Systems Process Engineering Metamodel specification (SPEM) Version 2.0. (2008)"},{"key":"11_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/3-540-45937-5_11","volume-title":"Compiler Construction","author":"E. Wyk Van","year":"2002","unstructured":"Van Wyk, E., de Moor, O., Backhouse, K., Kwiatkowski, P.: Forwarding in Attribute Grammars for Modular Language Design. In: Nigel Horspool, R. (ed.) CC 2002. LNCS, vol.\u00a02304, pp. 128\u2013142. Springer, Heidelberg (2002)"},{"key":"11_CR19","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1016\/j.scico.2007.02.003","volume":"69","author":"T. Ekman","year":"2007","unstructured":"Ekman, T., Hedin, G.: The JastAdd system \u2013 modular extensible compiler construction. Sci. Comput. Program.\u00a069, 14\u201326 (2007)","journal-title":"Sci. Comput. Program."},{"issue":"3","key":"11_CR20","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1049\/iet-sen.2007.0114","volume":"3","author":"D. Rebernak","year":"2009","unstructured":"Rebernak, D., Mernik, M., Wu, H., Gray, J.: Domain-specific aspect languages for modularising crosscutting concerns in grammars. IET Software\u00a03(3), 184\u2013200 (2009)","journal-title":"IET Software"},{"key":"11_CR21","series-title":"LNBIP","first-page":"297","volume-title":"TOOLS EUROPE 2008","author":"H. Krahn","year":"1974","unstructured":"Krahn, H., Rumpe, B., Volkel, S.: MontiCore: Modular Development of Textual Domain Specific Languages. In: Paige, R.F., Meyer, B. (eds.) TOOLS EUROPE 2008. LNBIP, vol.\u00a011, pp. 297\u2013315. Springer, Heidelberg (1974)"},{"key":"11_CR22","unstructured":"Fowler, M.: Language workbenches: The killer-app for domain specific languages (2005), http:\/\/www.martinfowler.com\/articles\/languageWorkbench.html (accessed online)"},{"issue":"6","key":"11_CR23","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1109\/MS.2011.139","volume":"28","author":"M. Volter","year":"2011","unstructured":"Volter, M.: From Programming to Modeling-and Back Again. IEEE Software\u00a028(6), 20\u201325 (2011)","journal-title":"IEEE Software"},{"key":"11_CR24","doi-asserted-by":"crossref","unstructured":"Borras, P., Clement, D., Despeyroux, T., Incerpi, J., Kahn, G., Lang, B., Pascual, V.: Centaur: the system. In: 3rd ACM Software Engineering Symposium on Practical Software Development Environments, pp. 14\u201324. ACM (1988)","DOI":"10.1145\/64135.65005"},{"issue":"2","key":"11_CR25","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1145\/151257.151260","volume":"2","author":"P. Klint","year":"1993","unstructured":"Klint, P.: A meta-environment for generating programming environments. ACM TOSEM\u00a02(2), 176\u2013201 (1993)","journal-title":"ACM TOSEM"},{"key":"11_CR26","doi-asserted-by":"crossref","unstructured":"Cordy, J.R., Halpern, C.D., Promislow, E.: TXL: a rapid prototyping system for programming language dialects. In: Conf. Int Computer Languages, pp. 280\u2013285 (1988)","DOI":"10.1109\/ICCL.1988.13075"},{"issue":"4","key":"11_CR27","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1109\/2.585163","volume":"30","author":"J. Sztipanovits","year":"1997","unstructured":"Sztipanovits, J., Karsai, G.: Model-Integrated Computing. IEEE Computer\u00a030(4), 110\u2013111 (1997)","journal-title":"IEEE Computer"},{"key":"11_CR28","doi-asserted-by":"crossref","unstructured":"Tolvanen, J., Rossi, M.: MetaEdit+: defining and using domain-specific modeling languages and code generators. In: Companion of the 18th Annual ACM SIGPLAN Conference OOPSLA, pp. 92\u201393. ACM (2003)","DOI":"10.1145\/949352.949365"},{"key":"11_CR29","unstructured":"Cook, S., Jones, G., Kent, S., Wills, A.: Domain-Specific Development with Visual Studio DSL Tools. Addison-Wesley Professional (2007)"},{"key":"11_CR30","unstructured":"Clark, T., Sammut, P., Willans, J.: Applied Metamodelling \u2013 A Foundation for Language Driven Development, 2nd edn (2008)"},{"key":"11_CR31","doi-asserted-by":"crossref","unstructured":"Kats, L.C., Visser, E.: The spoofax language workbench: rules for declarative specification of languages and IDEs. In: OOPSLA 2010, pp. 444\u2013463. ACM (2010)","DOI":"10.1145\/1932682.1869497"},{"key":"11_CR32","unstructured":"Voelter, M., Solomatov, K.: Language Modularization and Composition with Projectional Language Workbenches illustrated with MPS. In: SLE 2010. LNCS. Springer (2010)"},{"key":"11_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"380","DOI":"10.1007\/978-3-642-14107-2_19","volume-title":"ECOOP 2010 \u2013 Object-Oriented Programming","author":"L. Renggli","year":"2010","unstructured":"Renggli, L., G\u00eerba, T., Nierstrasz, O.: Embedding Languages without Breaking Tools. In: D\u2019Hondt, T. (ed.) ECOOP 2010. LNCS, vol.\u00a06183, pp. 380\u2013404. Springer, Heidelberg (2010)"},{"issue":"12","key":"11_CR34","doi-asserted-by":"publisher","first-page":"1217","DOI":"10.1109\/43.736561","volume":"17","author":"E.A. Lee","year":"1998","unstructured":"Lee, E.A., Sangiovanni-Vincentelli, A.L.: A framework for comparing models of computation. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems\u00a017(12), 1217\u20131229 (1998)","journal-title":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"},{"key":"11_CR35","doi-asserted-by":"crossref","unstructured":"Basu, A., Bozga, M., Sifakis, J.: Modeling heterogeneous real-time systems in BIP. In: 4th IEEE SEFM, pp. 3\u201312 (September 2006)","DOI":"10.1109\/SEFM.2006.27"},{"key":"11_CR36","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/s11334-009-0109-0","volume":"6","author":"F. Mallet","year":"2010","unstructured":"Mallet, F., DeAntoni, J., Andr\u00e9, C., de Simone, R.: The clock constraint specification language for building timed causality models. Innovations in Systems and Software Engineering\u00a06, 99\u2013106 (2010)","journal-title":"Innovations in Systems and Software Engineering"},{"key":"11_CR37","doi-asserted-by":"crossref","unstructured":"Andr\u00e9, C., Mallet, F., Simone, R.: Modeling AADL Data Communications with UML MARTE. In: Embedded Systems Specification and Design Languages. Lecture Notes in Electrical Engineering, vol.\u00a010, pp. 155\u2013168. Springer (2008)","DOI":"10.1007\/978-1-4020-8297-9_11"},{"key":"11_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1007\/978-3-642-29645-1_12","volume-title":"Models in Software Engineering","author":"F. Boulanger","year":"2012","unstructured":"Boulanger, F., Dogui, A., Hardebolle, C., Jacquet, C., Marcadet, D., Prodan, I.: Semantic Adaptation Using CCSL Clock Constraints. In: Kienzle, J. (ed.) MODELS 2011 Workshops. LNCS, vol.\u00a07167, pp. 104\u2013118. Springer, Heidelberg (2012)"},{"issue":"3","key":"11_CR39","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1080\/1206212X.2009.11441941","volume":"31","author":"C. Hardebolle","year":"2009","unstructured":"Hardebolle, C., Boulanger, F.: Multi-Formalism Modelling and Model Execution. International Journal of Computers and their Applications\u00a031(3), 193\u2013203 (2009);Special Issue on the International Summer School on Software Engineering","journal-title":"International Journal of Computers and their Applications"}],"container-title":["Lecture Notes in Computer Science","Software Language Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-36089-3_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,29]],"date-time":"2025-04-29T16:44:34Z","timestamp":1745945074000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-36089-3_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642360886","9783642360893"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-36089-3_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}