Abstract
In this paper a sequence of model transformation languages L0, L1, L2 is defined. The first language L0 is very simple, and for this language it is easy to build an efficient compiler to C++. The next language L1 is an extension of L0, and it contains powerful pattern definition facilities. The last language L2 is of sufficiently high level and can be used for implementation of traditional pattern-based high level model transformation languages, as well as for the development of model transformations directly. For languages L1 and L2 efficient compilers have been built using the bootstrapping method: L1 to L0 in L0, and L2 to L1 in L1. The results confirm the efficiency of model transformation approach for domain specific compiler building.
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
MDA Guide Version 1.0.1. OMG, document omg/03-06-01 (2003)
MOF QVT Final Adopted Specification, OMG, document ptc/05-11-01 (2005)
Jouault, F., Kurtev, I.: Transforming Models with ATL. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol. 3844, pp. 128–138. Springer, Heidelberg (2006)
Agrawal, A., Karsai, G., Shi, F.: Graph Transformations on Domain-Specific Models. Technical report, Institute for Software Integrated Systems, Vanderbilt University, ISIS- 03-403 (2003)
Willink, E.D.: UMLX - A Graphical Transformation Language for MDA. In: 2nd OOPSLA Workshop on Generative Techniques in the context of Model Driven Architecture, OOPSLA 2003, Anaheim (2003)
Kalnins, A., Barzdins, J., Celms, E.: Model Transformation Language MOLA. In: Aßmann, U., Aksit, M., Rensink, A. (eds.) MDAFA 2003. LNCS, vol. 3599, pp. 62–76. Springer, Heidelberg (2005)
Clark, T., et al.: Language Driven Development and MDA, BPTrends. MDA Journal (October 2004)
Bezivin, J., et al.: The ATL Transformation-based Model Management Framework. Research Report No 03.08, IRIN, Universite de Nantes (2003)
Broekstra, J., Kampman, A., Harmelan, F.V.: Sesame: A Generic Architecture for Storing and Querying RDF and RDF Schema. In: Proc. International Semantic Web Conference, Sardinia, Italy (2002)
Budinsky, F., et al.: Eclipse Modeling Framework. Addison-Wesley, Reading (2003)
Metadata Repository (MDR), http://mdr.netbeans.org/
Barzdins, J., et al.: Towards Semantic Latvia. Communications of the 7th International Baltic Conference on Databases and Information Systems (Baltic DB&IS 2006), Vilnius, pp. 203–218 (2006)
Kalnins, A., Barzdins, J., Celms, E., et al.: The first step towards generic modeling tool. In: Proceedings of the 5th International Baltic Conference on Databases and Information Systems, Tallin, vol. 2, pp. 167–180 (2002)
Kalnins, A., Barzdins, J., Celms, E.: Efficiency Problems in MOLA Implementation. In: 19th International Conference OOPSLA 2004, Workshop “Best Practices for MDSD”, Vancouver, Canada (October 2004)
Barzdin, J.M.: Universality problems in the theory of growing automata. Dokl. Akad. Nauk SSSR (in Russian) 157(3) (1964) (English translation in: Soviet Math. Dokl. 9, 535–537 (1964)
Kolmogorov, A.N., Uspensky, V.A.: To the Definition of an Algorithm. Uspekhi. Mat. Nauk (in Russian) 13(4), 3–28 (1958) (English translation in: AMS Translations, ser. 2, 21, 217–245 (1963))
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Barzdins, J., Kalnins, A., Rencis, E., Rikacovs, S. (2008). Model Transformation Languages and Their Implementation by Bootstrapping Method. In: Avron, A., Dershowitz, N., Rabinovich, A. (eds) Pillars of Computer Science. Lecture Notes in Computer Science, vol 4800. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-78127-1_8
Download citation
DOI: https://doi.org/10.1007/978-3-540-78127-1_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-78126-4
Online ISBN: 978-3-540-78127-1
eBook Packages: Computer ScienceComputer Science (R0)