{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T12:35:29Z","timestamp":1725539729143},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642332951"},{"type":"electronic","value":"9783642332968"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33296-8_13","type":"book-chapter","created":{"date-parts":[[2012,9,16]],"date-time":"2012-09-16T22:24:55Z","timestamp":1347834295000},"page":"163-178","source":"Crossref","is-referenced-by-count":0,"title":["Composition of Model Transformations: A\u00a0Categorical Framework"],"prefix":"10.1007","author":[{"given":"Christoph","family":"Schulz","sequence":"first","affiliation":[]},{"given":"Michael","family":"L\u00f6we","sequence":"additional","affiliation":[]},{"given":"Harald","family":"K\u00f6nig","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"13_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1007\/978-3-642-16385-2_35","volume-title":"Advances in Conceptual Modeling \u2013 Applications and Challenges","author":"M. Aboulsamh","year":"2010","unstructured":"Aboulsamh, M., Crichton, E., Davies, J., Welch, J.: Model-Driven Data Migration. In: Trujillo, J., Dobbie, G., Kangassalo, H., Hartmann, S., Kirchberg, M., Rossi, M., Reinhartz-Berger, I., Zim\u00e1nyi, E., Frasincar, F. (eds.) ER 2010. LNCS, vol.\u00a06413, pp. 285\u2013294. Springer, Heidelberg (2010)"},{"key":"13_CR2","unstructured":"Brooks, F.P.: The Mythical Man-Month: Essays on Software Engineering, Anniversary edn. Addison-Wesley (1995)"},{"issue":"3","key":"13_CR3","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/j.entcs.2005.07.001","volume":"137","author":"A. Cl\u00e8ve","year":"2005","unstructured":"Cl\u00e8ve, A., Henrard, J., Hainaut, J.L.: Co-transformations in information system reengineering. Electronic Notes in Theoretical Computer Science\u00a0137(3), 5\u201315 (2005)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"13_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1007\/11841883_4","volume-title":"Graph Transformations","author":"A. Corradini","year":"2006","unstructured":"Corradini, A., Heindel, T., Hermann, F., K\u00f6nig, B.: Sesqui-Pushout Rewriting. In: Corradini, A., Ehrig, H., Montanari, U., Ribeiro, L., Rozenberg, G. (eds.) ICGT 2006. LNCS, vol.\u00a04178, pp. 30\u201345. Springer, Heidelberg (2006)"},{"key":"13_CR5","unstructured":"Diskin, Z., Dingel, J.: A metamodel independent framework for model transformation: Towards generic model management patterns in reverse engineering. In: Proceedings of the 3rd International Workshop on Metamodels, Schemas, Grammars and Ontologies for Reverse Engineering (ateM 2006) Johannes-Gutenberg-Universit\u00e4t Mainz (2006)"},{"key":"13_CR6","unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. Springer (2006)"},{"key":"13_CR7","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1109\/VLHCC.2005.37","volume-title":"Proceedings of the 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VLHCC 2005)","author":"H. Ehrig","year":"2005","unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Formal integration of inheritance with typed attributed graph transformation for efficient VL definition and model manipulation. In: Proceedings of the 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VLHCC 2005), pp. 71\u201378. IEEE Computer Society, Washington, DC (2005)"},{"key":"13_CR8","unstructured":"Fowler, M.: Refactoring: Improving the Design of Existing Code. Addison-Wesley (1999)"},{"key":"13_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/11877028_4","volume-title":"Generative and Transformational Techniques in Software Engineering","author":"J.L. Hainaut","year":"2006","unstructured":"Hainaut, J.L.: The Transformational Approach to Database Engineering. In: L\u00e4mmel, R., Saraiva, J., Visser, J. (eds.) GTTSE 2005. LNCS, vol.\u00a04143, pp. 95\u2013143. Springer, Heidelberg (2006)"},{"key":"13_CR10","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1109\/WCRE.2002.1173079","volume-title":"Proceedings of the 9th Working Conference on Reverse Engineering (WCRE 2002)","author":"J. Henrard","year":"2002","unstructured":"Henrard, J., Hick, J.M., Thiran, P., Hainaut, J.L.: Strategies for data reengineering. In: Proceedings of the 9th Working Conference on Reverse Engineering (WCRE 2002), pp. 211\u2013220. IEEE Computer Society, Washington, DC (2002)"},{"key":"13_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1007\/11768869_15","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"H. Kastenberg","year":"2006","unstructured":"Kastenberg, H., Kleppe, A.G., Rensink, A.: Defining Object-Oriented Execution Semantics Using Graph Transformations. In: Gorrieri, R., Wehrheim, H. (eds.) FMOODS 2006. LNCS, vol.\u00a04037, pp. 186\u2013201. Springer, Heidelberg (2006)"},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"Kastenberg, H., Kleppe, A.G., Rensink, A.: Engineering object-oriented semantics using graph transformations. Tech. Rep. TR-CTIT-06-12, University of Twente, Department of Computer Science (2006)","DOI":"10.1007\/11768869_15"},{"key":"13_CR13","unstructured":"K\u00f6nig, H., L\u00f6we, M., Schulz, C.: Functor semantics for refactoring-induced data migration. Tech. Rep. 02007\/01, Fachhochschule f\u00fcr die Wirtschaft Hannover (2007)"},{"key":"13_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-25032-3_1","volume-title":"Formal Methods, Foundations and Applications","author":"H. K\u00f6nig","year":"2011","unstructured":"K\u00f6nig, H., L\u00f6we, M., Schulz, C.: Model Transformation and Induced Instance Migration: A Universal Framework. In: Simao, A., Morgan, C. (eds.) SBMF 2011. LNCS, vol.\u00a07021, pp. 1\u201315. Springer, Heidelberg (2011)"},{"key":"13_CR15","unstructured":"Kuno, H.A., Ra, Y.G., Rundensteiner, E.A.: The object-slicing technique: A flexible object representation and its evaluation. Tech. Rep. CSE-TR-241-95, University of Michigan, Department of Elec. Engineering and Computer Science (1995)"},{"key":"13_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"218","DOI":"10.1007\/978-3-642-15928-2_15","volume-title":"Graph Transformations","author":"M. L\u00f6we","year":"2010","unstructured":"L\u00f6we, M.: Graph Rewriting in Span-Categories. In: Ehrig, H., Rensink, A., Rozenberg, G., Sch\u00fcrr, A. (eds.) ICGT 2010. LNCS, vol.\u00a06372, pp. 218\u2013233. Springer, Heidelberg (2010)"},{"key":"13_CR17","doi-asserted-by":"crossref","unstructured":"Mal\u2019cev, A.I.: Algebraic systems. Springer (1973)","DOI":"10.1007\/978-3-642-65374-2"},{"key":"13_CR18","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/j.entcs.2005.10.021","volume":"152","author":"T. Mens","year":"2006","unstructured":"Mens, T., Gorp, P.V.: A taxonomy of model transformation. Electronic Notes in Theoretical Computer Science\u00a0152, 125\u2013142 (2006)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"issue":"4","key":"13_CR19","doi-asserted-by":"publisher","first-page":"422","DOI":"10.1016\/j.jlap.2012.03.006","volume":"81","author":"A. Rutle","year":"2012","unstructured":"Rutle, A., Rossini, A., Lamo, Y., Wolter, U.: A formal approach to the specification and transformation of constraints in MDE. Journal of Logic and Algebraic Programming\u00a081(4), 422\u2013457 (2012)","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"13_CR20","doi-asserted-by":"crossref","unstructured":"Rutle, A., Wolter, U., Lamo, Y.: A diagrammatic approach to model transformations. In: Proceedings of the 2008 Euro American Conference on Telematics and Information Systems (EATIS 2008), pp. 1\u20138. ACM (2008)","DOI":"10.1145\/1621087.1621105"},{"key":"13_CR21","unstructured":"Schulz, C.: Transformation Objektorientierter Systeme basierend auf algebraischen Graphtransformationen. Ph.D. thesis, Technische Universit\u00e4t Berlin, Berlin, Deutschland (2010)"},{"key":"13_CR22","first-page":"1","volume":"26","author":"C. Schulz","year":"2010","unstructured":"Schulz, C., L\u00f6we, M., K\u00f6nig, H.: Categorical framework for the transformation of object-oriented systems: Operations and methods. Electronic Communications of the EASST\u00a026, 1\u201321 (2010)","journal-title":"Electronic Communications of the EASST"},{"issue":"3","key":"13_CR23","doi-asserted-by":"publisher","first-page":"316","DOI":"10.1016\/j.jsc.2010.09.010","volume":"46","author":"C. Schulz","year":"2011","unstructured":"Schulz, C., L\u00f6we, M., K\u00f6nig, H.: A categorical framework for the transformation of object-oriented systems: Models and data. Journal of Symbolic Computation\u00a046(3), 316\u2013337 (2011)","journal-title":"Journal of Symbolic Computation"},{"issue":"4","key":"13_CR24","doi-asserted-by":"publisher","first-page":"600","DOI":"10.1109\/69.617053","volume":"9","author":"R. Young-Gook","year":"1997","unstructured":"Young-Gook, R., Rundensteiner, E.A.: A transparent schema-evolution system based on object-oriented view technology. IEEE Transactions on Knowledge and Data Engineering\u00a09(4), 600\u2013624 (1997)","journal-title":"IEEE Transactions on Knowledge and Data Engineering"}],"container-title":["Lecture Notes in Computer Science","Formal Methods: Foundations and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33296-8_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T21:08:28Z","timestamp":1558300108000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33296-8_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642332951","9783642332968"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33296-8_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}