Abstract
Consistency management in evolving information systems is hard, for two reasons. On the one hand, large databases exist which have to be adjusted. On the other hand, many programs access those data. Data and programs all have to be synchronized in a consistent manner. It cannot be relied upon, however, that no running processes exist during such a migration. Consequently, a restructuring of an information system needs to take care of the migration of object-oriented systems comprising data, programs, and processes. This co-evolution together with the notion of model transformation and instance migration has been introduced in earlier papers. This paper builds upon this exploratory work and analyses under which circumstances composed model transformations are compatible with composed instance migrations. We develop the notion of shortcut paths and show that composition is possible if shortcut paths are reflected by the underlying model transformations.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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ányi, E., Frasincar, F. (eds.) ER 2010. LNCS, vol. 6413, pp. 285–294. Springer, Heidelberg (2010)
Brooks, F.P.: The Mythical Man-Month: Essays on Software Engineering, Anniversary edn. Addison-Wesley (1995)
Clève, A., Henrard, J., Hainaut, J.L.: Co-transformations in information system reengineering. Electronic Notes in Theoretical Computer Science 137(3), 5–15 (2005)
Corradini, A., Heindel, T., Hermann, F., König, B.: Sesqui-Pushout Rewriting. In: Corradini, A., Ehrig, H., Montanari, U., Ribeiro, L., Rozenberg, G. (eds.) ICGT 2006. LNCS, vol. 4178, pp. 30–45. Springer, Heidelberg (2006)
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ät Mainz (2006)
Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. Springer (2006)
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–78. IEEE Computer Society, Washington, DC (2005)
Fowler, M.: Refactoring: Improving the Design of Existing Code. Addison-Wesley (1999)
Hainaut, J.L.: The Transformational Approach to Database Engineering. In: Lämmel, R., Saraiva, J., Visser, J. (eds.) GTTSE 2005. LNCS, vol. 4143, pp. 95–143. Springer, Heidelberg (2006)
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–220. IEEE Computer Society, Washington, DC (2002)
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. 4037, pp. 186–201. Springer, Heidelberg (2006)
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)
König, H., Löwe, M., Schulz, C.: Functor semantics for refactoring-induced data migration. Tech. Rep. 02007/01, Fachhochschule für die Wirtschaft Hannover (2007)
König, H., Löwe, M., Schulz, C.: Model Transformation and Induced Instance Migration: A Universal Framework. In: Simao, A., Morgan, C. (eds.) SBMF 2011. LNCS, vol. 7021, pp. 1–15. Springer, Heidelberg (2011)
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)
Löwe, M.: Graph Rewriting in Span-Categories. In: Ehrig, H., Rensink, A., Rozenberg, G., Schürr, A. (eds.) ICGT 2010. LNCS, vol. 6372, pp. 218–233. Springer, Heidelberg (2010)
Mal’cev, A.I.: Algebraic systems. Springer (1973)
Mens, T., Gorp, P.V.: A taxonomy of model transformation. Electronic Notes in Theoretical Computer Science 152, 125–142 (2006)
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 81(4), 422–457 (2012)
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–8. ACM (2008)
Schulz, C.: Transformation Objektorientierter Systeme basierend auf algebraischen Graphtransformationen. Ph.D. thesis, Technische Universität Berlin, Berlin, Deutschland (2010)
Schulz, C., Löwe, M., König, H.: Categorical framework for the transformation of object-oriented systems: Operations and methods. Electronic Communications of the EASST 26, 1–21 (2010)
Schulz, C., Löwe, M., König, H.: A categorical framework for the transformation of object-oriented systems: Models and data. Journal of Symbolic Computation 46(3), 316–337 (2011)
Young-Gook, R., Rundensteiner, E.A.: A transparent schema-evolution system based on object-oriented view technology. IEEE Transactions on Knowledge and Data Engineering 9(4), 600–624 (1997)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Schulz, C., Löwe, M., König, H. (2012). Composition of Model Transformations: A Categorical Framework. In: Gheyi, R., Naumann, D. (eds) Formal Methods: Foundations and Applications. SBMF 2012. Lecture Notes in Computer Science, vol 7498. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-33296-8_13
Download citation
DOI: https://doi.org/10.1007/978-3-642-33296-8_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-33295-1
Online ISBN: 978-3-642-33296-8
eBook Packages: Computer ScienceComputer Science (R0)