{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T00:47:53Z","timestamp":1725670073822},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642288715"},{"type":"electronic","value":"9783642288722"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-28872-2_12","type":"book-chapter","created":{"date-parts":[[2012,3,22]],"date-time":"2012-03-22T20:48:16Z","timestamp":1332449296000},"page":"163-177","source":"Crossref","is-referenced-by-count":22,"title":["Intermodeling, Queries, and Kleisli Categories"],"prefix":"10.1007","author":[{"given":"Zinovy","family":"Diskin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tom","family":"Maibaum","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Krzysztof","family":"Czarnecki","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"376","DOI":"10.1007\/978-3-642-16145-2_26","volume-title":"Model Driven Engineering Languages and Systems","author":"E. Guerra","year":"2010","unstructured":"Guerra, E., de Lara, J., Kolovos, D.S., Paige, R.F.: Inter-modelling: From Theory to Practice. In: Petriu, D.C., Rouquette, N., Haugen, \u00d8. (eds.) MODELS 2010. LNCS, vol.\u00a06394, pp. 376\u2013391. Springer, Heidelberg (2010)"},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"Romero, J., Jaen, J., Vallecillo, A.: Realizing correspondences in multi-viewpoint specifications. In: EDOC, pp. 163\u2013172. IEEE Computer Society (2009)","DOI":"10.1109\/EDOC.2009.23"},{"key":"12_CR3","unstructured":"Bernstein, P.: Applying model management to classical metadata problems. In: Proc. CIDR 2003, pp. 209\u2013220 (2003)"},{"issue":"1","key":"12_CR4","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1017\/S0960129500000050","volume":"1","author":"J. Goguen","year":"1991","unstructured":"Goguen, J.: A categorical manifesto. Mathematical Structures in Computer Science\u00a01(1), 49\u201367 (1991)","journal-title":"Mathematical Structures in Computer Science"},{"key":"12_CR5","volume-title":"Categories for Software Engineering","author":"J. Fiadeiro","year":"2004","unstructured":"Fiadeiro, J.: Categories for Software Engineering. Springer, Heidelberg (2004)"},{"key":"12_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-87875-9_1","volume-title":"Model Driven Engineering Languages and Systems","author":"D.S. Batory","year":"2008","unstructured":"Batory, D.S., Azanza, M., Saraiva, J.: The Objects and Arrows of Computational Design. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., V\u00f6lter, M. (eds.) MODELS 2008. LNCS, vol.\u00a05301, pp. 1\u201320. Springer, Heidelberg (2008)"},{"issue":"3","key":"12_CR7","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/s00766-006-0032-y","volume":"11","author":"M. Sabetzadeh","year":"2006","unstructured":"Sabetzadeh, M., Easterbrook, S.M.: View merging in the presence of incompleteness and inconsistency. Requir. Eng.\u00a011(3), 174\u2013193 (2006)","journal-title":"Requir. Eng."},{"issue":"7","key":"12_CR8","doi-asserted-by":"publisher","first-page":"636","DOI":"10.1016\/j.jlap.2009.10.003","volume":"79","author":"A. Rossini","year":"2010","unstructured":"Rossini, A., Rutle, A., Lamo, Y., Wolter, U.: A formalisation of the copy-modify-merge approach to version control in mde. J. Log. Algebr. Program.\u00a079(7), 636\u2013658 (2010)","journal-title":"J. Log. Algebr. Program."},{"key":"12_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/978-3-642-21210-9_16","volume-title":"Models in Software Engineering","author":"Z. Diskin","year":"2011","unstructured":"Diskin, Z., Xiong, Y., Czarnecki, K.: Specifying Overlaps of Heterogeneous Models for Global Consistency Checking. In: Dingel, J., Solberg, A. (eds.) MODELS 2010. LNCS, vol.\u00a06627, pp. 165\u2013179. Springer, Heidelberg (2011)"},{"key":"12_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/978-3-642-18023-1_3","volume-title":"Generative and Transformational Techniques in Software Engineering III","author":"Z. Diskin","year":"2011","unstructured":"Diskin, Z.: Model Synchronization: Mappings, Tiles, and Categories. In: Fernandes, J.M., L\u00e4mmel, R., Visser, J., Saraiva, J. (eds.) GTTSE 2009. LNCS, vol.\u00a06491, pp. 92\u2013165. Springer, Heidelberg (2011)"},{"key":"12_CR11","unstructured":"Diskin, Z., Maibaum, T., Czarnecki, K.: Intermodeling, queries, and Kleisli categories. Technical Report GSDLab-TR 2011-10-01, University of Waterloo (2011), \n                    \n                      http:\/\/gsd.uwaterloo.ca\/QMapTR"},{"key":"12_CR12","unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taenzer, G.: Fundamentals of Algebraic Graph Transformation (2006)"},{"key":"12_CR13","unstructured":"Barr, M., Wells, C.: Category theory for computing science. PrenticeHall (1995)"},{"key":"12_CR14","unstructured":"Jacobs, B.: Categorical logic and type theory. Elsevier Science Publishers (1999)"},{"key":"12_CR15","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-9860-1","volume-title":"Algebraic Theories","author":"E. Manes","year":"1976","unstructured":"Manes, E.: Algebraic Theories. Springer, Heidelberg (1976)"},{"key":"12_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"551","DOI":"10.1007\/BFb0014339","volume-title":"Algebraic Methodology and Software Technology","author":"R. J\u00fcllig","year":"1996","unstructured":"J\u00fcllig, R., Srinivas, Y.V., Liu, J.: Specware: An Advanced Evironment for the Formal Development of Complex Software Systems. In: Nivat, M., Wirsing, M. (eds.) AMAST 1996. LNCS, vol.\u00a01101, pp. 551\u2013554. Springer, Heidelberg (1996)"},{"issue":"1","key":"12_CR17","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/0890-5401(91)90052-4","volume":"93","author":"E. Moggi","year":"1991","unstructured":"Moggi, E.: Notions of computation and monads. Information and Computation\u00a093(1), 55\u201392 (1991)","journal-title":"Information and Computation"},{"issue":"1","key":"12_CR18","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"J. Goguen","year":"1992","unstructured":"Goguen, J., Burstall, R.: Institutions: Abstract model theory for specification and programming. Journal of ACM\u00a039(1), 95\u2013146 (1992)","journal-title":"Journal of ACM"},{"key":"12_CR19","unstructured":"Diskin, Z.: Towards generic formal semantics for consistency of heterogeneous multimodels. Technical Report GSDLAB 2011-02-01, University of Waterloo (2011)"},{"key":"12_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1007\/3-540-17162-2_131","volume-title":"Category Theory and Computer Programming","author":"J. Goguen","year":"1986","unstructured":"Goguen, J., Burstall, R.: A Study in the Foundations of Programming Methodology: Specifications, Institutions, Charters and Parchments. In: Poign\u00e9, A., Pitt, D.H., Rydeheard, D.E., Abramsky, S. (eds.) Category Theory and Computer Programming. LNCS, vol.\u00a0240, pp. 313\u2013333. Springer, Heidelberg (1986)"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-28872-2_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,29]],"date-time":"2019-04-29T00:19:21Z","timestamp":1556497161000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-28872-2_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642288715","9783642288722"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-28872-2_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}