Efficient implementation and verification of practical structured-document transformation based on tree transducer theory

• Project/Area Number: 22700008
• Research Category: Grant-in-Aid for Young Scientists (B)
• Allocation Type: Single-year Grants
• Research Field: Fundamental theory of informatics
• Research Institution: The University of Electro-Communications
• Principal Investigator: NAKANO Keisuke 電気通信大学, 先端領域教育研究センター, 准教授 (30505839)
• Project Period (FY): 2010 – 2012
• Project Status: Completed (Fiscal Year 2012)
• Budget Amount: ¥2,860,000 (Direct Cost: ¥2,200,000、Indirect Cost: ¥660,000); Fiscal Year 2012: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000); Fiscal Year 2011: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000); Fiscal Year 2010: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
• Keywords: オートマトン理論 / 形式言語理論 / 構造化文書変換 / プログラム検証 / 木トランスデューサ / 形式言語 / 構造化文書 / データベース / 双方向変換 / ビュー更新

Research Abstract

The goal of this research project is to demonstrate the practicality of the theory of tree transducers (TTs) by applying it to transformation of structured documents such as the XML format. The TT theory has been intensively studied by researchers in formal language theory from the mathematical point of view. The project representative confirmed the practicality of TT streaming and TT verification by extending existing results on composition and typechecking TTs.

Research Products

• [Journal Article] GRoundTram: An Integrated Framework for Developing Well-Behaved Bidirectional Model Transformations. (2013)
  • Author(s): Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano
  • Journal Title: Progress in Informatics Volume: No.10 Issue: 10 Pages: 131-148
  • DOI: 10.2201/niipi.2013.10.7
  • Peer Reviewed
• [Journal Article] Metamorphism in Jigsaw (2013)
  • Author(s): Keisuke Nakano
  • Journal Title: Journal of Functional Programming Volume: 23(2) Issue: 2 Pages: 161-173
  • DOI: 10.1017/s0956796812000391
  • Peer Reviewed
• [Journal Article] GRoundTram: An Integrated Framework for Developing Well-Behaved Bidirectional Model Transformations (2013)
  • Author(s): Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, and Keisuke Nakano
  • Journal Title: Progress in Informatics Volume: 10
  • Peer Reviewed
• [Journal Article] Context-Preserving XQuery Fusion (2013)
  • Author(s): Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano, and Yasunori Ishihara
  • Journal Title: Mathematical Structures in Computer Science Volume: 未定
  • Peer Reviewed
• [Journal Article] Shall We Juggle, Co- inductively? In Proceedings of 2ndInternational Conference on Certified (2012)
  • Author(s): Keisuke Nakano
  • Journal Title: Programs and Proofs Pages: 160-172
  • DOI: 10.1007/978-3-642-35308-6_14
  • ISBN: 9783642353079, 9783642353086
  • Peer Reviewed
• [Journal Article] Isao Sasano: Marker- Directed Optimization of UnCAL Graph Transformations (2012)
  • Author(s): Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano
  • Journal Title: In Selected/revised papers from 21st International Symposium Logic-Based Program Synthesis and Transformation Volume: Vol.7225 Pages: 123-138
  • DOI: 10.1007/978-3-642-32211-2_9
  • ISBN: 9783642322105, 9783642322112
  • Peer Reviewed
• [Journal Article] View Updatability Checking with Simulation-based Graph Schema (2012)
  • Author(s): 中野圭介, 日高宗一郎,胡振江,稲葉一 浩,加藤弘之
  • Journal Title: Computer Software Volume: 29 Issue: 2 Pages: 2_174-2_192
  • DOI: 10.11309/jssst.29.2_174
  • NAID: 130004549266
  • ISSN: 0289-6540
  • Peer Reviewed
• [Journal Article] Polynomial-Time Inverse Computation for Accumulative Functions with Multiple Data Traversals (2012)
  • Author(s): Kazutaka Matsuda, Kazuhiro Inaba and Keisuke Nakano
  • Journal Title: In Proceedings of ACM SIGPLAN Partial Evaluation and Program Manipulation Pages: 5-14
  • DOI: 10.1145/2103746.2103752
  • Peer Reviewed
• [Journal Article] 模倣に基づくグラフスキーマを利用したビュー更新可能性判定 (2012)
  • Author(s): 中野圭介, 日高宗一郎，胡振江，稲葉一浩，加藤弘之
  • Journal Title: コンピュータソフトウェア Volume: 29 (2) Pages: 174-192
  • NAID: 130004549266
  • Peer Reviewed
• [Journal Article] Graph-Transformation Verification using Monadic Second-Order Logic (2011)
  • Author(s): Kazuhiro Inaba, Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
  • Journal Title: In Proceedings of13th international ACM SIGPLAN symposium on Principles and practices of declarative programming Pages: 17-28
  • DOI: 10.1145/2003476.2003482
  • Peer Reviewed
