2010 Fiscal Year Annual Research Report
| Project/Area Number |
22300012
|
|---|
| Research Institution | National Institute of Informatics |
|---|
Principal Investigator |
胡 振江 国立情報学研究所, アーキテクチャ科学研究系, 教授 (50292769)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
日高 宗一郎 国立情報学研究所, アーキテクチャ科学研究系, 助教 (70321578)
加藤 弘之 国立情報学研究所, コンテンツ科学研究系, 助教 (10321580)
稲葉 一浩 国立情報学研究所, アーキテクチャ科学研究系, 研究員 (30570311)
|
|---|
| Keywords | ソフトウエア工学 / プログラミング言語 / モデル変換 |
|---|
| Research Abstract |
モデル駆動ソフトウェア開発(MDD)は、ソフトウェアの要求解析、設計、実装の各段階の成果物をモデルとして表現し、ソフトウェアの開発ステップはモデル変換によって表現される。通常、要求解析、システム設計、実装は別々のチームで行われ、また、各段階のモデルが共存してそれぞれ修正され発展する。本研究では、双方向モデル変換言語を導入することで、各段階のモデル修正(進化)を正確に他のモデルに伝播し、システムの一貫性を保証する双方向モデル変換によるソフトウエア開発手法を提案し、発展的ソフトウェアを開発するための新しい方法論を確立することを目指している。平成22年度は、双方向モデル変換の数学的基盤の確立と双方向モデル変換言語の設計と解析を中心に研究を進め、主に次の3つの研究成果が得られた。(1)グラフ問い合わせ言語UnQLの基盤であるグラフ代数UnCALに対する双方向的意味論を与え、双方向グラフ変換言語UnQL+を提案し実現した。(2)UnCALで記述されるグラフ変換の型検査手法を研究し、単項二階論理(MSO)と呼ばれる論理の真偽判定問題へモデル変換の型検査問題を帰着させる方法を示した。また、MONAという既存のMSO実装系を活用し、高速な実装を行った。(3)UnQL+を用いて既存のモデル変換言語ATLの双方向化に成功した。
|
-
-
-
[Presentation] Contest-Preserving XQuery Fusion2010
Author(s)
Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano, Yasunori Ishihara
Organizer
8^<th> Asian Symposium on Programming Languages and Systems (APLAS2010)
Place of Presentation
Hengshan Hotel, Shanghai, China
Year and Date
2010-11-30
-
-
[Presentation] Bidirectionalizing Graph Transformations2010
Author(s)
Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano, Kazutaka Matsuda
Organizer
15^<th> ACM SIGPLAN International Conference on Functional Programming (ICFP 2010)
Place of Presentation
Hyatt Regency Inner Harbor, Baltimore, America
Year and Date
2010-09-28
-
-
[Presentation] Tolerating Inconsistency in Feature Models2010
Author(s)
Bo Wnag, Zhenjiang Hu, Yingfei Xiong, Haiyan Zhao, Wei Zhang, Hong Mei
Organizer
3^<rd> Workshop on Living with Inconsistencies in Software Development
Place of Presentation
University of Antwerp, Antwerp, Belgium
Year and Date
2010-09-21
-
