2014 Fiscal Year Research-status Report
| Project/Area Number |
26330096
|
|---|
| Research Institution | National Institute of Informatics |
|---|
Principal Investigator |
日高 宗一郎 国立情報学研究所, アーキテクチャ科学研究系, 助教 (70321578)
|
|---|
| Project Period (FY) |
2014-04-01 – 2017-03-31
|
| Keywords | 双方向変換 / グラフ変換 / 相互運用性 / トレーサビリティ |
|---|
| Outline of Annual Research Achievements |
あらゆる応用、変換、機構との相互運用の可能な双方向変換に向けたグラフや変換の記述能力の向上、特に順序の導入や順序つき/なしの枝の混在の扱いについて、順序の有無に共通して必要となる機構を明確化した。
具体的には、ベースとしているグラフ変換言語についてソース・ターゲットグラフ、その間の変換プログラム中の言語要素間を結びつけるトレース情報の、ノードと枝、変換連鎖に対応した設計とそれを用いた追跡方式、逆変換におけるビュー上の編集操作の伝搬、ビュー更新による制御フロー（条件分岐）変更の検出、ビュー上で同じソース枝に由来する枝の解析方法を設計した。このことにより、双方向変換であることの条件である双方向性（振る舞いの良さ）の達成条件をより明確にした。この成果は一般に困難と言われている逆変換の振舞いの予測も容易にする。
更に、順序を導入して枝の入れ替えなどの記述能力を付加した構造再帰について、枝毎の変換からノード単位の変換に視点を移すことにより構造再帰内でのモジュール構造を明確にした。
その他の記述能力向上については、これまで特にSQL風構文糖レベルで不可能だった変換内での新たな循環の生成の手法を考案し、静的に循環中の経路の長さと種類が固定されるといった限界を明確にした。
その他、28年度以降に計画されていた研究事項の一部である、言語同士の対等な相互運用に関する前倒しの成果として、単方向モデル変換言語ATLから双方向グラフ変換言語への翻訳の基本方針を示すことができた。具体的には、翻訳元言語レベルの双方向性の、既存双方向言語の双方向性による証明体系を構築した。この成果は他の言語同士の組み合わせにも用いることができる汎用性の高いものである。また、属性つきグラフと枝ラベルつきグラフ間の相互変換、翻訳におけるメタモデル（型情報）の組み込みを行なった。ATLの循環生成機能の翻訳の道筋も示した。
|
| Current Status of Research Progress |
Current Status of Research Progress
2: Research has progressed on the whole more than it was originally planned.
Reason
改良対象としている、関数プログラミングスタイルにより変換連鎖に対応した双方向グラフ変換言語について、その双方向変換能力向上に資するべく、変更の逆伝搬に重要な役割を果たすトレースの再設計をしたことにより、トレースに基づく双方向変換の核心部分を強化できたことで双方向変換のより明快で強力な枠組みの提案に大きく近づくことができた。
また、単方向モデル変換言語ATLとの統合への道筋をつけることができたことで、「（２）他のシステムと対等で相補的な統合」という側面に関して大きく進展した。
|
| Strategy for Future Research Activity |
実装による評価は、相互運用対象となるサブシステムそのもの、相互運用部分自体の有効性の検証にも引き続き重要である。言語同士の対等な相互運用として、ATLと改善対象としているGRoundTramの実行時の相互運用に関して行った設計を、モデルとグラフの相互変換も含めて精緻化したのち実装し、クラス図から関係スキーマへの変換などの既存の典型的なモデル変換の双方向化について有効性を評価する。また、枝間に順序のあるグラフの双方向変換言語についても、実装を進めて評価を行う。
26年度で明確化した、トレース情報を利用した解析を更に精緻化することにより、グラフモデルによらない双方向性の性質の達成条件を精緻化する。その他複数種類のグラフモデルへの対応について引き続き検討を進める。
|
| Remarks |
Full title for (1): Trace-based Approach to Editability and Correspondence Analysis for Bidirectional Graph Transformations
|
