研究概要 |
本研究の目的は,移動コードを用いて構成される,適応性を備えた分散ソフトウェアシステムを,効果的に開発するための技術の提案である.具体的には,コードの移動や,それにともなうコードの実行緩急の変化などにかかわる非機能的要件(non-functional requirements)を対象としたソフトウェアのモジュール化機構を提案する.本研究の成果は以下の通りであり,全て査読付き国際会議で発表している. 1.自己反映計算にもとづく,移動コードのための耐故障・セキュリティ機構のモジュール化方式を提案した.耐故障性とセキュリティは非機能的要件の重要な例であるが,一般にモジュラーな形での導入は困難とされている.我々は個々の移動コードとノードに関する耐故障・セキュリティ機構を,実行時・ロード時の自己反映操作として設計し,Java上で動作するブロトタイプとして実装して評価を行った. 2.我々は現在までに,非機能的要件を実現するための動的適応動作を支援するソフトウェアモデルDASとその記述言語LEAD++を設計・実装してきた.本研究では,動的適応をより簡潔かつ安全に記述するための枠組みとして,LEAD++による動的適応可能なコンポーネントシステムの実現を行った.具体的には,コンポーネントの構成とコンポーネントの振る舞いそれぞれを,安全性に関する制約条件のもとで実行環境の状態に応じて動的に変更できるようにした.
|