広域分散ネットワーク環境における高信頼コンポーネントソフトウェアの構成方法

点击翻译按钮获取中文摘要

当研究課題はインターネットなどの広域分散環境におけるソフトウェアの信頼性を向上させることを目的とし、分散オブジェクトやコンポーネントなどの技術を統合することによりソフトウェアの構成方法を発見しようとするものである。研究は主に以下の3っの面から実施した。1.必要とするコンポーネントの検索および信頼性の高い合成に関する技術2.分散非対応なコンポーネントを広域分散環境で動作させるための技術3.分散オブジェクトにおいて効率を低下させずに信頼性を保持する技術これらの各課題に対し、以下のような知見を得た。1.XMLに基づくコンポーネントの形式的仕様記述(BSML)を提案し、これを利用した検索および合成の際に情報の一貫性を検査する技術を確立した。実験的実装により従来手法に比較して効率、信頼性とも向上していることを確認した。2.コンポーネント接続の情報を抽象化し、異なるホスト間で動作するコンポーネントを接続する機構(GIM)を新たに提唱した。またGIMによる記述から位置透過性を持つコンポーネントを半自動生成するためのコンパイラGIMCの実装を行い、有効性を確認した。3.ネットワーク上に偏在するオブジェクトに対する過剰なアクセスが原因でネットワーク切断と同じ現象が発生し、信頼性低下の一因となっている。このような障害に対し、動的にネットワーク負荷を測定しその結果に基づいてオブジェクトを複製する機構(DORC)を提唱した。DORCでは信頼性を保持したまま効率低下を20%以下に押さえることが可能であること、そのための条件などを実験により明らかにした。以上、高信頼な部品作成技術、合成技術、実際の分散環境において効率を低下させない技術を統合することで高信頼ソフトウェアを構成するための基盤を理論的および実験的に与えることが可能となった