{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T17:42:35Z","timestamp":1742924555209,"version":"3.40.3"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319211503"},{"type":"electronic","value":"9783319211510"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-21151-0_11","type":"book-chapter","created":{"date-parts":[[2015,7,16]],"date-time":"2015-07-16T03:07:07Z","timestamp":1437016027000},"page":"154-170","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["A Model Management Imperative: Being Graphical Is Not Sufficient, You Have to Be Categorical"],"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","published-online":{"date-parts":[[2015,7,17]]},"reference":[{"key":"11_CR1","unstructured":"Barr, M., Wells, C.: Category theory for computing science. Prentice Hall (1995)"},{"key":"11_CR2","unstructured":"Bernstein, P.A.: Applying model management to classical meta data problems. In: CIDR (2003)"},{"issue":"1","key":"11_CR3","first-page":"3","volume":"8","author":"M Chechik","year":"2012","unstructured":"Chechik, M., Nejati, S., Sabetzadeh, M.: A relationship-based approach to model integration. ISSE 8(1), 3\u201318 (2012)","journal-title":"ISSE"},{"issue":"2","key":"11_CR4","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1017\/S0960129520003047","volume":"10","author":"JRB Cockett","year":"2000","unstructured":"Cockett, J.R.B., Koslowski, J., Seely, R.A.G.: Introduction to linear bicategories. Mathematical Structures in Computer Science 10(2), 165\u2013203 (2000)","journal-title":"Mathematical Structures in Computer Science"},{"issue":"1","key":"11_CR5","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/0304-3975(92)90087-V","volume":"103","author":"A Corradini","year":"1992","unstructured":"Corradini, A., Montanari, U.: An algebraic semantics for structured transition systems and its applications to logic programs. Theor. Comput. Sci. 103(1), 51\u2013106 (1992)","journal-title":"Theor. Comput. Sci."},{"key":"11_CR6","unstructured":"Diskin, Z., Easterbrook, S., Miller, R.: Integrating schema integration frameworks, algebraically. Tech. Rep. CSRG-583, University of Toronto (2008) http:\/\/ftp.cs.toronto.edu\/pub\/reports\/csrg\/583\/TR-583-schemaIntegr.pdf"},{"key":"11_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"304","DOI":"10.1007\/978-3-642-24485-8_22","volume-title":"Model Driven Engineering Languages and Systems","author":"Z Diskin","year":"2011","unstructured":"Diskin, Z., Xiong, Y., Czarnecki, K., Ehrig, H., Hermann, F., Orejas, F.: From State- to Delta-Based Bidirectional Model Transformations: The Symmetric Case. In: Whittle, J., Clark, T., K\u00fchne, T. (eds.) MODELS 2011. LNCS, vol. 6981, pp. 304\u2013318. Springer, Heidelberg (2011)"},{"key":"11_CR8","unstructured":"Diskin, Z.: Towards category theory foundations for model management. Tech. Rep. GSDLab-TR 2014\u201303-03, University of Waterloo (2014). http:\/\/gsd.uwaterloo.ca\/node\/566"},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"Diskin, Z., Gholizadeh, H., Wider, A., Czarnecki, K.: A Three-Dimensional Taxonomy for Bidirectional Model Synchronization. J. of Systems and Software (2015), to appear","DOI":"10.1016\/j.jss.2015.06.003"},{"key":"11_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"322","DOI":"10.1007\/978-3-319-02654-1_18","volume-title":"Software Language Engineering","author":"Z Diskin","year":"2013","unstructured":"Diskin, Z., Kokaly, S., Maibaum, T.: Mapping-aware megamodeling: design patterns and laws. In: Erwig, M., Paige, R.F., Van Wyk, E. (eds.) SLE 2013. LNCS, vol. 8225, pp. 322\u2013343. Springer, Heidelberg (2013)"},{"key":"11_CR11","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. 6627, pp. 165\u2013179. Springer, Heidelberg (2011)"},{"key":"11_CR12","series-title":"Lecture Notes in Computer Science","first-page":"236","volume-title":"COMPASS\/ADT","author":"JL Fiadeiro","year":"1991","unstructured":"Fiadeiro, J.L., Costa, J.F., Sernadas, A., Maibaum, T.S.E.: Process semantics of temporal logic specifications. In: Bidoit, M., Choppy, C. (eds.) COMPASS\/ADT. Lecture Notes in Computer Science, vol. 655, pp. 236\u2013253. Springer, Heidelberg (1991)"},{"issue":"1","key":"11_CR13","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1017\/S0960129500000050","volume":"1","author":"JA Goguen","year":"1991","unstructured":"Goguen, J.A.: A categorical manifesto. Mathematical Structures in Computer Science 1(1), 49\u201367 (1991)","journal-title":"Mathematical Structures in Computer Science"},{"key":"11_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1007\/978-3-642-33654-6_10","volume-title":"Graph Transformations","author":"U Golas","year":"2012","unstructured":"Golas, U., Lambers, L., Ehrig, H., Giese, H.: Toward bridging the gap between formal foundations and current practice for triple graph grammars. In: Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2012. LNCS, vol. 7562, pp. 141\u2013155. Springer, Heidelberg (2012)"},{"key":"11_CR15","doi-asserted-by":"crossref","unstructured":"Gro\u00dfe-Rhode, M.: Semantic Integration of Heterogeneous Software Specifications. Monographs in Theoretical Computer Science. An EATCS Series, Springer (2004)","DOI":"10.1007\/978-3-662-09853-0"},{"key":"11_CR16","doi-asserted-by":"crossref","unstructured":"Hutchinson, J., Whittle, J., Rouncefield, M., Kristoffersen, S.: Empirical assessment of mde in industry. In: ICSE, pp. 471\u2013480. IEEE, ACM (2011)","DOI":"10.1145\/1985793.1985858"},{"key":"11_CR17","unstructured":"Lambers, L., Hildebrandt, S., Giese, H., Orejas, F.: Attribute handling for bidirectional model transformations. ECEASST 49 (2012)"},{"key":"11_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1007\/978-3-642-31491-9_22","volume-title":"Modelling Foundations and Applications","author":"M Lauder","year":"2012","unstructured":"Lauder, M., Anjorin, A., Varr\u00f3, G., Sch\u00fcrr, A.: Bidirectional model transformation with precedence triple graph grammars. In: Vallecillo, A., Tolvanen, J.-P., Kindler, E., St\u00f6rrle, H., Kolovos, D. (eds.) ECMFA 2012. LNCS, vol. 7349, pp. 287\u2013302. Springer, Heidelberg (2012)"},{"key":"11_CR19","doi-asserted-by":"crossref","unstructured":"Liang, H., Diskin, Z., Dingel, J., Posse, E.: A general approach for scenario integration. In: MODELS, pp. 204\u2013218 (2008)","DOI":"10.1007\/978-3-540-87875-9_15"},{"key":"11_CR20","unstructured":"Magee, J., Kramer, J.: Concurrency: state models and Java programs. Wiley (1999)"},{"key":"11_CR21","unstructured":"Mantz, F., Taentzer, G., Lamo, Y.: Well-formed model co-evolution with customizable model migration. ECEASST 58 (2013)"},{"key":"11_CR22","doi-asserted-by":"crossref","unstructured":"Marchand, J., Combemale, B., Baudry, B.: A categorical model of model merging. In: Modeling in Software Engineering, pp. 70\u201376. MISE, ICSE Workshop (2012)","DOI":"10.1109\/MISE.2012.6226017"},{"issue":"2","key":"11_CR23","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/0890-5401(90)90013-8","volume":"88","author":"J Meseguer","year":"1990","unstructured":"Meseguer, J., Montanari, U.: Petri nets are monoids. Inf. Comput. 88(2), 105\u2013155 (1990)","journal-title":"Inf. Comput."},{"issue":"3","key":"11_CR24","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1007\/s10270-010-0172-x","volume":"11","author":"P Muller","year":"2012","unstructured":"Muller, P., Fondement, F., Baudry, B., Combemale, B.: Modeling modeling modeling. Software and System Modeling 11(3), 347\u2013359 (2012)","journal-title":"Software and System Modeling"},{"key":"11_CR25","doi-asserted-by":"crossref","unstructured":"Nejati, S., Sabetzadeh, M., Chechik, M., Easterbrook, S.M., Zave, P.: Matching and merging of statecharts specifications. In: ICSE (2007)","DOI":"10.1109\/ICSE.2007.50"},{"key":"11_CR26","doi-asserted-by":"crossref","unstructured":"Sabetzadeh, M., Easterbrook, S.: An algebraic framework for merging incomplete and inconsistent views. In: 13th Int. Conference on Requirement Engineering (2005)","DOI":"10.1109\/RE.2005.8"},{"key":"11_CR27","series-title":"Lecture notes in Computer Science","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1007\/978-3-642-32784-1_3","volume-title":"Coalgebraic Methods in Computer Science","author":"P Soboci\u0144ski","year":"2012","unstructured":"Soboci\u0144ski, P.: Relational presheaves as labelled transition systems. In: Pattinson, D., Schr\u00f6der, L. (eds.) CMCS 2012. LNCS, vol. 7399, pp. 40\u201350. Springer, Heidelberg (2012)"}],"container-title":["Lecture Notes in Computer Science","Modelling Foundations and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-21151-0_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,24]],"date-time":"2023-01-24T13:30:29Z","timestamp":1674567029000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-21151-0_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319211503","9783319211510"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-21151-0_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"17 July 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}