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

2001 Fiscal Year Annual Research Report

• Project/Area Number: 12780196
• Research Institution: Tokyo Institute of Technology
• Principal Investigator: 鈴木 正人 東京工業大学, 大学院・情報理工学研究科, 助教授 (30242572)
• Keywords: 分散環境 / ソフトウェア信頼性 / オブジェクト指向 / コンポーネント検索 / コンポーネント合成 / XML / 動的再配置

Research Abstract

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

Research Products

• [Publications] Masato Suzuki: "Architecture and Component based Approaches for Dependable Distributed Information Systems"World Multiconference on Systems, Cybernetics and Informatics 2000. Vol 3. 656-661 (2000)
• [Publications] 石川 宙孝, 鈴木 正人: "分散環境における負荷測定に基づいたシステム性能向上法"日本ソフトウェア科学会 第17回 大会論文集. C1-C1 (2000)
• [Publications] 當銘 直告, 鈴木 正人: "ソフトウェアコンポーネント間の作用をカプセル化する機構GIMの提案"日本ソフトウェア科学会 第17回 大会論文集. D4-D3 (2000)
• [Publications] 鈴木 正人: "分散環境における耐故障ソフトウェアの動的再配置"電子情報通信学会フォールトトレラントシステム研究会FTS2000-32. 33-40 (2000)
• [Publications] 岡井 祐矢, 鈴木 正人: "コンポーネント接続の整合性の実現機構"日本ソフトウェア科学会 第18回 大会論文集. 6A-2A (2001)
• [Publications] 原 昌宏, 鈴木 正人: "分散環境におけるネットワーク効率向上のためのオブジェクト複製機構"日本ソフトウェア科学会 第18回 大会論文集. 7C-2C (2001)