2015 Fiscal Year Annual Research Report
大規模な実用に耐えうる双方向グラフ変換の統合的基盤技術の構築
| Project/Area Number |
25240009
|
|---|
| Research Institution | National Institute of Informatics |
|---|
Principal Investigator |
胡 振江 国立情報学研究所, アーキテクチャ科学研究系, 教授 (50292769)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
加藤 弘之 国立情報学研究所, コンテンツ科学研究系, 助教 (10321580)
中野 圭介 電気通信大学, 情報理工学(系)研究科, 准教授 (30505839)
日高 宗一郎 国立情報学研究所, アーキテクチャ科学研究系, 助教 (70321578)
|
|---|
| Project Period (FY) |
2013-04-01 – 2017-03-31
|
| Keywords | 双方向変換 / 双方向変換言語 / グラフ変換 / データ同期 / ソフトウェア共進化 / ソフトウェア自己適応 |
|---|
| Outline of Annual Research Achievements |
昨年の成果をベースに、実用に耐えうる双方向変換のための双方向変換言語の効率的な実装を中心に、領域特有言語の双方向化、双方向変換による自己適応システムのモヂュール化、双方向変換のソフトウエア工学への応用を行い、次の成果を得た。
1. 双方向変換言語のRoundtripの検証：昨年実装した双方向変換言語BiFluxの双方向的振舞を完全に検証するため、core言語 BiGUL を設計し効率的に実現した。これによりBiFluxを十分定義でき、更に定理証明器Agdaの検証により、BiGULで記述される双方向変換はRoundtrip性質が保証される。また、グラフ構造に対する双方向変換プログラムに対し、より一般的な形式的検証の前段階として、定理証明支援系である Coq を用い、木構造データの変換を形式的モデルである木トランスデューサで定義し、基本的な定理に対し証明を進めた。
2.双方向化：グラフ変換の双方向化にあたりトレース情報の管理はスケーラビリティ達成の鍵の一つとなる。本年は、従来ノード毎に格納され変換段数増加に伴い空間計算量を増やしていたトレース情報について、言語設計段階でソースターゲット間マップに移行させ、順変換が複数合成されている場合の更新の影響範囲の明確化に繋げた。また、BiGULを用いてより強力な双方向変換システムの構築に成功した。
3. グラフ問合せの効率化：特殊なグラフ（木構造）を対象に与えられた構造（木パターン）を満たすような結果をある順番でソートするような問合せの最適化に取り組んだ。全てのノードをソートして出力する問合せを用意し、そこに木パターンから抽出した条件を埋め込んだ問合せの構成に基づく最適化に取り組み、有効性を確かめた。更に、スキーマ情報を用いて与えられた問合せに対し、より効率的な問合せの構成が可能となる枠組みについて、スキーマのクラスも同定しながら研究を進めた。
|
| Current Status of Research Progress |
Current Status of Research Progress
1: Research has progressed more than it was originally planned.
Reason
Putbackに基づく双方向変換のためのCore言語を正しく効率的に実現できたため、研究は順調に進んでおり、当初の計画より早く応用研究に進むことができるようになった。
|
| Strategy for Future Research Activity |
Putbackに基づいた双方向変換理論に基づく双方向変換言語の効率的で信頼性の高い実装と自己適応システムの開発への応用を中心に研究を進める予定である。
|
Research Products
(18 results)
-
-
-
-
-
-
-
-
-
-
-
[Presentation] Rule-Directed Code Clone Synchronization2016
Author(s)
Xiao Cheng, Hao Zhong, Yuting Chen, Zhenjiang Hu, Jianjun Zhao
Organizer
24th IEEE International Conference on Program Comprehension (ICPC 2016)
Place of Presentation
Austin, Texas (USA)
Year and Date
2016-05-16 – 2016-05-17
Int'l Joint Research
-
[Presentation] Supporting Selective Undo for Refactoring2016
Author(s)
Xiao Cheng, Yuting Chen, Zhenjiang Hu, Tao Zan, Mengyu Liu, Hao Zhong, Jianjun Zhao
Organizer
23rd IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER 2016)
Place of Presentation
大阪大学（大阪府吹田市）
Year and Date
2016-03-14 – 2016-03-18
Int'l Joint Research
-
-
-
-
[Presentation] A Clear Picture of Lens Laws2015
Author(s)
Sebastian Fischer, Zhenjiang Hu, Hugo Pacheco
Organizer
12th International Conference on Mathematics of Program Construction (MPC 2015)
Place of Presentation
Konigswinter (Germany)
Year and Date
2015-06-29 – 2015-07-01
Int'l Joint Research
-
-
