| 研究課題/領域番号 |
15KK0017
|
|---|
| 研究種目 |
国際共同研究加速基金(国際共同研究強化)
|
| 配分区分 | 基金 |
|---|
| 研究分野 |
ソフトウェア
|
|---|
| 研究機関 | 法政大学 |
|---|
研究代表者 |
日高 宗一郎 法政大学, 情報科学部, 教授 (70321578)
|
|---|
| 研究協力者 |
ティージ マシモ 鉱業・情報通信研究機構アトランティック, DAPI, Assistant Professor
ジョールト フレデリック
|
|---|
| 研究期間 (年度) |
2016 – 2018
|
| キーワード | 双方向変換 / 相互運用性 / グラフ変換 / モデル変換 / プログラミング言語 / プログラム変換 / 加法性 / 漸進的双方向化 |
|---|
| 研究成果の概要 |
双方向変換は、モデル駆動開発に於いて下流での修正の上流への伝播を実現する枠組として期待されている。本研究は、単方向変換言語から双方向変換言語への部分翻訳に基づく部分双方向変換手法について、単方向変換言語処理系と双方向変換言語処理系の統合実行による統合処理系が全体としてラウンドトリップ性を示すための十分条件を証明し、実装を公開した。
更に、上述の十分条件のうちのひとつである単方向変換言語の加法性について、query containmentと変換の間の包含関係との間の関係、包含関係がなす束、単調性と文脈を用いた加法性抽出法などをまとめた研究論文を国際会議で発表した。
|
| 自由記述の分野 |
プログラミング言語
|
| 研究成果の学術的意義や社会的意義 |
ソフトウェアは常に更新される宿命を負っており、ソフトウェア構築法の頑健化のためには更新の管理は喫近の課題である。双方向変換はよく研究されているが、双方向変換用の言語の直接記述は未だハードルが高い。本研究により単方向変換が透過的に双方向化されることは、単方向変換ユーザの双方向変換へのスムーズな移行を可能にする。また本研究はモデル変換で広く用いられているルールベースの言語ATLを関数型のグラフ双方向変換言語にすることによりATLを部分的に双方向化するものであり、モデル変換分野における双方向変換の形式化や、ATLに新たに関数型の意味を与えることにもつながった。
|
