LINK [1] The AtlanMod team web site: http://www.emn.fr/xinfo/atlanmod/
LINK [2] The BiG project web site: http://www.biglab.org/
LINK [3] S. M. Abramov and R. Glück, “Principles of inverse computation and the universal resolving algorithm,” In The Essence of Computation, pp.269295, 2002.
LINK [4] C. Amelunxen, A. Königs, T. Rötschke, and A. Schürr, MOFLON, “A StandardCompliant Metamodeling Framework with Graph Transformations,” In A. Rensink and J. Warmer, editors, Model Driven ArchitectureFoundations and Applications: Second European Conference, vol.4066 of Lecture Notes in Computer Science (LNCS), pp.361375, Heidelberg, Springer Verlag, 2006.
LINK [5] M. Antkiewicz and K. Czarnecki, “Frameworkspecific modeling languages with roundtrip engineering,” In MoDELS 2006: Proceedings of the 9th International Conference on Model Driven Engineering Languages and Systems, pp.692706, SpringerVerlag, 2006.
LINK [6] M. Antkiewicz and K. Czarnecki, “Design space of heterogeneous synchronization,” In GTTSE '07: Proceedings of the 2nd Summer School on Generative and Transformational Techniques in Software Engineering, 2007.
LINK [7] J. Bézivin, B. Rumpe, A. Schürr, and L. Tratt, “Model transformation in practice workshop announcement,” In Satellite Events at the MoDELS 2005 Conference, pp.120127, SpringerVerlag, 2005.
LINK [8] A. Bohannon, B. C. Pierce, and J. A. Vaughan, “Relational lenses: a language for updatable views,” In S. Vansummeren, editor, PODS, pp.338347, ACM, 2006.
LINK [9] A. Bohannon, J. N. Foster, B. C. Pierce, A. Pilkiewicz, and A. Schmitt, “Boomerang: resourceful lenses for string data,” In G. C. Necula and P. Wadler, editors, POPL '08: ACM SIGPLANSIGACT Symposium on Principles of Programming Languages, pp.407419. ACM, 2008.
LINK [10] P. Buneman, M. F. Fernandez, and D. Suciu, “UnQL: a query language and algebra for semistructured data based on structural recursion,” VLDB Journal: Very Large Data Bases, vol.9, no.1, pp.76110, 2000.
LINK [11] Yuting Chen, “A bidirectional graph transformation approach to analysis of concurrent software models,” In Software Engineering and Service Sciences (ICSESS), 2010 IEEE International Conference on, pp.339343, july 2010. doi: 10.1109/ICSESS.2010.5552447.
LINK [12] K. Czarnecki, J. N. Foster, Z. Hu, R. Lämmel, A. Schürr, and J. F. Terwilliger, “Bidirectional transformations: A crossdiscipline perspective,” In International Conference on Model Transformation (ICMT 2009), pp.260283, LNCS 5563, Springer, 2009.
LINK [13] Z. Diskin, Y. Xiong, and K. Czarnecki, “From stateto deltabased bidirectional model transformations: the asymmetric case,” Journal of Object Technology, vol.10, no.6, pp.125, 2011.
LINK [14] H. Ehrig, K. Ehrig, C. Ermel, F. Hermann, and G. Taentzer, “Information preserving bidirectional model transformations,” In Proceedings of the 10th international conference on Fundamental approaches to software engineering, FASE'07, pp.7286, Berlin, Heidelberg, 2007. SpringerVerlag. ISBN 9783540712886.
LINK [15] K. Ehrig, E. Guerra, J. de Lara, L. Lengyel, T. Levendovszky, U. Prange, G. Taentzer, D. Varró, and S. VarróGyapay, “Model transformation by graph transformation: A comparative study,” Presented at MTiP 2005. http://www.inf.mit.bme.hu/FTSRG/Publications/varro/2005/mtip05.pdf, 2005.
LINK [16] J. Ellson, E. R. Gansner, E. Koutsofios, S. C. North, and G. Woodhull, “Graphviz and dynagraphstatic and dynamic graph drawing tools,” In GRAPH DRAWING SOFTWARE, pp.127148, SpringerVerlag, 2003.
LINK [17] J. N. Foster, M. B. Greenwald, J. T. Moore, B. C. Pierce, and A. Schmitt, “Combinators for bidirectional tree transformations: a linguistic approach to the view update problem,” In POPL '05: ACM SIGPLANSIGACT Symposium on Principles of Programming Languages, pp.233246, 2005.
LINK [18] J. N. Foster, M. B. Greenwald, J. T. Moore, B. C. Pierce, and A. Schmitt, “Combinators for bidirectional tree transformations: A linguistic approach to the viewupdate problem,” ACM Trans. Program. Lang. Syst., vol.29, no.3, 2007.
LINK [19] M. Garcia, “Bidirectional synchronization of multiple views of software models,” In Proceedings of DSML2008, vol.324 of CEURWS, pp.719, 2008.
LINK [20] H. Giese and S. Hildebrandt, “Efficient model synchronization of largescale models,” Technical Report 28, Hasso Plattner Institute at the University of Potsdam, 2009.
LINK [21] H. Giese and R. Wagner, “Incremental model synchronization with triple graph grammars,” In MoDELS 2006: Proceedings of the 9th nternational Conference on Model Driven Engineering Languages and Systems, pp.543557, Springer Verlag, 2006.
LINK [22] J. Grundy, J. Hosking, and W. B. Mugridge, “Inconsistency management for multipleview software development environments,” IEEE Trans. Softw. Eng., vol.24, no.11, pp.960981, 1998.
LINK [23] E. Guerra, J. Lara, and F. Orejas, “Intermodelling with patterns,” Software & Systems Modeling, pp.130, 2011. ISSN 16191366. doi: 10.1007/s1027001101921.
LINK [24] F. Hermann, H. Ehrig, F. Orejas, K. Czarnecki, Z. Diskin, and Y. Xiong, “Correctness of model synchronization based on triple graph grammars,” In Lecture Notes in Computer Science, vol.6981, pp.668682, Springer, 2011. ISBN 9783642244841.
LINK [25] S. Hidaka, Z. Hu, H. Kato, and K. Nakano, “Towards a compositional approach to model transformation for software development,” In SAC'09: Proceedings of the 2009 ACM symposium on Applied Computing, pp.468475, ACM, 2009.
LINK [26] S. Hidaka, Z. Hu, H. Kato, and K. Nakano, “A compositional approach to bidirectional model transformation,” In ICSE Companion, pp.235238, IEEE, 2009.
LINK [27] S. Hidaka, Z. Hu, K. Inaba, H. Kato, K. Matsuda, and K. Nakano, “Bidirectionalizing graph transformations,” In ACM SIGPLAN International Conference on Functional Programming, pp.205216, ACM, 2010.
LINK [28] S. Hidaka, Z. Hu, K. Inaba, H. Kato, K. Matsuda, K. Nakano, and I. Sasano, “Markerdirected Optimization of UnCAL Graph Transformations,” In Proceediings of 21st International Symposium on LogicBased Program Synthesis and Transformation (LOPSTR 2011), vol.7225 of LNCS, pp.123138, Odense, Denmark, 2011.
LINK [29] S. Hidaka, Z. Hu, K. Inaba, H. Kato, K. Matsuda, K. Nakano, and I. Sasano, “Markerdirected Optimization of UnCAL Graph Transformations (revised version),” Technical Report GRACETR201106, GRACE Center, National Institute of Informatics, Nov. 2011.
LINK [30] S. Hidaka, Z. Hu, K. Inaba, H. Kato, and K. Nakano, “GRoundTram: An integrated framework for developing wellbehaved bidirectional model transformations (short paper),” In 26th IEEE/ACM International Conference On Automated Software Engineering, pp.480483, IEEE, 2011.
LINK [31] Z. Hu, H. Iwasaki, M. Takeichi, and A. Takano, “Tupling calculation eliminates multiple data traversals,” In ACM SIGPLAN International Conference on Functional Programming (ICFP'97), pp.164175, Amsterdam, The Netherlands, ACM Press, June 1997.
LINK [32] Z. Hu, S.C. Mu, and M. Takeichi, “A programmable editor for developing structured documents based on bidirectional transformations,” HigherOrder and Symbolic Computation, vol.21, no.12, pp.89118, 2008.
LINK [33] K. Inaba, S. Hidaka, Z. Hu, H. Kato, and K. Nakano, “Graphtransformation verification using monadic secondorder logic,” In P. SchneiderKamp and Michael Hanus, editors, PPDP, pp.1728, ACM, 2011.
LINK [34] F. Ishikawa, “Towards customizable and bidirectionally traceable transformation between vdm++ and java,” In The 9th Overture/VDM Workshop, June 2011.
LINK [35] F. Jouault and J. Bézivin, “KM3: A DSL for metamodel specification,” In Formal Methods for Open ObjectBased Distributed Systems, pp.171185, LNCS 4037, Springer, 2006.
LINK [36] F. Klar, A. Königs, and A. Schürr, “Model transformation in the large,” In I. Crnkovic and A. Bertolino, editors, ESEC/SIGSOFT FSE, pp.285294, ACM, 2007.
LINK [37] A. Königs and A. Schürr, “Tool integration with triple graph grammarsa survey,” Electronic Notes in Theoretical Computer Science, vol.148, no.1, pp.113150, Feb. 2006.
LINK [38] R. Lämmel, “Coupled Software Transformations (Extended Abstract),” In First International Workshop on Software Evolution Transformations, Nov. 2004.
LINK [39] K. Matsuda, Z. Hu, K. Nakano, M. Hamana, and M. Takeichi, “Bidirectionalization transformation based on automatic derivation of view complement functions,” In 12th ACM SIGPLAN International Conference on Functional Programming (ICFP 2007), pp.4758, ACM Press, Oct. 2007.
LINK [40] K. Nakano, S. Hidaka, Z. Hu, K. Inaba, and H. Kato, “Simulationbased graph schema for view updatability checking of graph queries,” Technical Report GRACETR1101, GRACE Center, National Institute of Informatics, May 2011.
LINK [41] R. Paige and R. Tarjan, “Three partition refinement algorithms,” SIAM Journal of Computing, vol.16, no.6, pp.973988, 1987. DOI: http://dx.doi.org/10.1137/0216062.
LINK [42] I. Sasano, Z. Hu, S. Hidaka, K. Inaba, H. Kato, and K. Nakano, “Toward bidirectionalization of ATL with GRoundTram,” In Theory and Practice of Model Transformations, Fourth International Conference, ICMT 2011, vol.6707 of LNCS, pp.138151, Springer, June 2011.
LINK [43] P. Stevens, “Bidirectional model transformations in QVT: Semantic issues and open questions,” In G. Engels, B. Opdyke, D. C. Schmidt, and F. Weil, editors, Proc. 10th MoDELS, vol.4735 of Lecture Notes in Computer Science, pp.115, Springer, 2007.
LINK [44] P. Stevens, “A landscape of bidirectional model transformations,” In R. Lämmel, J. Visser, and J. Saraiva, editors, Generative and Transformational Techniques in Software Engineering II, pp.408424, SpringerVerlag, Berlin, Heidelberg, 2008. ISBN 9783540886426.
LINK [45] P. Stevens, “Bidirectional model transformations in qvt: semantic issues and open questions,” Software and System Modeling, vol.9, no.1, pp.720, 2010.
LINK [46] G. Taentzer, “AGG: A graph transformation environment for modeling and validation of software,” In J. L. Pfaltz, M. Nagl, and B. Böhlen, editors, AGTIVE, vol.3062 of LNCS, pp.446453, Springer, 2003.
LINK [47] T. Kozawa, “Bidirectionaltransformation with UML model for Simulink model maintainability improvement (in Japanese),” http://www.washi.cs.waseda.ac.jp/papers/2011/submission/1w070119.pdf, Feb. 2011. Summary of the bachelor's thesis at the Department of Conputer Science, Waseda University.
LINK [48] B. Wang, Z. Hu, Q. Sun, H. Zhao, Y. Xiong, and H. Mei, “Supporting feature model refinement with updatable view,” Technical Report GRACETR201005, GRACE Center, National Institute of Informatics, May 2010.
LINK [49] A. Wider, “Towards combinators for bidirectional model transformations in scala,” In A. M. Sloane and U. Aβmann, editors, SLE, vol.6940 of Lecture Notes in Computer Science, pp.367377, Springer, . ISBN 9783642288296.
LINK [50] Y. Xiong, D. Liu, Z. Hu, H. Zhao, M. Takeichi, and H. Mei, “Towards automatic model synchronization from model transformations,” In 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), pp.164173, ACM Press, Nov. 2007.
LINK [51] Y. Yu, Y. Lin, Z. Hu, S. Hidaka, H. Kato, and L. Montrieux, “Blinkit: Maintaining Invariant Traceability through Bidirectional Transformations,” In Proceediings of the 34th International Conference on Software Engineering (ICSE 2012), Zurich, Switzerland, pp.540550, June 2012.
LINK [52] Y. Zhu, T. Zan, S. Hidaka, and Z. Hu, “iGRT: A generic interface for GRoundTram,” Technical Report GRACETR201206, GRACE Center, National Institute of Informatics, 2012.
