Abstract
Much of the current work on model transformations seems essentially operational and executable in nature. Executable descriptions are necessary from the point of view of implementation. But from a conceptual point of view, transformations can also be viewed as descriptive models by stating only the properties a transformation has to fulfill and by omitting execution details. This contribution discusses the view that model transformations can be abstracted as being transformation models. As a simple example for a transformation model, the well-known transformation from the Entity-Relationship model to the Relational model is shown. A transformation model in this contribution is nothing more than an ordinary, simple model, i.e., a UML/MOF class diagram together with OCL constraints. A transformation model may transport syntax and semantics of the described domain. The contribution thus covers two views on transformations: An operational model transformation view and a descriptive transformation model view.
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
Ahrendt, W., Baar, T., Beckert, B., Giese, M., Habermalz, E., Hähnle, R., Menzel, W., Schmitt, P.H.: The KeY approach: Integrating object oriented design and formal verification. In: Brewka, G., Moniz Pereira, L., Ojeda-Aciego, M., de Guzmán, I.P. (eds.) JELIA 2000. LNCS (LNAI), vol. 1919, pp. 21–36. Springer, Heidelberg (2000)
Bezivin, J.: On the Unification Power of Models. Software and System Modeling 4(2), 171–188 (2005)
Boger, M., Sturm, T., Fragemann, P.: Refactoring browser for uml. In: Aksit, M., Mezini, M., Unland, R. (eds.) NODe 2002. LNCS, vol. 2591, pp. 366–377. Springer, Heidelberg (2003)
Clark, T., Evans, A., Sammut, P., Willans, J.S.: Transformation language design: A metamodelling foundation. In: Ehrig, H., Engels, G., Parisi-Presicce, F., Rozenberg, G. (eds.) ICGT 2004. LNCS, vol. 3256, pp. 13–21. Springer, Heidelberg (2004)
Chiorean, D.: Using OCL Beyond Specifications. In: Evans, A., France, R., Moreira, A., Rumpe, B. (eds.) Proc. UML 2001 Workshop Rigorous Development, LNI, GI, Bonn, pp. 57–68 (2001)
Correa, A.L., Werner, C.M.L.: Applying refactoring techniques to uml/ocl models. In: Baar, T., Strohmeier, A., Moreira, A., Mellor, S.J. (eds.) UML 2004. LNCS, vol. 3273, pp. 173–187. Springer, Heidelberg (2004)
Gogolla, M., Bohling, J., Richters, M.: Validating UML and OCL Models in USE by Automatic Snapshot Generation. Journal on Software and System Modeling 4(4), 386–398 (2005)
Gogolla, M.: Tales of ER and RE Syntax and Semantics. In: Cordy, J.R., Lämmel, R., Winter, A. (eds.) Transformation Techniques in Software Engineering, vol. 05161, Dagstuhl Seminar Proceedings, IBFI, Schloss Dagstuhl (2006)
Van Gorp, P., Stenten, H., Mens, T., Demeyer, S.: Towards automating source-consistent uml refactorings. In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003. LNCS, vol. 2863, pp. 144–158. Springer, Heidelberg (2003)
Jackson, D., Schechter, I., Shlyakhter, I.: Alcoa: The Alloy constraint analyzer. In: Proc. Int. Conf. Software Engineering (ICSE 2000), pp. 730–733. ACM, New York (2000)
Kyas, M., Fecher, H., de Boer, F.S., Jacob, J., Hooman, J., van der Zwaag, M., Arons, T., Kugler, H.: Formalizing UML models and OCL constraints in PVS. Electr. Notes Theor. Comput. Sci. 115, 39–47 (2005)
Königs, A., Schürr, A.: Tool Integration with Triple Graph Grammars - A Survey. In: Heckel, R. (ed.) Proc. SegraVis School Foundations of Visual Modelling Techniques. ENTCS, vol. 148, pp. 113–150. Elsevier, Amsterdam (2006)
OMG (ed.): MOF QVT Final Adopted Specification. OMG (2005)
Rumbaugh, J., Booch, G., Jacobson, I.: The Unified Modeling Language Reference Manual, 2nd edn. Addison-Wesley, Reading (2005)
Richters, M., Gogolla, M.: OCL - Syntax, Semantics and Tools. In: Clark, A., Warmer, J. (eds.) Object Modeling with the OCL. LNCS, vol. 2263, pp. 43–69. Springer, Heidelberg (2002)
Schippers, H., Van Gorp, P., Janssens, D.: Leveraging UML Profiles to generate Plugins from Visual Model Transformations. In: Proc. ICGT Workshop Software Evolution through Transformations (2004)
Sunyé, G., Pollet, D., Le Traon, Y., Jézéquel, J.-M.: Refactoring uml models. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol. 2185, pp. 134–148. Springer, Heidelberg (2001)
Wang, W.: Evaluation of UML Model Transformation Tools. Technical University of Vienna, Business Informatics Group, Master Thesis (2005)
Zhang, J., Lin, Y., Gray, J.: Generic and Domain-Specific Model Refactoring using a Model Transformation Engine. In: Beydeda, S., Book, M., Gruhn, V. (eds.) Model-Driven Software Development, pp. 199–218. Springer, Heidelberg (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bézivin, J., Büttner, F., Gogolla, M., Jouault, F., Kurtev, I., Lindow, A. (2006). Model Transformations? Transformation Models!. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds) Model Driven Engineering Languages and Systems. MODELS 2006. Lecture Notes in Computer Science, vol 4199. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11880240_31
Download citation
DOI: https://doi.org/10.1007/11880240_31
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-45772-5
Online ISBN: 978-3-540-45773-2
eBook Packages: Computer ScienceComputer Science (R0)