研究課題
研究の進展に伴い、年度当初の計画を修正してサブテーマ<<モジュール性応用>>を追加して研究を進めた。当初のサブテーマとあわせた成果は以下の通りである。<<動的検査を行うアスペクトの最適化>>分散システムのセキュリティに利用できる分散タイル空間に基づくAOP言語AspectKE*を作成し、アプリケーション記述を通してその表現力を検討した。<<型緩和織込>>型緩和織込機構の提案を通してAspectJ言語の汎化型に関して得た知見をもとに、型ごとにアスペクトを具体化する機構を提案した。特にキャッシュなどの横断的関心事を記述するアスペクトにおいてこの機構が有用であることを事例研究を通して調査し、実現のための型システムを検討を行った。<<文脈指向プログラミング>>昨年度までに提案したEventCJ言語に関して、意味論の定式化と開発方法論の検討を行った。意味論に関してはFeatherweightJava流の基本的なものを定義し、今後予定している検証・最適化システムでの利用に備えた。またJacobson流のユースケース記述から文脈を抽出する開発方法論を提案し、具体例を用いて有効性の検討している。<<モジュール性応用>>これまでのプログラミング言語機構についての研究成果を実際のソフトウェアシステムに応用する方向で3つのプロジェクトを開始した。(1)モジュール化によって最適化機構を容易に追加できるGPU向け並列言語システム構築するため、言語処理系の初期設計を行った。(2)モジュール化を考慮していない大規模な既存プログラムを対象とした検索に基づく開発支援システムを構築した。(3)統合デバックシステムにおいてモジュール性を利用する方法を提案・実現し、実証実験を進めた。
2: おおむね順調に進展している
研究の進展に伴い、当初計画に本年度より新しいサブテーマを追加した。そのため、予定していたサブテーマの一部については成果発表を中心に行うこととなった。一方、追加したサブテーマについては今後の発展が期待できる成果が挙がりつつあるため、総じては順調に進展していると言える。
これまでの成果を応用する形のサブテーマを追加したので、それらで得られた知見を当初からテーマに反映させるよう留意する。
すべて 2012 2011 その他
すべて 雑誌論文 (9件) (うち査読あり 9件) 学会発表 (5件) 備考 (2件)
Proceedings of the Workshop on Context-Oriented Programming (COP'12)
ページ: 4:1-4:6
DOI:10.1145/2307436.2307440
Proceedingsof the 3rd International Workshop onVariability and Composition (VariComp'12)
ページ: 25-30
DOI:10.1145/2161996.2162003
Proceedings of the 4th International Workshop on Search-driven development : Users, Infracture, Tools and Evaluation (SUITE' 12)
巻: (掲載確定)
Proceedings of the third International Workshop on Recommendation Systems for Software Engineering (RSSE' 12)
コンピュータソフトウェア
Proceedings of 3rd International Workshop on Search-driven development
ページ: 17-20
10.1145/1985429.1985434
Proceeding of the 13th International Conference on Coordination Models and Languages
巻: 6,721 ページ: 202-218
10.1007/978-3-642-21464-6_14
Proceedings of the Workshop on Context-Oriented Programming
ページ: 1:1-1:7
10.1145/2068736.2068737
ソフトウェアエンジニアリングシンポジウム2011論文集
ページ: 1-8
http://www.graco.c.u-tokyo.ac.jp/~masuhara/papers/index-j.html
http://www.graco.c.u-tokyo.ac.jp/~masuhara/papers/
