Online ISSN:1349-8606
Progress in Informatics  
No.10 March 2013  
Page 131-148  
 
GRoundTram: An integrated framework for developing well-behaved bidirectional model transformations
Soichiro HIDAKA, Zhenjiang HU, Kazuhiro INABA, Hiroyuki KATO and Keisuke NAKANO

LINK [1] The AtlanMod team web site: http://www.emn.fr/x-info/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.269-295, 2002.

LINK [4] C. Amelunxen, A. Königs, T. Rötschke, and A. Schürr, MOFLON, “A Standard-Compliant Metamodeling Framework with Graph Transformations,” In A. Rensink and J. Warmer, editors, Model Driven Architecture-Foundations and Applications: Second European Conference, vol.4066 of Lecture Notes in Computer Science (LNCS), pp.361-375, Heidelberg, Springer Verlag, 2006.

LINK [5] M. Antkiewicz and K. Czarnecki, “Framework-specific modeling languages with round-trip engineering,” In MoDELS 2006: Proceedings of the 9th International Conference on Model Driven Engineering Languages and Systems, pp.692-706, Springer-Verlag, 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.120-127, Springer-Verlag, 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.338-347, 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 SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp.407-419. 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.76-110, 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.339-343, 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 cross-discipline perspective,” In International Conference on Model Transformation (ICMT 2009), pp.260-283, LNCS 5563, Springer, 2009.

LINK [13] Z. Diskin, Y. Xiong, and K. Czarnecki, “From state-to delta-based bidirectional model transformations: the asymmetric case,” Journal of Object Technology, vol.10, no.6, pp.1-25, 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.72-86, Berlin, Heidelberg, 2007. Springer-Verlag. ISBN 978-3-540-71288-6.

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 dynagraph-static and dynamic graph drawing tools,” In GRAPH DRAWING SOFTWARE, pp.127-148, Springer-Verlag, 2003.

LINK [17] J. N. Foster, M. B. Greenwald, J. T. Moore, B. C. Pierce, and A. Schmitt, “Combinators for bi-directional tree transformations: a linguistic approach to the view update problem,” In POPL '05: ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp.233-246, 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 view-update 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 DSML-2008, vol.324 of CEUR-WS, pp.7-19, 2008.

LINK [20] H. Giese and S. Hildebrandt, “Efficient model synchronization of large-scale 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.543-557, Springer Verlag, 2006.

LINK [22] J. Grundy, J. Hosking, and W. B. Mugridge, “Inconsistency management for multiple-view software development environments,” IEEE Trans. Softw. Eng., vol.24, no.11, pp.960-981, 1998.

LINK [23] E. Guerra, J. Lara, and F. Orejas, “Inter-modelling with patterns,” Software & Systems Modeling, pp.1-30, 2011. ISSN 1619-1366. doi: 10.1007/s10270-011-0192-1.

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.668-682, Springer, 2011. ISBN 978-3-642-24484-1.

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.468-475, ACM, 2009.

LINK [26] S. Hidaka, Z. Hu, H. Kato, and K. Nakano, “A compositional approach to bidirectional model transformation,” In ICSE Companion, pp.235-238, 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.205-216, ACM, 2010.

LINK [28] S. Hidaka, Z. Hu, K. Inaba, H. Kato, K. Matsuda, K. Nakano, and I. Sasano, “Marker-directed Optimization of UnCAL Graph Transformations,” In Proceediings of 21st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2011), vol.7225 of LNCS, pp.123-138, Odense, Denmark, 2011.

LINK [29] S. Hidaka, Z. Hu, K. Inaba, H. Kato, K. Matsuda, K. Nakano, and I. Sasano, “Marker-directed Optimization of UnCAL Graph Transformations (revised version),” Technical Report GRACE-TR-2011-06, 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 well-behaved bidirectional model transformations (short paper),” In 26th IEEE/ACM International Conference On Automated Software Engineering, pp.480-483, 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.164-175, 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,” Higher-Order and Symbolic Computation, vol.21, no.1-2, pp.89-118, 2008.

LINK [33] K. Inaba, S. Hidaka, Z. Hu, H. Kato, and K. Nakano, “Graph-transformation verification using monadic second-order logic,” In P. Schneider-Kamp and Michael Hanus, editors, PPDP, pp.17-28, ACM, 2011.

LINK [34] F. Ishikawa, “Towards customizable and bi-directionally 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 Object-Based Distributed Systems, pp.171-185, 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.285-294, ACM, 2007.

LINK [37] A. Königs and A. Schürr, “Tool integration with triple graph grammars-a survey,” Electronic Notes in Theoretical Computer Science, vol.148, no.1, pp.113-150, 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.47-58, ACM Press, Oct. 2007.

LINK [40] K. Nakano, S. Hidaka, Z. Hu, K. Inaba, and H. Kato, “Simulation-based graph schema for view updatability checking of graph queries,” Technical Report GRACE-TR11-01, 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.973-988, 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.138-151, 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.1-15, 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.408-424, Springer-Verlag, Berlin, Heidelberg, 2008. ISBN 978-3-540-88642-6.

LINK [45] P. Stevens, “Bidirectional model transformations in qvt: semantic issues and open questions,” Software and System Modeling, vol.9, no.1, pp.7-20, 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.446-453, 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 GRACE-TR-2010-05, 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.367-377, Springer, . ISBN 978-3-642-28829-6.

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.164-173, 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.540-550, June 2012.

LINK [52] Y. Zhu, T. Zan, S. Hidaka, and Z. Hu, “iGRT: A generic interface for GRoundTram,” Technical Report GRACE-TR-2012-06, GRACE Center, National Institute of Informatics, 2012.