{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,5]],"date-time":"2026-10-05T03:20:24Z","timestamp":1791170424110,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":34,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642034282","type":"print"},{"value":"9783642034299","type":"electronic"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-03429-9_6","type":"book-chapter","created":{"date-parts":[[2009,8,28]],"date-time":"2009-08-28T08:12:52Z","timestamp":1251447172000},"page":"71-87","source":"Crossref","is-referenced-by-count":36,"title":["What Is a Multi-modeling Language?"],"prefix":"10.1007","author":[{"given":"Artur","family":"Boronat","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alexander","family":"Knapp","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jos\u00e9","family":"Meseguer","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Martin","family":"Wirsing","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"6_CR1","unstructured":"The AGG website (1997), \n                    \n                      http:\/\/tfs.cs.tu-berlin.de\/agg\/"},{"issue":"4","key":"6_CR2","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/s10270-003-0032-z","volume":"2","author":"D.H. Akehurst","year":"2003","unstructured":"Akehurst, D.H., Kent, S., Patrascoiu, O.: A Relational Approach to Defining and Implementing Transformations Between Metamodels. Softw. Sys. Model.\u00a02(4), 215\u2013239 (2003)","journal-title":"Softw. Sys. Model."},{"key":"6_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"436","DOI":"10.1007\/978-3-540-75209-7_30","volume-title":"Model Driven Engineering Languages and Systems","author":"K. Anastasakis","year":"2007","unstructured":"Anastasakis, K., Bordbar, B., Georg, G., Ray, I.: UML2Alloy: A Challenging Model Transformation. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol.\u00a04735, pp. 436\u2013450. Springer, Heidelberg (2007)"},{"key":"6_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1007\/3-540-10003-2_61","volume-title":"Proc. ICALP 1980","author":"J.A. Bergstra","year":"1980","unstructured":"Bergstra, J.A., Tucker, J.V.: A Characterisation of Computable Data Types by Means of a Finite Equational Specification Method. In: Proc. ICALP 1980. LNCS, vol.\u00a085, pp. 76\u201390. Springer, Heidelberg (1980)"},{"key":"6_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/978-3-540-87875-9_4","volume-title":"Model Driven Engineering Languages and Systems","author":"E. Biermann","year":"2008","unstructured":"Biermann, E., Ermel, C., Taentzer, G.: Precise Semantics of EMF Model Transformations by Graph Transformation. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., V\u00f6lter, M. (eds.) MODELS 2008. LNCS, vol.\u00a05301, pp. 53\u201367. Springer, Heidelberg (2008)"},{"key":"6_CR6","unstructured":"Boronat, A., Heckel, R., Meseguer, J.: Rewriting Logic Semantics and Verification of Model Transformations. Technical Report CS-08-004, University of Leicester (2008)"},{"key":"6_CR7","unstructured":"Boronat, A., Knapp, A., Meseguer, J., Wirsing, M.: What is a Multi-Modeling Language? Technical Report UIUCDCS-R-2008-3006, UIUC (2008), \n                    \n                      http:\/\/www.cs.uiuc.edu\/research\/techreports.php?report=UIUCDCS-R-2008-3006"},{"key":"6_CR8","unstructured":"Boronat, A., Meseguer, J.: Algebraic Semantics of OCL-constrained Metamodel Specifications. Technical Report UIUCDCS-R-2008-2995, University of Illinois, Urbana Champaign (2008)"},{"key":"6_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1007\/978-3-540-78743-3_28","volume-title":"Fundamental Approaches to Software Engineering","author":"A. Boronat","year":"2008","unstructured":"Boronat, A., Meseguer, J.: An Algebraic Semantics for MOF. In: Fiadeiro, J.L., Inverardi, P. (eds.) FASE 2008. LNCS, vol.\u00a04961, pp. 377\u2013391. Springer, Heidelberg (2008)"},{"key":"6_CR10","unstructured":"Broy, M., Cengarle, M.V., Rumpe, B.: Semantics of UML \u2013 Towards a System Model for UML: The Structural Data Model. Technical Report TUM-I0612, Technische Universit\u00e4t M\u00fcnchen (2006)"},{"key":"6_CR11","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-0091-5","volume-title":"Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement","author":"M. Broy","year":"2001","unstructured":"Broy, M., St\u00f8len, K.: Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement. Springer, Heidelberg (2001)"},{"key":"6_CR12","unstructured":"Cengarle, M.V., Knapp, A.: An Institution for UML 2.0 Static Structures. Technical Report TUM-I0807, Technische Universit\u00e4t M\u00fcnchen (2008)"},{"key":"6_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"383","DOI":"10.1007\/978-3-540-68679-8_23","volume-title":"Festschrift for Ugo Montanari","author":"M.V. Cengarle","year":"2008","unstructured":"Cengarle, M.V., Knapp, A., Tarlecki, A., Wirsing, M.: A Heterogeneous Approach to UML Semantics. In: WISTP 2008. LNCS, vol.\u00a05019, pp. 383\u2013402. Springer, Heidelberg (2008)"},{"key":"6_CR14","series-title":"Lecture Notes in Computer Science","volume-title":"All About Maude","author":"M. Clavel","year":"2007","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Meseguer, J., Lincoln, P., Mart\u00ed-Oliet, N., Talcott, C.: All About Maude. LNCS, vol.\u00a04350. Springer, Heidelberg (2007)"},{"issue":"6","key":"6_CR15","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1145\/362384.362685","volume":"13","author":"E.F. Codd","year":"1970","unstructured":"Codd, E.F.: A Relational Model of Data for Large Shared Data Banks. Comm. ACM\u00a013(6), 377\u2013387 (1970)","journal-title":"Comm. ACM"},{"key":"6_CR16","volume-title":"Institution-Independent Model Theory","author":"R. Diaconescu","year":"2008","unstructured":"Diaconescu, R.: Institution-Independent Model Theory. Birkh\u00e4user, Basel (2008)"},{"issue":"4","key":"6_CR17","doi-asserted-by":"publisher","first-page":"457","DOI":"10.1142\/S0218194097000266","volume":"7","author":"G. Engels","year":"1997","unstructured":"Engels, G., Heckel, R., Taentzer, G., Ehrig, H.: A Combined Reference Model- and View-Based Approach to System Specification. Int. J. Softw. Knowl. Eng.\u00a07(4), 457\u2013477 (1997)","journal-title":"Int. J. Softw. Knowl. Eng."},{"key":"6_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/3-540-53912-3_17","volume-title":"Algebraic Methods II: Theory, Tools and Applications","author":"A. Finkelstein","year":"1991","unstructured":"Finkelstein, A., Goedicke, M., Kramer, J., Niskier, C.: Viewpoint Oriented Software Development: Methods and Viewpoints in Requirements Engineering. In: Bergstra, J.A., Feijs, L.M.G. (eds.) Algebraic Methods 1989. LNCS, vol.\u00a0490, pp. 29\u201354. Springer, Heidelberg (1991)"},{"issue":"1","key":"6_CR19","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"J.A. Goguen","year":"1992","unstructured":"Goguen, J.A., Burstall, R.M.: Institutions: Abstract Model Theory for Specification and Programming. J. ACM\u00a039(1), 95\u2013146 (1992)","journal-title":"J. ACM"},{"issue":"3\u20135","key":"6_CR20","doi-asserted-by":"publisher","first-page":"274","DOI":"10.1007\/s001650200013","volume":"13","author":"J.A. Goguen","year":"2002","unstructured":"Goguen, J.A., Rosu, G.: Institution Morphisms. Form. Asp. Comp.\u00a013(3\u20135), 274\u2013307 (2002)","journal-title":"Form. Asp. Comp."},{"key":"6_CR21","volume-title":"Categories for the Working Mathematician","author":"S. MacLane","year":"1971","unstructured":"MacLane, S.: Categories for the Working Mathematician. Springer, Heidelberg (1971)"},{"key":"6_CR22","first-page":"275","volume-title":"Logic Coll. 1987","author":"J. Meseguer","year":"1989","unstructured":"Meseguer, J.: General Logics. In: Logic Coll. 1987, pp. 275\u2013329. North Holland, Amsterdam (1989)"},{"key":"6_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/3-540-64299-4_26","volume-title":"Recent Trends in Algebraic Development Techniques","author":"J. Meseguer","year":"1998","unstructured":"Meseguer, J.: Membership Algebra as a Logical Framework for Equational Specification. In: Parisi-Presicce, F. (ed.) WADT 1997. LNCS, vol.\u00a01376, pp. 18\u201361. Springer, Heidelberg (1998)"},{"key":"6_CR24","volume-title":"Heterogeneous Specification and the Heterogeneous Tool Set","author":"T. Mossakowski","year":"2005","unstructured":"Mossakowski, T.: Heterogeneous Specification and the Heterogeneous Tool Set. Habilitationsschrift, Universit\u00e4t Bremen (2005)"},{"key":"6_CR25","unstructured":"Mossakowski, T., Tarlecki, A.: Heterogeneous Specification (in preparation)"},{"key":"6_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"266","DOI":"10.1007\/978-3-642-03429-9_18","volume-title":"WADT 2008","author":"T. Mossakowski","year":"2009","unstructured":"Mossakowski, T., Tarlecki, A.: Heterogeneous Logical Environments for Distributed Specifications. In: WADT 2008. LNCS, vol.\u00a05486, pp. 266\u2013289. Springer, Heidelberg (2009)"},{"key":"6_CR27","unstructured":"Object Management Group. MDA Guide Version 1.0.1. Technical report, OMG (2003) \n                    \n                      www.omg.org\/docs\/omg\/03-06-01.pdf"},{"key":"6_CR28","unstructured":"Object Management Group. MOF 2.0 Core Specification. Technical report, OMG (2006) \n                    \n                      www.omg.org\/cgi-bin\/doc?formal\/2006-01-01"},{"key":"6_CR29","first-page":"1845","volume-title":"Proc. SAC 2006","author":"I. Poernomo","year":"2006","unstructured":"Poernomo, I.: The Meta-Object Facility Typed. In: Proc. SAC 2006, pp. 1845\u20131849. ACM, New York (2006)"},{"key":"6_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1007\/978-3-540-69927-9_15","volume-title":"Theory and Practice of Model Transformations","author":"I. Poernomo","year":"2008","unstructured":"Poernomo, I.: Proofs-as-Model-Transformations. In: Vallecillo, A., Gray, J., Pierantonio, A. (eds.) ICMT 2008. LNCS, vol.\u00a05063, pp. 214\u2013228. Springer, Heidelberg (2008)"},{"key":"6_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"478","DOI":"10.1007\/3-540-61629-2_59","volume-title":"Proc. WADT 1995","author":"A. Tarlecki","year":"1996","unstructured":"Tarlecki, A.: Moving between Logical Systems. In: Proc. WADT 1995. LNCS, vol.\u00a01130, pp. 478\u2013502. Springer, Heidelberg (1996)"},{"issue":"3","key":"6_CR32","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/j.scico.2007.05.004","volume":"68","author":"D. Varr\u00f3","year":"2007","unstructured":"Varr\u00f3, D., Balogh, A.: The Model Transformation Language of the VIATRA2 Framework. Sci. Comp. Prog.\u00a068(3), 187\u2013207 (2007)","journal-title":"Sci. Comp. Prog."},{"key":"6_CR33","volume-title":"Behavioural Subtyping in Object-Oriented Specification Formalisms","author":"H. Wehrheim","year":"2002","unstructured":"Wehrheim, H.: Behavioural Subtyping in Object-Oriented Specification Formalisms. Habilitationsschrift, Carl-von-Ossietzky-Universit\u00e4t Oldenburg (2002)"},{"key":"6_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1007\/978-3-540-24626-8_24","volume-title":"Radical Innovations of Software and Systems Engineering in the Future","author":"M. Wirsing","year":"2004","unstructured":"Wirsing, M., Knapp, A.: View Consistency in Software Development. In: Wirsing, M., Knapp, A., Balsamo, S. (eds.) RISSEF 2002. LNCS, vol.\u00a02941, pp. 341\u2013357. Springer, Heidelberg (2004)"}],"container-title":["Lecture Notes in Computer Science","Recent Trends in Algebraic Development Techniques"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-03429-9_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,10,6]],"date-time":"2018-10-06T16:04:31Z","timestamp":1538841871000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-03429-9_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642034282","9783642034299"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-03429-9_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009]]}}}