【研究分野】ソフトウエア

【研究領域課題番号】21300006 (KAKENデータベースで見る）

【研究キーワード】

横断的関心事 / アスペクト指向 / 文脈指向 / セキュリティ / 意味論 / 型安全性 / プログラミング言語 / モジュール性 / 最適化 / アスペクト指向プログラミング / セキュリティーポリシー / イベント駆動 / 文脈指向プログラミング / モジュール化 / EventCJ / ContextJ / セキュリティポリシー / AspectJ / 分散ソフトウェア

【研究成果の概要】

横断的関心事や環境に適応した振舞をモジュール化するアスペクト指向プログラミング・文脈指向プログラミング言語に関して、基礎的な計算体系の構築・型システムの改良による記述力の向上・セキュリティ応用のための言語提案・事象に基づく制御機構を持った言語提案による応用範囲の拡大といった研究を行った。これらの提案はJava,AspectJを拡張した言語処理系を作成し、実際のアプリケーショプログラム記述を通して有効性を検証している。

【研究種目】基盤研究(B)

【研究期間】2009 - 2012

【配分額】12,350千円 (直接経費: 9,500千円、間接経費: 2,850千円)

【研究分野】ソフトウエア

【研究領域課題番号】18200001 (KAKENデータベースで見る）

【研究キーワード】

アスペクト指向プログラミング / セキュリティ / ソフトウェア工学 / ディスペンダブル・コンピューティング / UML / 形式手法 / ソフトウェア開発効率化・安定化 / 要求工学 / ディスペンタブル・コンピューティング / プログラム言語 / ディペンダブル・コンピューティング / ディスペンダブル、コンピューティング / ソフトウェア開発効率化、安定化

【研究成果の概要】

「生産性と安全性向上のためのアスペクト指向ソフトウェア開発に関する研究」と題した研究を2006年度から2009年度まで4年間実施し,アスペクト指向モデルの型安全性を実際的に検証する理論とツールを整備し,高度な機能を備えたアスペクト指向言語の設計と,高い処理能力と使いやすさを兼ね備えた言語処理系を作成した.また,WebサービスのBPELによる記述に関するセキュリティの検証という応用で,この研究で開発した方法の実用性を明らかにするとともに,アスペクト指向を用いたソフトウェアの開発方法論を整備した.

【研究種目】基盤研究(A)

【研究期間】2006 - 2009

【配分額】48,620千円 (直接経費: 37,400千円、間接経費: 11,220千円)