非機能的要件を考慮した適応的移動コードのモジュール化手法

2000 Fiscal Year Annual Research Report

• Project/Area Number: 12680340
• Research Institution: Japan Advanced Institute of Science and Technology
• Principal Investigator: 渡部 卓雄 北陸先端科学技術大学院大学, 情報科学研究科, 助教授 (20222408)
• Co-Investigator(Kenkyū-buntansha): 天野 憲樹 北陸先端科学技術大学院大学, 情報科学研究科, 助手 (30313703)
• Keywords: 非機能的要件 / モーバイルエージェント / 移動コード / 拡張可能ソフトウェア / 適応可能ソフトウェア / 自己反映計算 / Java

Research Abstract

本研究の目的は,移動コードを用いて構成される,適応性を備えた分散ソフトウェアシステムを,効果的に開発するための技術の提案である.具体的には,コードの移動や,それにともなうコードの実行環境の変化などにかかわる非機能的要件(mobility aspects)を対象としたモジュール化機構を提案する.本年度の成果は以下の通りであり,全て査読付の国際会議で発表している.
(1)自己反映計算にもとづく,移動エージェントの耐故障動作を対象としたモジュール化機構を提案し,そのプロトタイプの実装を行った.耐故障動作は非機能的要件のnon-trivialな具体例であるが,特に移動コードを用いるシステムではモジュラーな導入が難しいとされている.我々は以前に提案したhybrid group reflectivearchitectureを用い,個々のエージェント,およびエージェントとノードに関する耐故障動作のモジュール化機構を設計し,Java上のアプリケーションフレームワークとして実装した.本フレームワークに基いて実現されたエージェントは,何種類かの非ビザンチン障害に対応することが可能となった.
(2)また,我々はこれまでに動的適応支援するソフトウェアモデルDASとその記述言語LEAD++を設計・実装してきた.今回,我々はDASによる動的適応をより簡潔に記述するための枠組として,LEAD++による動的適応可能なコンポーネントウェアの実現を試みた.具体的には,コンポーネント間の構成と各コンポーネント内部の振舞いのそれぞれを,実行環境の状態に応じて動的に変更することで,動的適応可能なコンポーネントウェアを実現する.

Research Products

• [Publications] Takuo Watanabe: "Towards a Modular Substrate for Reliable Mobile Agent Systems"Proceedings of ACM/IEIP Middleware 2000 Workshop ou Reflective Middleware (RM 2000). 21-22 (2000)
• [Publications] Takuo Watanabe: "A Reflective Framework for Reliable Mobile Agent Systems"Procedings of ECOOP 2000 Workshop on Reflection and Metalevel Architectures (RMA 2000)(オンライン論文集). (2000)
• [Publications] Noriki Amano: "An Approach for Constructing Component-based Software Systems with Dynamic Adaptability using LEAD++"Proceedings of International Symposium on Principles of Software Evolution. 118-127 (2000)
• [Publications] Takuo Watanabe: "A Secure Dynamic Extension Mechanism for Mobile Agents"Proceedings AISB'01 Symposium on Softwar Mobility and Adaptive Behaviour. (発表予定). (2001)
• [Publications] Noriki Amano: "Towards Constructing Mobile Code Programs with Safe Dynamic Adaptability"Proceedings AISB'01 Symposium on Software Mobility and Adaptive Behaviour. (発表予定). 2001