{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,24]],"date-time":"2026-03-24T13:03:18Z","timestamp":1774357398682,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642005923","type":"print"},{"value":"9783642005930","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-00593-0_5","type":"book-chapter","created":{"date-parts":[[2009,3,27]],"date-time":"2009-03-27T10:26:08Z","timestamp":1238149568000},"page":"64-78","source":"Crossref","is-referenced-by-count":21,"title":["A Category-Theoretical Approach to the Formalisation of Version Control in MDE"],"prefix":"10.1007","author":[{"given":"Adrian","family":"Rutle","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandro","family":"Rossini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yngve","family":"Lamo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Uwe","family":"Wolter","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"431","DOI":"10.1007\/978-3-540-30203-2_30","volume-title":"Graph Transformations","author":"L. Baresi","year":"2004","unstructured":"Baresi, L., Heckel, R.: Tutorial Introduction to Graph Transformation: A Software Engineering Perspective. In: Ehrig, H., Engels, G., Parisi-Presicce, F., Rozenberg, G. (eds.) ICGT 2004. LNCS, vol.\u00a03256, pp. 431\u2013433. Springer, Heidelberg (2004)"},{"key":"5_CR2","unstructured":"Brun, C., Musset, J., Toulm\u00e9, A.: EMF Compare Project, http:\/\/www.eclipse.org\/emft\/projects\/compare\/"},{"issue":"9","key":"5_CR3","doi-asserted-by":"publisher","first-page":"165","DOI":"10.5381\/jot.2007.6.9.a9","volume":"6","author":"A. Cicchetti","year":"2007","unstructured":"Cicchetti, A., Di Ruscio, D., Pierantonio, A.: A Metamodel Independent Approach to Difference Representation. Journal of Object Technology\u00a06(9), 165\u2013185 (2007) (Special Issue on TOOLS Europe 2007)","journal-title":"Journal of Object Technology"},{"issue":"3","key":"5_CR4","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1016\/j.entcs.2004.08.038","volume":"127","author":"T. Mens","year":"2005","unstructured":"Mens, T., Taentzer, G., Runge, O.: Detecting Structural Refactoring Conflicts Using Critical Pair Analysis. Electronic Notes in Theoretical Computer Science\u00a0127(3), 113\u2013128 (2005)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"5_CR5","first-page":"197","volume-title":"ICSM 2005: 21 st IEEE International Conference on Software Maintenance","author":"N. Niu","year":"2005","unstructured":"Niu, N., Easterbrook, S., Sabetzadeh, M.: A Category-theoretic Approach to Syntactic Software Merging. In: ICSM 2005: 21 st IEEE International Conference on Software Maintenance, pp. 197\u2013206. IEEE Computer Society, Los Alamitos (2005)"},{"key":"5_CR6","unstructured":"Rutle, A., Wolter, U., Lamo, Y.: Diagrammatic Software Specifications. In: NWPT 2006: 18 th Nordic Workshop on Programming Theory (October 2006)"},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"Rutle, A., Wolter, U., Lamo, Y.: A Diagrammatic Approach to Model Transformations. In: EATIS 2008: Euro American Conference on Telematics and Information Systems (2008)","DOI":"10.1145\/1621087.1621105"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"Rutle, A., Wolter, U., Lamo, Y.: A Formal Approach to Modeling and Model Transformations in Software Engineering. Technical Report\u00a048, Turku Centre for Computer Science, Finland (2008)","DOI":"10.1145\/1621087.1621105"},{"key":"5_CR9","unstructured":"Wolter, U., Diskin, Z.: Generalized Sketches: Towards a Universal Logic for Diagrammatic Modeling in Software Engineering. In: ACCAT Workshop 2007, satellite event of ETAPS 2007: European Joint Conferences on Theory and Practice of Software (to appear)"},{"key":"5_CR10","unstructured":"Diskin, Z.: Model Transformation via Pull-backs: Algebra vs. Heuristics. Technical Report 521, School of Computing, Queen\u2019s University, Kingston, Canada (September 2006)"},{"issue":"4","key":"5_CR11","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1057\/palgrave.ejis.3000685","volume":"16","author":"Y. Lin","year":"2007","unstructured":"Lin, Y., Gray, J., Jouault, F.: DSMDiff: A Differentiation Tool for Domain-Specific Models. European Journal of Information Systems\u00a016(4), 349\u2013361 (2007) (Special Issue on Model-Driven Systems Development)","journal-title":"European Journal of Information Systems"},{"key":"5_CR12","series-title":"LNBIP","first-page":"141","volume-title":"46 th International Conference on TOOLS Europe 2008: Objects, Components, Models and Patterns","author":"J.E. Rivera","year":"2008","unstructured":"Rivera, J.E., Vallecillo, A.: Representing and Operating with Model Differences. In: 46 th International Conference on TOOLS Europe 2008: Objects, Components, Models and Patterns. LNBIP, vol.\u00a011, pp. 141\u2013160. Springer, Heidelberg (2008)"},{"key":"5_CR13","first-page":"227","volume-title":"ESEC\/FSE 2003: 11 th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003","author":"D. Ohst","year":"2003","unstructured":"Ohst, D., Welle, M., Kelter, U.: Differences between versions of UML diagrams. In: ESEC\/FSE 2003: 11 th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003, pp. 227\u2013236. ACM, New York (2003)"},{"key":"5_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/978-3-540-45221-8_2","volume-title":"\u00abUML\u00bb 2003 - The Unified Modeling Language. Modeling Languages and Applications","author":"M. Alanen","year":"2003","unstructured":"Alanen, M., Porres, I.: Difference and Union of Models. In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003. LNCS, vol.\u00a02863, pp. 2\u201317. Springer, Heidelberg (2003)"},{"key":"5_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1007\/978-3-540-87875-9_23","volume-title":"Model Driven Engineering Languages and Systems","author":"A. Cicchetti","year":"2008","unstructured":"Cicchetti, A., Di Ruscio, D., Pierantonio, A.: Managing Model Conflicts in Distributed Development. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., V\u00f6lter, M. (eds.) MODELS 2008. LNCS, vol.\u00a05301, pp. 311\u2013325. Springer, Heidelberg (2008)"},{"key":"5_CR16","doi-asserted-by":"publisher","first-page":"1035","DOI":"10.1145\/1244002.1244227","volume-title":"SAC 2007: 22 nd ACM Symposium on Applied Computing","author":"A. Cicchetti","year":"2007","unstructured":"Cicchetti, A., Rossini, A.: Weaving Models in Conflict Detection Specifications. In: SAC 2007: 22 nd ACM Symposium on Applied Computing, pp. 1035\u20131036. ACM, New York (2007)"},{"key":"5_CR17","unstructured":"Rutle, A., Rossini, A.: A Tentative Analysis of the Factors Affecting the Industrial Adoption of MDE. In: ChaMDE 2008: 1 st International Workshop on Challenges in Model-Driven Software Engineering, pp. 57\u201361 (2008), http:\/\/ssel.vub.ac.be\/ChaMDE08\/_media\/chamde2008_proceedings.pdf"}],"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-00593-0_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,24]],"date-time":"2023-05-24T17:06:39Z","timestamp":1684947999000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-00593-0_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642005923","9783642005930"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-00593-0_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009]]}}}