2020 Fiscal Year Annual Research Report
Software Foundation for Interoperability of Autonomic Distributed Data based on Bidirectional Transformation
| Project/Area Number |
17H06099
|
|---|
| Research Institution | National Institute of Informatics |
|---|
Principal Investigator |
胡 振江 国立情報学研究所, 大学共同利用機関等の部局等, 特任教授 (50292769)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
吉川 正俊 京都大学, 情報学研究科, 教授 (30182736)
鬼塚 真 大阪大学, 情報科学研究科, 教授 (60726165)
石原 靖哲 南山大学, 理工学部, 教授 (00263434)
日高 宗一郎 法政大学, 情報科学部, 教授 (70321578)
加藤 弘之 国立情報学研究所, アーキテクチャ科学研究系, 助教 (10321580)
|
|---|
| Project Period (FY) |
2017-05-31 – 2022-03-31
|
| Keywords | ソフトウエア / 双方向変換 / 相互運用 / 自律分散データ / プログラミング言語 |
|---|
| Outline of Annual Research Achievements |
2020年度は、研究目標に沿って「深化」「基盤」「実証」の3チームが連携しながら研究を進めてきた。
深化チームは、利用者による大規模で高信頼な双方向変換の開発を可能にすることを目指して、Datalog を基にした双方向変換言語BIRDSのデバッグシステムを開発するとともに、双方向変換言語が満たすべき性質の完全な特徴づけに成功した。さらに、漸進的更新伝搬におけるソース参照の削減による効率的な実現手法を開発した。
基盤チームは、自律的にデータ交換・更新伝搬を分散アーキテクチャを確立することを目指して、我々が提案した分散データの相互運用のためのDejimaアーキテクチャを発展させ、更新の多段伝搬により生じる不整合の検出機構の考案と実装，および更新伝搬する範囲を対象とした分散トランザクションを実行する方式の設計と実装を行い、その評価を行った。また、双方向変換プログラムの静的解析による一貫性チェックアルゴリズムと不整合データの管理手法を与えた。
実証チームは、自律分散データの統合・相互運用の実例を開発し、自律分散アーキテクチャの実際的な有効性を確認することを目指して、パーソナルデータ市場に関し、差分プライバシを用いた契約関数、データ販売価格、効用の関係を究明するとともに、ライドシェアリングアライアンスのプライバシ保護を発展・一般化した枠組みを与えた。また、ライドシェアリングアライアンスのDejima上での実験用データを構築した。
|
| Current Status of Research Progress |
Current Status of Research Progress
2: Research has progressed on the whole more than it was originally planned.
Reason
研究は順調に進んでいる。
|
| Strategy for Future Research Activity |
研究計画通り推進する。
|
Research Products
(17 results)
