![](bgd.png)
Hammoudi, S., Pires, L. F., and Selic, B., edi-
tors, Proceedings of the 6th International Confer-
ence on Model-Driven Engineering and Software De-
velopment, MODELSWARD 2018, Funchal, Madeira
- Portugal, January 22-24, 2018., pages 336–345.
SciTePress.
Buchmann, T., Dotor, A., and Westfechtel, B. (2009).
Triple Graph Grammars or Triple Graph Transforma-
tion Systems? In Chaudron, M. R., editor, Models
in Software Engineering, Workshops and Symposia
at MODELS 2008, volume 5421 of Lecture Notes in
Computer Science, pages 138–150. Springer Verlag.
Buchmann, T. and Westfechtel, B. (2013). Towards Incre-
mental Round-Trip Engineering Using Model Trans-
formations. In Demirors, O. and Turetken, O., edi-
tors, Proceedings of the 39th Euromicro Conference
on Software Engineering and Advanced Applications
(SEAA 2013), pages 130–133. IEEE Conference Pub-
lishing Service.
Buchmann, T. and Westfechtel, B. (2016). Using triple
graph grammars to realize incremental round-trip en-
gineering. IET Software, 10(6):173–181.
Cicchetti, A., Di Ruscio, D., Eramo, R., and Pierantonio, A.
(2010). JTL: A bidirectional and change propagating
transformation language. In Malloy, B., Staab, S., and
van den Brand, M., editors, Proceedings of the Third
International Conference on Software Language En-
gineering (SLE 2010), volume 6563 of Lecture Notes
in Computer Science, pages 183–202, Eindhoven, The
Netherlands. Springer-Verlag.
Czarnecki, K. and Helsen, S. (2006). Feature-based sur-
vey of model transformation approaches. IBM Sys-
tems Journal, 45(3):621–646.
Foster, J. N., Greenwald, M. B., Moore, J. T., Pierce, B. C.,
and Schmitt, A. (2007). Combinators for bidirec-
tional tree transformations: A linguistic approach to
the view-update problem. ACM Transactions on Pro-
gramming Languages and Systems, 29(3):17:1–17:65.
Fowler, M. (2011). Domain-Specific Languages. The
Addison-Wesley signature series. Addison-Wesley.
Gelfond, M. and Lifschitz, V. (1988). The stable model se-
mantics for logic programming. In Kowalski, R. A.
and Bowen, K. A., editors, Logic Programming, Pro-
ceedings of the Fifth International Conference and
Symposium, Seattle, Washington, USA, August 15-19,
1988 (2 Volumes), pages 1070–1080. MIT Press.
Greiner, S., Buchmann, T., and Westfechtel, B. (2016).
Bidirectional transformations with QVT-R: A case
study in round-trip engineering UML class models
and java source code. In Hammoudi, S., Pires, L. F.,
Selic, B., and Desfray, P., editors, MODELSWARD
2016 - Proceedings of the 4rd International Confer-
ence on Model-Driven Engineering and Software De-
velopment, Rome, Italy, 19-21 February, 2016, pages
15–27. SciTePress.
Hidaka, S., Tisi, M., Cabot, J., and Hu, Z. (2016).
Feature-based classification of bidirectional transfor-
mation approaches. Software and Systems Modeling,
15(3):907–928.
Kindler, E. and Wagner, R. (2007). Triple graph grammars:
Concepts, extensions, implementations, and applica-
tion scenarios. Technical Report tr-ri-07-284, Soft-
ware Engineering Group, Department of Computer
Science, University of Paderborn.
Ko, H., Zan, T., and Hu, Z. (2016). BiGUL: a formally
verified core language for putback-based bidirectional
programming. In Proceedings of the 2016 ACM SIG-
PLAN Workshop on Partial Evaluation and Program
Manipulation, PEPM 2016, St. Petersburg, FL, USA,
January 20 - 22, 2016, pages 61–72.
Mellor, S. J., Scott, K., Uhl, A., and Weise, D. (2002).
Model-driven architecture. In Bruel, J. and Bellah-
sene, Z., editors, Advances in Object-Oriented In-
formation Systems, OOIS 2002 Workshops, Montpel-
lier, France, September 2, 2002, Proceedings, volume
2426 of Lecture Notes in Computer Science, pages
290–297. Springer.
OMG (2015). Meta Object Facility (MOF) 2.0
Query/View/Transformation Specification. Needham,
MA, formal/2015-02-01 edition.
Sch
¨
urr, A. (1994). Specification of Graph Translators
with Triple Graph Grammars. In Tinhofer, G., edi-
tor, Proceedings of the 20th International Workshop
on Graph-Theoretic Concepts in Computer Science
(WG 1994), volume 903 of LNCS, pages 151–163,
Herrsching, Germany. Springer-Verlag.
V
¨
olter, M., Stahl, T., Bettin, J., Haase, A., and Helsen, S.
(2006). Model-Driven Software Development: Tech-
nology, Engineering, Management. John Wiley &
Sons.
Westfechtel, B. (2019). Case-based exploration of bidirec-
tional transformations in QVT relations. Software and
Systems Modeling, 17(3):989–1019.
Westfechtel, B. and Buchmann, T. (2019). Incremental
bidirectional transformations: Comparing declarative
and procedural approaches using the families to per-
sons benchmark. In Damiani, E., Spanoudakis, G.,
and Maciaszek, L. A., editors, Evaluation of Novel
Approaches to Software Engineering. ENASE 2018.,
Communications in Computer and Information Sci-
ence, pages 98–118. Springer.
Combining a Declarative Language and an Imperative Language for Bidirectional Incremental Model Transformations
27