A. Anjorin, G. Varró, and A. Schürr, Complex attribute manipulation in tggs with constraint-based programming techniques, First International Workshop on Bidirectional Transformations, 2012.

M. Antkiewicz and K. Czarnecki, Design space of heterogeneous synchronization. Generative and Transformational Techniques in Software Engineering II pages, pp.3-46, 2007.

F. Bancilhon and N. Spyratos, Update semantics of relational views, ACM Transactions on Database Systems, vol.6, issue.4, pp.557-575, 1981.
DOI : 10.1145/319628.319634

S. M. Becker, S. Herold, S. Lohmann, and B. Westfechtel, A graph-based algorithm for consistency maintenance in incremental and interactive integration tools, Software & Systems Modeling, vol.20, issue.1, pp.287-315, 2007.
DOI : 10.1007/s10270-006-0045-5

A. Bohannon, J. N. Foster, B. C. Pierce, A. Pilkiewicz, and A. Schmitt, Boomerang: resourceful lenses for string data, POPL '08: ACM SIGPLAN?SIGACT Symposium on Principles of Programming Languages, pp.407-419, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00496456

P. Braun and F. Marschall, BOTL : The bidirectional object oriented transformation language, 2003.

P. Braun and F. Marschall, Transforming Object Oriented Models with BOTL, Graph Transformation and Visual Modeling Techniques (First International Conference on Graph Transformation, pp.103-117, 2003.
DOI : 10.1016/S1571-0661(04)80615-7

P. Buneman, M. F. Fernandez, and D. Suciu, UnQL: a query language and algebra for semistructured data based on structural recursion, The VLDB Journal, vol.9, issue.1, pp.76-110, 2000.
DOI : 10.1007/s007780050084

F. Büttner, J. Cabot, and M. Gogolla, On validation of ATL transformation rules by transformation models, Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation, MoDeVVa, 2011.
DOI : 10.1145/2095654.2095666

J. Bzivin and I. Kurtev, Model-based technology integration with the technical space concept, In: Proceedings of the Metainformatics Symposium

K. Czarnecki, J. N. Foster, Z. Hu, R. Lämmel, A. Schürr et al., Bidirectional Transformations: A Cross-Discipline Perspective. In: Theory and practice of model transformations: second international conference, pp.260-283, 2009.

Y. Inc, DOI 10, 2009.

K. Czarnecki and S. Helsen, Feature-based survey of model transformation approaches, IBM Systems Journal, vol.45, issue.3, pp.621-645, 2006.
DOI : 10.1147/sj.453.0621

U. Dayal and P. A. Bernstein, On the correct translation of update operations on relational views, ACM Transactions on Database Systems, vol.7, issue.3
DOI : 10.1145/319732.319740

D. Fabro, M. Bézivin, J. Jouault, F. Breton, E. Gueltas et al., AMW: a generic model weaver, Proc. of the 1` eres Journées sur l'Ingénierie Dirigée par les Modèles, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00448112

Z. Diskin and T. S. Maibaum, Category theory and model-driven engineering: From formal semantics to design patterns and beyond

Z. Diskin, A. Wider, H. Gholizadeh, and K. Czarnecki, Towards a Rational Taxonomy for Increasingly Symmetric Model Synchronization, Theory and Practice of Model Transformations, p.57
DOI : 10.1007/978-3-319-08789-4_5

Z. Diskin, Y. Xiong, and K. Czarnecki, From state-to deltabased bidirectional model transformations: the asymmetric case, Journal of Object Technology, vol.10, issue.6, pp.1-25, 2011.

Z. Diskin, Y. Xiong, K. Czarnecki, H. Ehrig, F. Hermann et al., From State- to Delta-Based Bidirectional Model Transformations: The Symmetric Case, Model Driven Engineering Languages and Systems, pp.304-318978, 2011.
DOI : 10.1007/s10270-008-0109-9

H. Ehrig, K. Ehrig, C. Ermel, F. Hermann, and G. Taentzer, Information preserving bidirectional model transformations . Fundamental Approaches to Software Engineering pp, pp.72-86, 2007.

J. N. Foster, M. B. Greenwald, J. T. Moore, B. C. Pierce, and A. Schmitt, Combinators for bidirectional tree transformations, ACM Transactions on Programming Languages and Systems, vol.29, issue.3, 2007.
DOI : 10.1145/1232420.1232424

URL : https://hal.archives-ouvertes.fr/inria-00484971

H. Giese and R. Wagner, From model transformation to incremental bidirectional model synchronization, Software & Systems Modeling, vol.44, issue.2, pp.21-43, 2008.
DOI : 10.1007/s10270-008-0089-9

J. Greenyer and E. Kindler, Comparing relational model transformation technologies: implementing Query/View/Transformation with Triple Graph Grammars, Software & Systems Modeling, vol.5, issue.4
DOI : 10.1007/s10270-009-0121-8

E. Guerra, J. Lara, and F. Orejas, Pattern-based model-tomodel transformation: Handling attribute conditions, Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations, ICMT '09, pp.83-99, 2009.

F. Hermann, H. Ehrig, F. Orejas, K. Czarnecki, Z. Diskin et al., Correctness of Model Synchronization Based on Triple Graph Grammars, Proceedings of the 14th international conference on Model driven engineering languages and systems, pp.668-682, 2011.
DOI : 10.1007/s10270-008-0109-9

T. Hettel, M. Lawley, and K. Raymond, Model Synchronisation: Definitions for Round-Trip Engineering, Proceedings of the 1st international conference on Theory and Practice of Model Transformations, ICMT '08, pp.31-45, 2008.
DOI : 10.1007/978-3-540-69927-9_3

S. Hidaka, Z. Hu, K. Inaba, H. Kato, K. Matsuda et al., Bidirectionalizing graph transformations, Proceedings of the 15th ACM SIGPLAN international conference on Functional programming, pp.205-216

Z. Hu, S. C. Mu, and M. Takeichi, A programmable editor for developing structured documents based on bidirectional transformations, PEPM '04: Proceedings of the 2004 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, pp.178-189, 2004.

Z. Hu, S. C. Mu, and M. Takeichi, A programmable editor for developing structured documents based on bidirectional transformations, Higher-Order and Symbolic Computation, pp.89-118, 2008.

Z. Hu, A. Schürr, P. Stevens, and J. F. Terwilliger, Bidirectional transformation " bx
DOI : 10.1145/2007206.2007217

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.362.3023

Z. Hu, A. Schürr, P. Stevens, and J. F. Terwilliger, Dagstuhl seminar on bidirectional transformations (BX), ACM SIGMOD Record, vol.40, issue.1, pp.35-39, 2011.
DOI : 10.1145/2007206.2007217

F. R. Jacobs and F. T. Jr, Enterprise resource planning (ERP)???A brief history, Journal of Operations Management, vol.25, issue.2, pp.357-363, 2007.
DOI : 10.1016/j.jom.2006.11.005

J. Jakob, A. Königs, and A. Schürr, Non-materialized Model View Specification with Triple Graph Grammars
DOI : 10.1007/11841883_23

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.95.197

M. Johnson and R. D. Rosebrugh, Lens put-put laws: monotonic and mixed, First International Workshop on Bidirectional Transformations, 2012.

F. Jouault, J. Bézivin, and I. Kurtev, TCS:, Proceedings of the 5th international conference on Generative programming and component engineering , GPCE '06, p.254, 2006.
DOI : 10.1145/1173706.1173744

K. Kang, S. Cohen, J. Hess, W. Novak, and A. Peterson, Feature-Oriented Domain Analysis (FODA) Feasibility Study, 1990.

C. Kästner, T. Thüm, G. Saake, J. Feigenspan, T. Leich et al., FeatureIDE: Tool Framework for Feature-Oriented Software Development Formal Demonstration paper, Proceedings of the 31th International Conference on Software Engineering (ICSE), pp.611-614, 2009.

A. M. Keller, Choosing a view update translator by dialog at view definition time, Proceedings of the 12th International Conference on Very Large Data Bases, pp.467-474, 1986.

A. Königs, Model Transformation with Triple Graph Grammars, In: Model Transformations in

L. Lambers, S. Hildebrandt, H. Giese, and F. Orejas, Attribute Handling for Bidirectional Model Transformations: The Triple Graph Grammar Case, ECEASST, vol.49, 2012.

R. Lämmel, Coupled Software Transformations (Extended Abstract) In: First International Workshop on Software Evolution Transformations, pp.31-35, 2004.

N. Macedo and A. Cunha, Implementing QVT-R Bidirectional Model Transformations Using Alloy, Proceedings of the 16th International Conference on Fundamental Approaches to Software Engineering, FASE'13, pp.297-311, 2013.
DOI : 10.1007/978-3-642-37057-1_22

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.677.8512

F. Marschall and P. Braun, Model transformations for the mda with BOTL, Model Driven Architecture: Foundations and Applications, pp.25-36, 2003.

K. Matsuda, Z. Hu, K. Nakano, M. Hamana, and M. Takeichi, Bidirectionalization transformation based on automatic derivation of view complement functions, pp.47-58, 2007.

L. Meertens, Designing constraint maintainers for user interaction, 1998.

T. Mens and P. Van-gorp, A Taxonomy of Model Transformation, Electronic Notes in Theoretical Computer Science, vol.152, pp.125-142, 2006.
DOI : 10.1016/j.entcs.2005.10.021

. Microsoft, Microsoft BizTalk Server

K. Nakano, S. Hidaka, Z. Hu, K. Inaba, and H. Kato, Simulation-based graph schema for view updatability checking of graph queries Object Management Group, 2011.

A. Petter, A. Behring, and M. Mühlhäuser, Solving Constraints in Model Transformations, Lecture Notes in Computer Science, vol.17, issue.2, pp.132-147, 2009.
DOI : 10.1109/EDOCW.2006.68

L. M. Rose, N. Matragkas, D. S. Kolovos, and R. F. Paige, A feature model for model-to-text transformation languages, 2012 4th International Workshop on Modeling in Software Engineering (MISE), pp.57-63, 2012.
DOI : 10.1109/MISE.2012.6226015

A. Schürr, Specification of graph translators with triple graph grammars, Theoretic Concepts in Computer Science , 20th International Workshop, WG '94, pp.151-163, 1995.
DOI : 10.1007/3-540-59071-4_45

P. Stevens, A Landscape of Bidirectional Model Transformations, Generative and Transformational Techniques in Software Engineering II: International Summer School, pp.408-424, 2007.
DOI : 10.1007/978-3-540-88643-3_10

P. Stevens, Bidirectional model transformations in QVT: semantic issues and open questions, Software & Systems Modeling, vol.29, issue.3, pp.7-20, 2010.
DOI : 10.1007/s10270-008-0109-9

G. Taentzer, K. Ehrig, E. Guerra, J. De-lara, L. Lengyel et al., Model transformation by graph transformation: A comparative study, p.38

J. Voigtländer, Bidirectionalization for free! (pearl)

J. Voigtländer, Z. Hu, K. Matsuda, and M. Wang, Combining syntactic and semantic bidirectionalization

M. Wang, J. Gibbons, and N. Wu, Incremental updates for efficient bidirectional transformations, Proceedings of the 16th ACM SIGPLAN international conference on Functional programming, pp.392-403, 2011.

Y. Xiong, D. Liu, Z. Hu, H. Zhao, M. Takeichi et al., Towards automatic model synchronization from model transformations, Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering , ASE '07, p.164, 2007.
DOI : 10.1145/1321631.1321657

T. Yokoyama, H. B. Axelsen, and R. Glück, Principles of a reversible programming language, Proceedings of the 2008 conference on Computing frontiers , CF '08, pp.43-54, 2008.
DOI : 10.1145/1366230.1366239