• [Journal Article] Toward Bidirectionalization of ATL with GRoundTram (2011)
  • Author(s): Isao Sasano, Zhenjiang Hu, Soichiro Hidaka, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano
  • Journal Title: In Proceedings of 4th International Conference on Theory and Practice of Model Transformations Pages: 138-151
  • DOI: 10.1007/978-3-642-21732-6_10
  • ISBN: 9783642217319, 9783642217326
  • Peer Reviewed
• [Journal Article] 模倣に基づくグラフスキーマを利用したビュー更新可能性判定 (2011)
  • Author(s): 中野圭介, 日高宗一郎, 胡振江, 稲葉一浩, 加藤弘之
  • Journal Title: プログラミングおよびプログラミング言語ワークショップ予稿集 Volume: 13 Pages: 146-160
  • NAID: 130004549266
  • Peer Reviewed
• [Journal Article] Yasunori Ishihara: Context-preserving XQuery fusion (2010)
  • Author(s): H iroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano
  • Journal Title: In Proceedings of 8th Asian Symposium on Programming Languages and Systems Pages: 255-270
  • DOI: 10.1007/978-3-642-17164-2_18
  • ISBN: 9783642171635, 9783642171642
  • Peer Reviewed
• [Journal Article] Bidirectionalizing GraphTransformations (2010)
  • Author(s): Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano
  • Journal Title: In Proceedings of15th ACM SIGPLAN International Conference on Functional Programming Pages: 205-216
  • DOI: 10.1145/1863543.1863573
  • Peer Reviewed
• [Journal Article] Bidirectionalizing Graph Transformations (2010)
  • Author(s): Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, K.Nakano.
  • Journal Title: ACM SIGPLAN Notices-ICFP'10 Volume: 45-9 Pages: 205-216
  • Peer Reviewed
• [Journal Article] Context-preserving XQuery fusion (2010)
  • Author(s): Hiroyuki Kato, Soichiro Hidaka, Zhinjiang Hu, Keisuke Nakano, Yasunori Ishihara.
  • Journal Title: Lecture Notes in Computer Science-APLAS'10 Volume: 6461 Pages: 255-270
  • Peer Reviewed
• [Presentation] Metamorphism, Jigsaw and String Rewriting (2012)
  • Author(s): Keisuke Nakano
  • Organizer: 36th TRS Meeting
  • Place of Presentation: 島根大学
  • Year and Date: 2012-02-28
• [Presentation] Progress Report on the Rho Property of B Combinators (2012)
  • Author(s): Keisuke Nakano
  • Organizer: 37th TRS meeting
  • Place of Presentation: 仙台
• [Presentation] Towards Certified Model Transformation. (2012)
  • Author(s): Keisuke Nakano
  • Organizer: Atlanmod-BiG Joint workshop on Bidirectionality in Model Transformations
  • Place of Presentation: パリフランス
• [Presentation] Metamorphism, Jigsaw and String Rewriting (2012)
  • Author(s): Keisuke Nakano
  • Organizer: 36th TRS Meeting
  • Place of Presentation: 松江
• [Presentation] Towards Certified Model Transformation (2012)
  • Author(s): Keisuke Nakano
  • Organizer: Atlanmod-BiG Joint workshop on Bidirectionality in Model Transformations
  • Place of Presentation: Paris
• [Presentation] Shall We Juggle, Coinductively? (2012)
  • Author(s): Keisuke Nakano
  • Organizer: The Second International Conference on Certified Programs and Proofs (CPP 2012)
  • Place of Presentation: Kyoto
• [Presentation] View updatablity checking for graph queries (2011)
  • Author(s): Keisuke Nakano
  • Organizer: Automated techniques for higher-order program verification
  • Place of Presentation: 湘南国際村センター
  • Year and Date: 2011-09-26
• [Presentation] View Updatability Checking with a Graph Schema (2011)
  • Author(s): Keisuke Nakano
  • Organizer: 5th International Workshop on Bidirectional Transformation in Architecture-Based Component Composition
  • Place of Presentation: 西安交通大学
  • Year and Date: 2011-05-18
• [Presentation] View updatability checking for graph queries (2011)
  • Author(s): Keisuke Nakano
  • Organizer: Shonan seminar on Automated techniques for higher-order program verification
  • Place of Presentation: 葉山
• [Presentation] View updatability checking with a graph schema (2011)
  • Author(s): Keisuke Nakano
  • Organizer: 5th International Workshop on Bidirectional Transformation in Architecture-Based Component Composition
  • Place of Presentation: 西安 中国
• [Presentation] 模倣に基づくグラフスキーマを利用したビュー更新可能性 (2011)
  • Author(s): 中野圭介,日高宗一郎,胡振江,稲葉一 浩,加藤弘之
  • Organizer: 第13回プログラミングおよびプログラミング 言語ワークショップ
  • Place of Presentation: 札幌