![](bg6.png)
creating initial modeling and transformation artifacts
can be high. Transformation MMs may have to be
defined for the intended target language. Currently,
no bindings for transformation languages exist. Al-
though these have to be defined only once for each
language, this is a barrier for uptake. Transformation
engines might not execute models directly making
text/model round-tripping functions necessary (but
again these can be reused per language). Adequate
tool support must be provided to facilitate the devel-
opment of models and transformations.
Currently, we are developing an EMOF-based
MM for the UnQL
+
BX language (in Ecore). In par-
allel, we transfer the BNF-based grammar definition
to Xtext. This will ensure the consistent mapping of
transformations written in UnQL
+
to their modeling
equivalents. An editor to support the definition of
UnQL
+
statements will be provided, as well. Initial
developments are available at the URLs mentioned
in the footnote of Section 1 and are continuously up-
dated. UnQL
+
concepts will be mapped to the QVT
relations language in the near future.
ACKNOWLEDGEMENTS
This work has partly been funded by t he Austrian Re-
search Promotion Agency (FFG) of the Austrian Fed-
eral Ministry for Transport, Innovation and Technol-
ogy (BMVIT) through the Competence Centers for
Excellent Technologies (COMET K1) initiative and
the FIT-IT program.
REFERENCES
B
´
ezivin, J. and Gerb
´
e, O. (2001). Towards a precise defini-
tion of the OMG/MDA framework. In Proc. 16th Int.
Conf. Automated Softw. Eng., pages 273–280. IEEE.
Czarnecki, K., Foster, J. N., Hu, Z., L
¨
ammel, R., Sch
¨
urr,
A., and Terwilliger, J. F. (2009). Bidirectional trans-
formations: A cross-discipline perspective. In Theory
and Practice of Model Transformations, volume 5563
of LNCS, pages 260–283. Springer.
Di Ruscio, D., Iovino, L., and Pierantonio, A. (2011). What
is needed for managing co-evolution in MDE? In
Proc. 2nd Int. Workshop Model Comparison in Prac-
tice, pages 30–38. ACM.
Di Ruscio, D., Iovino, L., and Pierantonio, A. (2012). Cou-
pled evolution in model-driven engineering. IEEE
Softw., 29(6):78–84.
Giese, H. and Wagner, R. (2009). From model transforma-
tion to incremental bidirectional model synchroniza-
tion. SoSyM, 8(1):21–43.
Herrmannsdoerfer, M., Benz, S., and Juergens, E. (2009).
COPE – automating coupled evolution of metamodels
and models. In Proc. 23rd European Conf. Object-
Oriented Programming, pages 52–76. Springer.
Hidaka, S., Hu, Z., Inaba, K., Kato, H., and Nakano, K.
(2011). GRoundTram: An integrated framework for
developing well-behaved bidirectional model trans-
formations. In Proc. 26th Int. Conf. on Automated
Softw. Eng., pages 480–483. IEEE.
Hidaka, S., Hu, Z., Kato, H., and Nakano, K. (2009). To-
wards a compositional approach to model transforma-
tion for software development. In Proc. 24th Sympo-
sium on Applied Computing, pages 468–475. ACM.
Hoisl, B., Sobernig, S., and Strembeck, M. (2013). Higher-
order rewriting of model-to-text templates for inte-
grating domain-specific modeling languages. In Proc.
1st Int. Conf. Model-Driven Eng. and Softw. Develop-
ment, pages 49–61. SciTePress.
Hu, Z., Schurr, A., Stevens, P., and Terwilliger, J. F.
(2011). Dagstuhl seminar on bidirectional transfor-
mations (BX). SIGMOD Rec., 40(1):35–39.
Meyers, B. and Vangheluwe, H. (2011). A framework for
evolution of modelling languages. Sci. Comput. Pro-
gram., 76(12):1223–1246.
Sasano, I., Hu, Z., Hidaka, S., Inaba, K., Kato, H., and
Nakano, K. (2011). Toward bidirectionalization of
ATL with GRoundTram. In Proc. 4th Int. Conf. The-
ory and Practice of Model Transformations, pages
138–151. Springer.
Schmidt, D. C. (2006). Guest editor’s introduction: Model-
driven engineering. Computer, 39(2):25–31.
Sendall, S. and Kozaczynski, W. (2003). Model transfor-
mation: The heart and soul of model-driven software
development. IEEE Softw., 20(5):42–45.
Sobernig, S., Hoisl, B., and Strembeck, M. (2013).
Requirements-driven testing of domain-specific core
language models using scenarios. In Proc. 13th Int.
Conf. Quality Softw., pages 163–172. IEEE.
Stevens, P. (2010). Bidirectional model transformations in
QVT: Semantic issues and open questions. SoSyM,
9(1):7–20.
Tisi, M., Jouault, F., Fraternali, P., Ceri, S., and B
´
ezivin,
J. (2009). On the use of higher-order model transfor-
mations. In Model Driven Architecture – Foundations
and Applications, volume 5562 of LNCS, pages 18–
33. Springer.
Wachsmuth, G. (2007). Metamodel adaptation and model
co-adaptation. In Proc. 21st European Conf. Object-
Oriented Programming, pages 600–624. Springer.
Wei, W. (2012). EpsilonLabs: Epsilon static analy-
sis. Available at:
http://code.google.com/p/
epsilonlabs/wiki/EpsilonStaticAnalysis
.
Wimmer, M., Kusel, A., Sch
¨
onb
¨
ock, J., Retschitzegger, W.,
Schwinger, W., and Kappel, G. (2010). On using in-
place transformations for model co-evolution. In Proc.
2nd Int. Workshop Model Transformation with ATL.
INRIA & Ecole des Mines de Nantes.
Yu, Y., Lin, Y., Hu, Z., Hidaka, S., Kato, H., and Montrieux,
L. (2012). Maintaining invariant traceability through
bidirectional transformations. In Proc. 34th Int. Conf.
Softw. Eng., pages 540–550. IEEE.
TowardsCo-evolutioninModel-DrivenDevelopmentViaBidirectionalHigher-OrderTransformation
471