{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T06:02:52Z","timestamp":1761976972426,"version":"build-2065373602"},"publisher-location":"Cham","reference-count":47,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319026534"},{"type":"electronic","value":"9783319026541"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-319-02654-1_20","type":"book-chapter","created":{"date-parts":[[2013,10,21]],"date-time":"2013-10-21T05:25:32Z","timestamp":1382333132000},"page":"365-384","source":"Crossref","is-referenced-by-count":16,"title":["Reifying Concurrency for Executable Metamodeling"],"prefix":"10.1007","author":[{"given":"Beno\u00eet","family":"Combemale","sequence":"first","affiliation":[]},{"given":"Julien","family":"De Antoni","sequence":"additional","affiliation":[]},{"given":"Matias Vara","family":"Larsen","sequence":"additional","affiliation":[]},{"given":"Fr\u00e9d\u00e9ric","family":"Mallet","sequence":"additional","affiliation":[]},{"given":"Olivier","family":"Barais","sequence":"additional","affiliation":[]},{"given":"Benoit","family":"Baudry","sequence":"additional","affiliation":[]},{"given":"Robert B.","family":"France","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"20_CR1","doi-asserted-by":"crossref","unstructured":"Combemale, B., Cr\u00e9gut, X., Pantel, M.: A Design Pattern to Build Executable DSMLs and associated V&V tools. In: APSEC. IEEE (December 2012)","DOI":"10.1109\/APSEC.2012.79"},{"key":"20_CR2","unstructured":"Object Management Group, Inc.: Semantics of a Foundational Subset for Executable UML Models (fUML), v1.0 (2011)"},{"key":"20_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1007\/978-3-642-36089-3_11","volume-title":"Software Language Engineering","author":"B. Combemale","year":"2013","unstructured":"Combemale, B., Hardebolle, C., Jacquet, C., Boulanger, F., Baudry, B.: Bridging the Chasm between Executable Metamodeling and Models of Computation. In: Czarnecki, K., Hedin, G. (eds.) SLE 2012. LNCS, vol.\u00a07745, pp. 184\u2013203. Springer, Heidelberg (2013)"},{"issue":"12","key":"20_CR4","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 Trans. on CAD of Integrated Circuits and Systems\u00a017(12), 1217\u20131229 (1998)","journal-title":"IEEE Trans. on CAD of Integrated Circuits and Systems"},{"key":"20_CR5","unstructured":"Jantsch, A.: Modeling Embedded Systems and SoCs. Morgan Kaufmann Publishers Inc. (2004)"},{"key":"20_CR6","doi-asserted-by":"crossref","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) (2003)","DOI":"10.1109\/JPROC.2002.805829"},{"key":"20_CR7","unstructured":"Plotkin, G.D.: A structural approach to operational semantics (1981)"},{"key":"20_CR8","unstructured":"Karsai, G., Agrawal, A., Shi, F., Sprinkle, J.: On the use of graph transformations for the formal specification of model interpreters. Journal of Universal Computer Science\u00a09 (2003)"},{"key":"20_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/978-3-642-01680-6_15","volume-title":"Trustworthy Software Development Processes","author":"R. Bendraou","year":"2009","unstructured":"Bendraou, R., Jez\u00e9qu\u00e9l, J.-M., Fleurey, F.: Combining aspect and model-driven engineering approaches for software process modeling and execution. In: Wang, Q., Garousi, V., Madachy, R., Pfahl, D. (eds.) ICSP 2009. LNCS, vol.\u00a05543, pp. 148\u2013160. Springer, Heidelberg (2009)"},{"issue":"2","key":"20_CR10","first-page":"127","volume":"2","author":"D.E. Knuth","year":"1968","unstructured":"Knuth, D.E.: Semantics of context-free languages. Theory of Computing Systems\u00a02(2), 127\u2013145 (1968)","journal-title":"Theory of Computing Systems"},{"issue":"10","key":"20_CR11","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"C.A.R. Hoare","year":"1969","unstructured":"Hoare, C.A.R.: An axiomatic basis for computer programming. Communications of the ACM\u00a012(10), 576\u2013580 (1969)","journal-title":"Communications of the ACM"},{"key":"20_CR12","doi-asserted-by":"crossref","unstructured":"Gries, D.: The science of programming, vol. 198. Springer (1981)","DOI":"10.1007\/978-1-4612-5983-1"},{"key":"20_CR13","doi-asserted-by":"crossref","unstructured":"Winskel, G.: The formal semantics of programming languages: an introduction. MIT press (1993)","DOI":"10.7551\/mitpress\/3054.001.0001"},{"key":"20_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"246","DOI":"10.1007\/BFb0039064","volume-title":"CONCUR \u201990","author":"L.A. Fredlund","year":"1990","unstructured":"Fredlund, L.A., Jonsson, B., Parrow, J.: An implementation of a translational semantics for an imperative language. In: Baeten, J.C.M., Klop, J.W. (eds.) CONCUR 1990. LNCS, vol.\u00a0458, pp. 246\u2013262. Springer, Heidelberg (1990)"},{"key":"20_CR15","volume-title":"Toward a mathematical semantics for computer languages","author":"D.S. Scott","year":"1971","unstructured":"Scott, D.S., Strachey, C.: Toward a mathematical semantics for computer languages. Oxford University Computing Laboratory, Programming Research Group (1971)"},{"key":"20_CR16","unstructured":"Milner, R.: A calculus of communicating systems. Springer (1982)"},{"issue":"8","key":"20_CR17","doi-asserted-by":"publisher","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C.A.R. Hoare","year":"1978","unstructured":"Hoare, C.A.R.: Communicating sequential processes. Communications of the ACM\u00a021(8), 666\u2013677 (1978)","journal-title":"Communications of the ACM"},{"key":"20_CR18","doi-asserted-by":"crossref","unstructured":"Petri, C.A.: Introduction to general net theory. In: Advanced Course: Net Theory and Applications, pp. 1\u201319 (1975)","DOI":"10.1007\/3-540-10001-6_21"},{"key":"20_CR19","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1007\/3-540-17906-2_31","volume-title":"Petri Nets: Applications and Relationships to Other Models of Concurrency","author":"G. Winskel","year":"1987","unstructured":"Winskel, G.: Event structures. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) Petri Nets: Applications and Relationships to Other Models of Concurrency. LNCS, vol.\u00a0255, pp. 325\u2013392. Springer, Heidelberg (1987)"},{"key":"20_CR20","first-page":"21","volume":"62","author":"J. McCarthy","year":"1962","unstructured":"McCarthy, J.: Towards a mathematical science of computation. Information Processing\u00a062, 21\u201328 (1962)","journal-title":"Information Processing"},{"key":"20_CR21","doi-asserted-by":"crossref","unstructured":"Boulanger, F., Hardebolle, C.: Simulation of Multi-Formalism Models with ModHel\u2019X. In: ICST, pp. 318\u2013327. IEEE (2008)","DOI":"10.1109\/ICST.2008.15"},{"key":"20_CR22","unstructured":"Object Management Group, Inc.: Meta Object Facility (MOF) 2.0 Core (2006)"},{"key":"20_CR23","unstructured":"Steinberg, D., Budinsky, F., Paternostro, M., Merks, E.: EMF: Eclipse Modeling Framework, 2nd edn. Addison-Wesley (2008)"},{"key":"20_CR24","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":"20_CR25","unstructured":"Meyer, B.: Eiffel: The language. Prentice-Hall, Inc. (1992)"},{"key":"20_CR26","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":"20_CR27","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":"20_CR28","unstructured":"Deantoni, J., Mallet, F.: ECL: The Event Constraint Language, an Extension of OCL with Events. Research report RR-8031, INRIA (July 2012)"},{"key":"20_CR29","unstructured":"Object Management Group, Inc.: UML Object Constraint Language (OCL) 2.0 (2003)"},{"key":"20_CR30","doi-asserted-by":"crossref","unstructured":"J\u00e9z\u00e9quel, J.M., Combemale, B., Barais, O., Monperrus, M., Fouquet, F.: Mashup of metalanguages and its implementation in the kermeta language workbench. In: SoSyM (2013)","DOI":"10.1007\/s10270-013-0354-4"},{"key":"20_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1007\/978-3-642-30561-0_4","volume-title":"Objects, Models, Components, Patterns","author":"J. DeAntoni","year":"2012","unstructured":"DeAntoni, J., Mallet, F.: TimeSquare: Treat Your Models with Logical Time. In: Furia, C.A., Nanz, S. (eds.) TOOLS 2012. LNCS, vol.\u00a07304, pp. 34\u201341. Springer, Heidelberg (2012)"},{"key":"20_CR32","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":"20_CR33","doi-asserted-by":"crossref","unstructured":"Ekman, T., Hedin, G.: The JastAdd system \u2013 modular extensible compiler construction. Sci. Comput. Program, 14\u201326 (2007)","DOI":"10.1016\/j.scico.2007.02.003"},{"key":"20_CR34","doi-asserted-by":"crossref","unstructured":"Volter, M.: From Programming to Modeling-and Back Again. IEEE Software 28(6) (2011)","DOI":"10.1109\/MS.2011.139"},{"key":"20_CR35","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":"20_CR36","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":"20_CR37","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"},{"key":"20_CR38","doi-asserted-by":"crossref","unstructured":"Sztipanovits, J., Karsai, G.: Model-Integrated Computing. IEEE Computer 30(4) (1997)","DOI":"10.1109\/2.585163"},{"key":"20_CR39","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, 92\u201393. ACM (2003)","DOI":"10.1145\/949352.949365"},{"key":"20_CR40","unstructured":"Cook, S., Jones, G., Kent, S., Wills, A.: Domain-Specific Development with Visual Studio DSL Tools. Addison-Wesley Professional (2007)"},{"key":"20_CR41","doi-asserted-by":"crossref","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 (2008)","DOI":"10.1007\/978-3-540-69824-1_17"},{"key":"20_CR42","doi-asserted-by":"crossref","unstructured":"Kats, L.C., Visser, E.: The spoofax language workbench: rules for declarative specification of languages and IDEs. In: OOPSLA, pp. 444\u2013463. ACM (2010)","DOI":"10.1145\/1869459.1869497"},{"key":"20_CR43","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1007\/978-3-642-35992-7_11","volume-title":"Generative and Transformational Techniques in Software Engineering IV","author":"M. Voelter","year":"2013","unstructured":"Voelter, M.: Language and IDE Modularization and Composition with MPS. In: L\u00e4mmel, R., Saraiva, J., Visser, J. (eds.) GTTSE 2011. LNCS, vol.\u00a07680, pp. 383\u2013430. Springer, Heidelberg (2013)"},{"issue":"3","key":"20_CR44","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)","journal-title":"International Journal of Computers and their Applications"},{"issue":"1","key":"20_CR45","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1109\/TCAD.2003.819898","volume":"23","author":"I. Sander","year":"2004","unstructured":"Sander, I., Jantsch, A.: System Modeling and Transformational Design Refinement in ForSyDe. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems\u00a023(1), 17\u201332 (2004)","journal-title":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"},{"key":"20_CR46","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":"20_CR47","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)"}],"container-title":["Lecture Notes in Computer Science","Software Language Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-02654-1_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T17:42:54Z","timestamp":1746034974000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-02654-1_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783319026534","9783319026541"],"references-count":47,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-02654-1_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}