{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,9]],"date-time":"2025-12-09T08:17:02Z","timestamp":1765268222993},"publisher-location":"Cham","reference-count":30,"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_4","type":"book-chapter","created":{"date-parts":[[2013,10,21]],"date-time":"2013-10-21T01:25:32Z","timestamp":1382318732000},"page":"56-75","source":"Crossref","is-referenced-by-count":34,"title":["xMOF: Executable DSMLs Based on fUML"],"prefix":"10.1007","author":[{"given":"Tanja","family":"Mayerhofer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Philip","family":"Langer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manuel","family":"Wimmer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gerti","family":"Kappel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"4_CR1","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. Computer Science and Information Systems\u00a08(2), 225\u2013253 (2011)","journal-title":"Computer Science and Information Systems"},{"key":"4_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/11581741_10","volume-title":"Model Driven Architecture \u2013 Foundations and Applications","author":"K. Chen","year":"2005","unstructured":"Chen, K., Sztipanovits, J., Abdelwalhed, S., Jackson, E.: Semantic anchoring with model transformations. In: Hartman, A., Kreische, D. (eds.) ECMDA-FA 2005. LNCS, vol.\u00a03748, pp. 115\u2013129. Springer, Heidelberg (2005)"},{"key":"4_CR3","volume-title":"Applied Metamodelling: A Foundation for Language Driven Development","author":"T. Clark","year":"2004","unstructured":"Clark, T., Evans, A., Sammut, P., Willans, J.: Applied Metamodelling: A Foundation for Language Driven Development. Ceteva, Sheffield (2004)"},{"key":"4_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"604","DOI":"10.1007\/11880240_42","volume-title":"Model Driven Engineering Languages and Systems","author":"S. Ducasse","year":"2006","unstructured":"Ducasse, S., G\u00eerba, T.: Using Smalltalk as a Reflective Executable Meta-language. In: Wang, J., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol.\u00a04199, pp. 604\u2013618. Springer, Heidelberg (2006)"},{"key":"4_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1007\/3-540-40011-7_23","volume-title":"UML 2000 - The Unified Modeling Language. Advancing the Standard","author":"G. Engels","year":"2000","unstructured":"Engels, G., Hausmann, J.H., Heckel, R., Sauer, S.: Dynamic Meta Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML. In: Evans, A., Caskurlu, B., Selic, B. (eds.) UML 2000. LNCS, vol.\u00a01939, pp. 323\u2013337. Springer, Heidelberg (2000)"},{"key":"4_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1007\/978-3-642-02138-1_10","volume-title":"Formal Techniques for Distributed Systems","author":"H. Gr\u00f6nniger","year":"2009","unstructured":"Gr\u00f6nniger, H., Ringert, J.O., Rumpe, B.: System Model-Based Definition of Modeling Language Semantics. In: Lee, D., Lopes, A., Poetzsch-Heffter, A. (eds.) FMOODS 2009. LNCS, vol.\u00a05522, pp. 152\u2013166. Springer, Heidelberg (2009)"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Kats, L.C.L., Visser, E.: The Spoofax language workbench. In: Companion to the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), pp. 237\u2013238. ACM (2010)","DOI":"10.1145\/1869459.1869497"},{"key":"4_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/11787044_11","volume-title":"Model Driven Architecture \u2013 Foundations and Applications","author":"D.S. Kolovos","year":"2006","unstructured":"Kolovos, D.S., Paige, R.F., Polack, F.A.C.: The Epsilon Object Language (EOL). In: Rensink, A., Warmer, J. (eds.) ECMDA-FA 2006. LNCS, vol.\u00a04066, pp. 128\u2013142. Springer, Heidelberg (2006)"},{"issue":"4","key":"4_CR9","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1007\/s10270-006-0017-9","volume":"5","author":"T. K\u00fchne","year":"2006","unstructured":"K\u00fchne, T.: Matters of (Meta-)Modeling. Software and System Modeling\u00a05(4), 369\u2013385 (2006)","journal-title":"Software and System Modeling"},{"key":"4_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"240","DOI":"10.1007\/978-3-642-12261-3_23","volume-title":"Models in Software Engineering","author":"T. K\u00fchne","year":"2010","unstructured":"K\u00fchne, T., Mezei, G., Syriani, E., Vangheluwe, H., Wimmer, M.: Explicit Transformation Modeling. In: Ghosh, S. (ed.) MODELS 2009. LNCS, vol.\u00a06002, pp. 240\u2013255. Springer, Heidelberg (2010)"},{"key":"4_CR11","unstructured":"Kurtev, I., B\u00e9zivin, J., Aksit, M.: Technological Spaces: An Initial Appraisal. In: Proceedings of the International Symposium on Distributed Objects and Applications, DOA (2002)"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Lai, Q., Carpenter, A.: Defining and verifying behaviour of domain specific language with fUML. In: Proceedings of the 4th Workshop on Behaviour Modeling - Foundations and Applications (BM-FA) @ ECMFA 2012, pp. 1\u20137. ACM (2012)","DOI":"10.1145\/2325276.2325277"},{"issue":"1","key":"4_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.5381\/jot.2012.11.1.a8","volume":"11","author":"P. Langer","year":"2012","unstructured":"Langer, P., Wieland, K., Wimmer, M., Cabot, J.: EMF Profiles: A Lightweight Extension Approach for EMF Models. Journal of Object Technology\u00a011(1), 1\u201329 (2012)","journal-title":"Journal of Object Technology"},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"Mayerhofer, T., Langer, P., Kappel, G.: A runtime model for fUML. In: Proceedings of the 7th Workshop on Models@run.time (MRT) @ MoDELS 2012, pp. 53\u201358. ACM (2012)","DOI":"10.1145\/2422518.2422527"},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"Mayerhofer, T., Langer, P., Wimmer, M.: Towards xMOF: Executable DSMLs based on fUML. In: Proceedings of the 12th Workshop on Domain-Specific Modeling (DSM) @ SPLASH 2012, pp. 1\u20136. ACM (2012)","DOI":"10.1145\/2420918.2420920"},{"issue":"4","key":"4_CR16","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":"4_CR17","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":"4_CR18","unstructured":"Object Management Group. Action Language for Foundational UML (Alf), Version Beta 1 (October 2010), \n                    \n                      http:\/\/www.omg.org\/spec\/ALF\/1.0\/Beta1"},{"key":"4_CR19","unstructured":"Object Management Group. OMG Meta Object Facility (MOF) Core Specification, Version 2.4.1 (August 2011), \n                    \n                      http:\/\/www.omg.org\/spec\/MOF\/2.4.1"},{"key":"4_CR20","unstructured":"Object Management Group. Semantics of a Foundational Subset for Executable UML Models (fUML), Version 1.0 (February 2011), \n                    \n                      http:\/\/www.omg.org\/spec\/FUML\/1.0"},{"key":"4_CR21","unstructured":"Paige, R., Brooke, P., Ostroff, J.: Specification-driven development of an executable metamodel in Eiffel. In: Proceedings of the 3rd Workshop in Software Model Engineering (WiSME) @ UML 2004 (2004)"},{"key":"4_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/978-3-642-16310-4_12","volume-title":"Rewriting Logic and Its Applications","author":"J.E. Rivera","year":"2010","unstructured":"Rivera, J.E., Dur\u00e1n, F., Vallecillo, A.: On the Behavioral Semantics of Real-Time Domain Specific Visual Languages. In: \u00d6lveczky, P.C. (ed.) WRLA 2010. LNCS, vol.\u00a06381, pp. 174\u2013190. Springer, Heidelberg (2010)"},{"key":"4_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1007\/978-3-540-72901-3_12","volume-title":"Model Driven Architecture - Foundations and Applications","author":"M. Scheidgen","year":"2007","unstructured":"Scheidgen, M., Fischer, J.: Human Comprehensible and Machine Processable Specifications of Operational Semantics. In: Akehurst, D.H., Vogel, R., Paige, R.F. (eds.) ECMDA-FA. LNCS, vol.\u00a04530, pp. 157\u2013171. Springer, Heidelberg (2007)"},{"key":"4_CR24","doi-asserted-by":"crossref","unstructured":"Soden, M., Eichler, H.: Towards a model execution framework for Eclipse. In: Proceedings of the 1st Workshop on Behaviour Modeling - Foundations and Applications (BM-FA) @ ECMFA 2009, pp. 1\u20137. ACM (2009)","DOI":"10.1145\/1555852.1555856"},{"key":"4_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/978-3-642-16277-0_3","volume-title":"Model-Based Engineering of Embedded Real-Time Systems","author":"J. Sprinkle","year":"2010","unstructured":"Sprinkle, J., Rumpe, B., Vangheluwe, H., Karsai, G.: Metamodelling - State of the Art and Research Challenges. In: Giese, H., Karsai, G., Lee, E., Rumpe, B., Sch\u00e4tz, B. (eds.) Model-Based Engineering of Embedded Real-Time Systems. LNCS, vol.\u00a06100, pp. 57\u201376. Springer, Heidelberg (2010)"},{"key":"4_CR26","unstructured":"Steinberg, D., Budinsky, F., Paternostro, M., Merks, E.: EMF: Eclipse Modeling Framework, 2nd edn. Addison-Wesley Professional (2008)"},{"issue":"15","key":"4_CR27","doi-asserted-by":"publisher","first-page":"1253","DOI":"10.1002\/spe.936","volume":"39","author":"M. Strembeck","year":"2009","unstructured":"Strembeck, M., Zdun, U.: An approach for the systematic development of domain-specific languages. Software: Practice and Experience\u00a039(15), 1253\u20131292 (2009)","journal-title":"Software: Practice and Experience"},{"issue":"6","key":"4_CR28","doi-asserted-by":"publisher","first-page":"445","DOI":"10.1016\/S0306-4379(02)00014-5","volume":"27","author":"G. Suny\u00e9","year":"2002","unstructured":"Suny\u00e9, G., Guennec, A.L., J\u00e9z\u00e9quel, J.-M.: Using UML Action Semantics for model execution and transformation. Information Systems\u00a027(6), 445\u2013457 (2002)","journal-title":"Information Systems"},{"key":"4_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"433","DOI":"10.1007\/3-540-45341-5_29","volume-title":"Advanced Information Systems Engineering","author":"G. Suny\u00e9","year":"2001","unstructured":"Suny\u00e9, G., Pennaneac\u2019h, F., Ho, W.-M., Le Guennec, A., J\u00e9z\u00e9quel, J.-M.: Using UML Action Semantics for Executable Modeling and Beyond. In: Dittrich, K.R., Geppert, A., Norrie, M. (eds.) CAiSE 2001. LNCS, vol.\u00a02068, pp. 433\u2013447. Springer, Heidelberg (2001)"},{"key":"4_CR30","doi-asserted-by":"crossref","unstructured":"van den Bos, J., Hills, M., Klint, P., van der Storm, T., Vinju, J.J.: Rascal: From Algebraic Specification to Meta-Programming. In: Proceedings of the 2nd International Workshop on Algebraic Methods in Model-based Software Engineering (AMMSE). EPTCS, vol.\u00a056, pp. 15\u201332 (2011)","DOI":"10.4204\/EPTCS.56.2"}],"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_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T16:49:49Z","timestamp":1558630189000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-02654-1_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783319026534","9783319026541"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-02654-1_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}