The BiG Project

A Grand Challenge Project on Bidirectional Graph (Model) Transformation at NII in Japan

Top >> Publications

Publications

Year：
2015
2013
2012
2011
2010
2009
2008

The documents distributed here have been provided by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.

2015

Soichiro Hidaka, Massimo Tisi, Jordi Cabot , and Zhenjiang Hu, Feature-Based Classification of Bidirectional Transformation Approaches, Software and Systems Modeling, Online First, Jan 2015

2013

Kazuyuki Asada, Soichiro Hidaka, Hiroyuki Kato, Zhenjiang Hu, and Keisuke Nakano, A Parameterized Graph Transformation Calculus for Finite Graphs with Monadic Branches, 15th International Symposium on Principles and Practice of Declarative Programming (PPDP 2013), to appear. [PDF]
Soichiro Hidaka, Kazuyuki Asada, Zhenjiang Hu, Hiroyuki Kato, and Keisuke Nakano, Structural Recursion for Querying Ordered Graphs, 18th ACM SIGPLAN International Conference on Functional Programming (ICFP 2013), to appear. [PDF]
Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano, GRoundTram: An Integrated Framework for Developing Well-Behaved Bidirectional Model Transformations Progress in Informatics, No. 10, Special Issue: Advanced Programming Techniques for Construction of Robust, General and Evolutionary Programs, pp. 131-148. Mar. 2013. [Publisher's PDF] [Author's PDF with hyperlink]
John Wilson-Kanamori and Soichiro Hidaka, A Bidirectional Collaboration Framework for Bio-Model Development, Second International Workshop on Bidirectional Transformations (BX 2013), Rome, Italy, colocated with ETAPS 2013, March 17, 2013.

2012

Kazuyuki Asada, Soichiro Hidaka, Hiroyuki Kato, Zhenjiang Hu, and Keisuke Nakano, Parameterized Graph Transformation Languages with Monads, Technical Report GRACE-TR-2012-07, GRACE Center, National Institute of Informatics, October 2012. [PDF]

Yiqing ZHU, Tao ZAN, Soichiro HIDAKA and Zhenjiang HU, iGRT: A Generic Interface for GRoundTram, Technical Report GRACE-TR-2012-06, GRACE Center, National Institute of Informatics, June 2012. [PDF]

Yijun Yu, Yu Lin, Zhenjiang Hu, Soichiro Hidaka, Hiroyuki Kato, Lionel Montrieux, blinkit: Maintaining Invariant Traceability through Bidirectional Transformations, 34th International Conference on Software Engineering (ICSE 2012), Zurich, Switzerland, June 2-9, pp. 540-550. 2012.

2011

Soichiro Hidaka, Kazuyuki Asada, Hiroyuki Kato, Keisuke Nakano, Zhenjiang Hu, Towards Bidirectional Transformations on Ordered Graphs, Technical Report GRACE-TR-2011-07, GRACE Center, National Institute of Informatics, December 2011. [PDF]

Keisuke Nakano, Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, View Updatability Checking with Simulation-based Graph Schema, JSSST Computer Software, Vol. 29, No. 2 pp.174-192. Apr 2012. [PDF]

Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano, GRoundTram: An Integrated Framework for Developing Well-Behaved Bidirectional Model Transformations (short paper), 26th IEEE/ACM International Conference On Automated Software Engineering (ASE 2011), Oread, Lawrence, Kansas, USA, November 6-10, pp.480-483, 2011. [PDF] [long version]
Qing Sun, Bo Wang, Zhenjiang Hu, Applying Bidirectional Transformation to Feature Model Refinement - Implementation Issues - , Technical Report GRACE-TR-2011-04, GRACE Center, National Institute of Informatics, August 2011. 14 pages. [PDF]
Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano, Isao Sasano, Marker-directed optimization of UnCAL graph transformations, 21st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2011), Odense, Denmark, July 18-20, LNCS Vol. 7225, Springer. pp.123-138. 2011. [PDF](Updated June 20) [long version]

Kazuhiro Inaba, Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano, Graph-Transformation Verification using Monadic Second-Order Logic, 13th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP 2011), Odense, Denmark, July 20-22, pp.17-28, 2011.

Isao Sasano, Zhenjiang Hu, Soichiro Hidaka, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano, Toward bidirectionalization of ATL with GRoundTram, International Conference on Model Transformation (ICMT 2011), Zurich, Switzerland, June 27-28, LNCS Vol. 6707, Springer. pp. 138-151, 2011. [PDF]

2010

Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano, Kazutaka Matsuda, Bidirectionalizing Graph Transformations, 15th ACM SIGPLAN International Conference on Functional Programming (ICFP 2010), Baltimore, Maryland, USA, September 27-29, pp.255-270, 2010. [PDF] [long version]
Kazuhiro Inaba, Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano, Sound and Complete Validation of Graph Transformations, Technical Report GRACE-TR-2010-04, GRACE Center, National Institute of Informatics, May 2010. 29 pages. [PDF]

2009

Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano, GRoundTram Version 0.1.0 User Manual, October 2009. 59 pages. [PDF]
Yuting Chen, Zhenjiang Hu, AO Software Behavior Model Evolution and Synchronization: A Bidirectional Graph Transformation Approach, Technical Report GRACE-TR-2009-06, GRACE Center, National Institute of Informatics, September 2009. 18 pages. [PDF]
Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano, Bidirectionalizing Structural Recursion on Graphs, Technical Report GRACE-TR-2009-03, GRACE Center, National Institute of Informatics, August 2009. 41 pages. [PDF] [Typo corrected PDF]
Krzysztof Czarnecki, J. Nathan Foster, Zhenjiang Hu, Ralf Lammel, Andy Schurr, James F. Terwilliger, Bidirectional Transformations: A Cross-Discipline Perspective, International Conference on Model Transformation (ICMT 2009), ETH Zurich, Switzerland, June 29-July 3 2009. LNCS 5563, Springer. pp.260-283. [PDF]
Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano, A Compositional Approach to Bidirectional Model Transformation, New Ideas and Emerging Results Track of 31st International Conference on Software Engineering (ICSE 2009), Vancouver, Canada, May 16-24, 2009. Companion Volume. IEEE. pp. 235-238. [PDF]
Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano, Towards Compositional Approach to Model Transformation for Software Development, Proceedings of the 24th Annual ACM Symposium on Applied Computing (SAC 2009), Software Engineering Track, Honolulu, Hawaii, USA, March 8-12, 2009. pp. 468-475. [PDF]
Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Yasunori Ishihara, Keisuke Nakano, Rewriting XQuery to Avoid Redundant Expressions based on Static Emulation of XML Store, ACM SIGPLAN Workshop on Programming Language Techniques for XML (PLAN-X 2009), Savannah, Georgia, USA, Jan 24, 2009.

2008

Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano, Towards Compositional Approach to Model Transformations, JSSST 2008, Tsukuba University, September 10-12, 2008. [Slides]
Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano, An Algebraic Approach to Bidirectional Model Transformations, Technical Report GRACE-TR-2008-02, GRACE Center, National Institute of Informatics, September 2008. 14 pages.[PDF]
Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano, Towards Compositional Approach to Model Transformations, Technical Report GRACE-TR-2008-01, GRACE Center, National Institute of Informatics, August 2008. 37 pages. [PDF]

Some related publications can be found in the bidirectional computation page.

PAGE TOP