2013 Fiscal Year Research-status Report
| Project/Area Number |
25540025
|
|---|
| Research Category |
Grant-in-Aid for Challenging Exploratory Research
|
| Research Institution | Kyushu University |
|---|
Principal Investigator |
鵜林 尚靖 九州大学, システム情報科学研究科(研究院, 教授 (80372762)
|
|---|
| Project Period (FY) |
2013-04-01 – 2016-03-31
|
| Keywords | ソフトウェアアーキテクチャ / インタフェース / モジュール / 抽象化 / 整合性検証 |
|---|
| Research Abstract |
設計はソフトウェアアーキテクチャの抽象的な記述であり、コードはその設計を実装したものである。設計は「適切に」抽象的でなければ意味がないが、「適切な」レベルを発見するのは容易ではない。本研究では、インタフェース機構Archfaceを発展させ、設計とコード間の整合性検査をトリガーに反復的に両者のバランスを再考し「滑らかに」抽象レベルを決定するための技術を明らかにする。「滑らかな設計抽象化」を実現するための機構は、1) 抽象レベルを設定するためのArchface、2) 抽象レベルを測定するためのメトリクス、3) 設定した抽象レベルを保持しつつ設計とコードの整合性を検証するための機構、の3本柱で構成される。平成25年度は、Archfaceのための型システムについて研究を行った。Archfaceではプログラムモジュールだけでなく設計モデルもモジュールと考えるため、設計モデルとコードの両方に対して機能する型システムを構築する必要がある。我々の型システムではArchfaceはアーキテクチャ点を公開すると考える。モジュールとしての設計モデルがそのインタフェースすなわちArchfaceに適合しているとは、設計モデルの中に公開されたアーキテクチャ点に対応する設計点が含まれていることを意味する。一方、クラスなどのプログラムモジュールがArchfaceに適合するとは、公開されたアーキテクチャ点に対応するプログラム点がコード中に存在する場合である。また、抽象レベル測定のためのメトリクスについては、設計点、プログラム点、アーキテクチャ点の間の比率として算出する方法を考案した。現在、本研究と並行して、Archfaceベースの統合開発環境iArchを構築しており（基盤研究(B)にて開発）、今回の型検査アルゴリズム、抽象レベル測定メトリクスをこの開発環境の中に実装した。
|
| Current Status of Research Progress |
Current Status of Research Progress
1: Research has progressed more than it was originally planned.
Reason
型検査アルゴリズムおよび抽象レベル測定メトリクスを考案するだけではなく、統合開発環境iArchの中に組み入れるところまで実施したため、「当初の計画以上の進展」と評価した。
|
| Strategy for Future Research Activity |
今後の方針として、型検査アルゴリズムの改善および理論面での掘り下げを行う。現状の型検査アルゴリズムは、アーキテクチャ点集合、設計点集合、プログラム点集合の包含関係しか見ておらず、簡易すぎるという問題がある。実際、iArchへの実装では、単純な包含関係だけではなく、各点の間の制約まで見て検査を行っている。現状では、この制約はまだ整理しきれておらず、今後の研究課題である。
|
| Expenditure Plans for the Next FY Research Funding |
研究成果の発表を予定している国際会議 Modularity'14（13th International Conference on Modularity）が2013年4月に開催されるため、年度内での使用を差し控えた。Modularity'14 には、私と学生の2名が参加する予定であり、次年度使用額（B-A）相当の金額が必要となる。
上述のように、平成26年度早々に使用する。
|
-
[Journal Article] iArch: An IDE for Supporting Fluid Abstraction2014
Author(s)
Di Ai, Naoyasu Ubayashi, Peiyuan Li, Daisuke Yamamoto, Yu Ning Li, Shintaro Hosoai, Yasutaka Kamei
-
Journal Title
13th International Conference on Modularity (Modularity'14), Demonstrations
Volume: Modularity'14)
Pages: 13-16
DOI
Peer Reviewed / Acknowledgement Compliant
-
-
-
[Presentation] 滑らかな設計抽象化2013
Author(s)
鵜林尚靖, 艾迪, 細合晋太郎, 亀井靖高
Organizer
電子情報通信学会 ソフトウェアサイエンス研究会
Place of Presentation
札幌
Year and Date
20130725-20130726
-
