{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,13]],"date-time":"2026-02-13T10:16:48Z","timestamp":1770977808800,"version":"3.50.1"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319150741","type":"print"},{"value":"9783319150758","type":"electronic"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-15075-8_5","type":"book-chapter","created":{"date-parts":[[2015,1,6]],"date-time":"2015-01-06T10:05:27Z","timestamp":1420538727000},"page":"64-79","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Model-Driven Engineering in the Heterogeneous Tool Set"],"prefix":"10.1007","author":[{"given":"Daniel","family":"Calegari","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Till","family":"Mossakowski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nora","family":"Szasz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,1,7]]},"reference":[{"key":"5_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"286","DOI":"10.1007\/3-540-47884-1_16","volume-title":"Integrated Formal Methods","author":"S Kent","year":"2002","unstructured":"Kent, S.: Model driven engineering. In: Butler, M., Petre, L., Sere, K. (eds.) IFM 2002. LNCS, vol. 2335, pp. 286\u2013298. Springer, Heidelberg (2002)"},{"key":"5_CR2","first-page":"5","volume":"292","author":"D Calegari","year":"2013","unstructured":"Calegari, D., Szasz, N.: Verification of model transformations: A survey of the state-of-the-art. ENTCS 292, 5\u201325 (2013)","journal-title":"ENTCS"},{"key":"5_CR3","unstructured":"Mossakowski, T.: Heterogeneous specification and the heterogeneous tool set. Technical report, Universitaet Bremen, Habilitation thesis (2005)"},{"key":"5_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1007\/978-3-642-41071-0_4","volume-title":"Formal Methods: Foundations and Applications","author":"D Calegari","year":"2013","unstructured":"Calegari, D., Szasz, N.: Institution-based semantics for MOF and QVT-relations. In: Iyoda, J., de Moura, L. (eds.) SBMF 2013. LNCS, vol. 8195, pp. 34\u201350. Springer, Heidelberg (2013)"},{"key":"5_CR5","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"JA Goguen","year":"1992","unstructured":"Goguen, J.A., Burstall, R.M.: Institutions: Abstract model theory for specification and programming. J. ACM 39, 95\u2013146 (1992)","journal-title":"J. ACM"},{"key":"5_CR6","first-page":"285","volume":"22","author":"T Mossakowski","year":"2003","unstructured":"Mossakowski, T., Haxthausen, A.E., Sannella, D., Tarlecki, A.: Casl - the common algebraic specification language: Semantics and proof theory. Computers and Artificial Intelligence 22, 285\u2013321 (2003)","journal-title":"Computers and Artificial Intelligence"},{"key":"5_CR7","unstructured":"OMG: Meta Object Facility (MOF) 2.0 Core Specification. Specification Version 2.0, Object Management Group (2003)"},{"key":"5_CR8","unstructured":"OMG: Object Constraint Language. Formal Specification Version 2.2, Object Management Group (2010)"},{"key":"5_CR9","unstructured":"OMG: Meta Object Facility (MOF) 2.0 Query\/View\/Transformation. Final Adopted Specification Version 1.1, Object Management Group (2009)"},{"key":"5_CR10","unstructured":"Calegari, D.: Heterogeneous Verification of Model Transformations. PhD thesis, Universidad de la Rep\u00fablica - PEDECIBA (2014). https:\/\/www.fing.edu.uy\/inco\/pedeciba\/bibliote\/tesis\/tesisd-calegari.pdf"},{"key":"5_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1007\/978-3-642-03429-9_7","volume-title":"Recent Trends in Algebraic Development Techniques","author":"M Codescu","year":"2009","unstructured":"Codescu, M.: Generalized theoroidal institution comorphisms. In: Corradini, A., Montanari, U. (eds.) WADT 2008. LNCS, vol. 5486, pp. 88\u2013101. Springer, Heidelberg (2009)"},{"key":"5_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/978-3-642-00593-0_2","volume-title":"Fundamental Approaches to Software Engineering","author":"A Boronat","year":"2009","unstructured":"Boronat, A., Heckel, R., Meseguer, J.: Rewriting logic semantics and verification of model transformations. In: Chechik, M., Wirsing, M. (eds.) FASE 2009. LNCS, vol. 5503, pp. 18\u201333. Springer, Heidelberg (2009)"},{"key":"5_CR13","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1016\/B978-0-12-396526-4.00003-5","volume":"85","author":"K Lano","year":"2012","unstructured":"Lano, K., Rahimi, S.K.: Model transformation specification and design. Advances in Computers 85, 123\u2013163 (2012)","journal-title":"Advances in Computers"},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"Shan, L., Zhu, H.: Semantics of metamodels in UML. In: Chin, W., Qin, S. (eds.) TASE 2009, pp. 55\u201362. IEEE Computer Society (2009)","DOI":"10.1109\/TASE.2009.62"},{"key":"5_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1007\/3-540-46852-8_29","volume-title":"\u00abUML\u00bb \u201999 - The Unified Modeling Language. Beyond the Standard","author":"M Bidoit","year":"1999","unstructured":"Bidoit, M., Hennicker, R., Tort, F., Wirsing, M.: Correct realizations of interface constraints with OCL. In: France, R., Rumpe, B. (eds.) UML 1999. LNCS, vol. 1723, pp. 399\u2013415. Springer, Heidelberg (1999)"},{"key":"5_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1007\/978-3-642-37635-1_11","volume-title":"Recent Trends in Algebraic Development Techniques","author":"P James","year":"2013","unstructured":"James, P., Knapp, A., Mossakowski, T., Roggenbach, M.: Designing domain specific languages \u2013 a craftsman\u2019s approach for the railway domain using Casl. In: Mart\u00ed-Oliet, N., Palomino, M. (eds.) WADT 2012. LNCS, vol. 7841, pp. 178\u2013194. Springer, Heidelberg (2013)"},{"key":"5_CR17","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1016\/S0304-3975(01)00361-9","volume":"285","author":"R Diaconescu","year":"2002","unstructured":"Diaconescu, R., Futatsugi, K.: Logical foundations of CafeOBJ. Theor. Comput. Sci. 285, 289\u2013318 (2002)","journal-title":"Theor. Comput. Sci."},{"key":"5_CR18","doi-asserted-by":"crossref","unstructured":"Gim\u00e9nez, M., Moscato, M.M., Pombo, C.G.L., Frias, M.F.: Heterogenius: a framework for hybrid analysis of heterogeneous software specifications. In: Aguirre, N., Ribeiro, L. (eds.) LAFM 2013. EPTCS, Vol. 139, pp. 65\u201370 (2014)","DOI":"10.4204\/EPTCS.139.7"},{"key":"5_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1007\/978-3-540-68679-8_23","volume-title":"Concurrency, Graphs and Models","author":"MV Cengarle","year":"2008","unstructured":"Cengarle, M.V., Knapp, A., Tarlecki, A., Wirsing, M.: A heterogeneous approach to UML semantics. In: Degano, P., De Nicola, R., Meseguer, J. (eds.) Montanari Fest. LNCS, vol. 5065, pp. 383\u2013402. Springer, Heidelberg (2008)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods: Foundations and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-15075-8_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,28]],"date-time":"2023-01-28T11:03:45Z","timestamp":1674903825000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-15075-8_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319150741","9783319150758"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-15075-8_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"7 January 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}