自己反映アーキテクチャによる動的適応とその移動計算機環境への適用

1997 Fiscal Year Annual Research Report

• Project/Area Number: 09245213
• Research Institution: Japan Advanced Institute of Science and Technology
• Principal Investigator: 渡部 卓雄 北陸先端科学技術大学院大学, 情報科学研究科, 助教授 (20222408)
• Keywords: 動的適応 / メタレベルアーキテクチャ / 自己反映計算 / リフレクション / モバイルコンピューティング / 総称関数 / メタオブジェクト

Research Abstract

動的適応のための基本的な自己反映計算機構,およびそれに基く言語LEADの設計とその処理系の実装を行った.LEADの基本的な適応機構はオブジェクト指向計算モデルにおける総称関数の機構を拡張したものである.これは計算対象となるオブジェクトだけでなく,実行環境の状態がメソッド選択に関与する.そしてアプリケーションの特性に合わせた適応を可能にするために,この適応機構自身もLEADの自己反映機構によって拡張することが可能になっている.基本的なアイディアは,
・適応の粒度を手続きとする.
・実行環境の状態に応じて呼ばれる手続きの実体を動的に切替える.
・実行環境の状態に適した手続きの実体を容易かつ安全に修正・追加できる.
・動的適応可能性のための記述(適応の記述)を問題領域の記述(問題の記述)から分離・独立させる.
である.つまり1つの手続きは実行環境の状態に応じた複数の実体を持ち,手続き呼び出し時に,その実行環境の状態に適した実体が選択され実行される.このように手続きの振舞いを実行時に変えることで動的適応可能性を実現する.
現在のLEAD処理系は,Pentiumプロセッサを搭載するワークステーションおよび可搬型パーソナルコンンピュータからなる分散・移動計算機環境上に実装されている.この上でアプリケーションを記述して計算機実験を行った結果,実行環境の動的変化が著しい場合におけるLEADの適応機構の有効性を示すことができた.

Research Products

• [Publications] Noriki Amano: "LEAD:A Language for Dynamically Adaptable Applications" IEICE Trans. on Fundamental of Electronics Communications and Computer. (掲載予定). (1998)
• [Publications] Noriki Amano: "LEAD:Linguistic Approach to Dynamic Adaptability for Practical Applications" Proc.IFIP Intl.Conf.on System Impelemtation 2000. 277-290 (1998)
• [Publications] 渡部卓雄: "部分継続にもとづく移動コード記述:定義と操作的意味" 情報処理学会・並列/分散/協調処理に関するサマー・ワークショップ(SWoPP'97). 61-66 (1997)
• [Publications] Noriki Amano: "A Linguistic Approach for Dynamically Adaptable Applications" Proc.Intl.Symp.on Information Systems and Tecnnologies for Network Society. 403-406 (1997)
• [Publications] Noriki Amano: "LEAD:A Language for Adaptable Applications" Proc.of 12th Intl.Technical Conf.on Circuits/Systems,Computer and Communications(ITC-CSCC'97). 825-828 (1997)
• [Publications] 渡部卓雄: "移動可能プログラムのための言語機構とその応用" 情報処理学会・マルチメディア,分散,協調とモ-バイルワークショップ(DiCoMo'97). 545-550 (1997)