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

如何在广泛分布的网络环境中配置高可靠的组件软件

• 批准号: 12780196
• 负责人: 鈴木 正人
• 金额: $ 1.34万
• 依托单位: Tokyo Institute of Technology
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Encouragement of Young Scientists (A)
• 财政年份: 2000
• 资助国家: 日本
• 起止时间: 2000 至 2001
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-12780196/
• 关键词: 分散環境; ソフトウェア信頼性; オブジェクト指向; コンポーネント検索; コンポーネント合成; XML; 動的再配置; 分散ソフトウェア; コンポーネント; JavaBeans; コンポーネント構成; Java RMI; 動的負荷測定; 最適化

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

When research topic は イ ン タ ー ネ ッ ト な ど の hiroo domains dispersed environment に お け る ソ フ ト ウ ェ ア の letter 頼 sex を upward さ せ る こ と を purpose と し, scattered オ ブ ジ ェ ク ト や コ ン ポ ー ネ ン ト な ど を の technology integration す る こ と に よ り ソ フ ト ウ ェ ア の composition method を 発 see し よ う と す る も の で あ る. The research focuses on the た principal に and the following <s:1> 3っ っ ら surface ら implementation た. 1. Necessary とするコ <e:1> ポ ネ ネ ト 検 検 および reliability <s:1> high <s:1> synthesis に related to する technology 2. Dispersed non-opposition 応なコ <e:1> ポ ネ ネ トを トを wide-area dispersed environment で action させるため <s:1> technique 3. Scattered オ ブ ジ ェ ク ト に お い て sharper rate low を さ せ ず に letter 頼 sex を keep す る technology こ れ ら の each subject に し polices, the following の よ う な knowledge を た. 1. XML に base づ く コ ン ポ ー ネ ン ト の form of shi others account (BSML) proposed を し, こ れ を using し た 検 cable お よ び synthetic の interstate に intelligence の consistency を 検 check す る technology を established し た. To be 験 be installed に よ り 従 gimmick に compare し て working rate, letter 頼 と も upward し て い る こ と を confirm し た. 2. コ ン ポ ー ネ ン ト meet 続 の intelligence を abstraction し, different な る ホ ス ト で action between す る コ ン ポ ー ネ ン ト を meet 続 す る institutions (GIM) を new た に mention sing し た. ま た GIM に よ る account か ら position through sexual を hold つ コ ン ポ ー ネ ン ト を semi-automatically す る た め の コ ン パ イ ラ GIMC の line be loaded を い, have sharper を confirm し た. 3. ネ ッ ト ワ ー ク に partial in す る オ ブ ジ ェ ク ト に す seaborne る before turning な ア ク セ ス が reason で ネ ッ ト ワ ー ク cut と with じ phenomenon が 発 し, low 頼 sex の a letter for と な っ て い る. こ の よ う な handicap of に し seaborne, moving に ネ ッ ト ワ ー を ク load measurement し そ の results に づ い て オ ブ ジ ェ ク ト を copy す る institutions (DORC) を mention sing し た. DORC で は letter 頼 sex を keep し た ま ま unseen を low rate below 20% に detain さ え る こ と が may で あ る こ と, そ の た め の conditions な ど を be 験 に よ り Ming ら か に し た. Article consummate technique, high above letter 頼 な department, synthesis technology, the event be の dispersed environment に お い て sharper rate low を さ せ な を い technology integration す る こ と で high 頼 ソ フ ト ウ ェ ア を constitute す る た め の base plate を theory お よ び be 験 に and え る こ と が may と な っ た

项目成果

岡井 祐矢, 鈴木 正人: "コンポーネント接続の整合性の実現機構"日本ソフトウェア科学会 第18回 大会論文集. 6A-2A (2001)

Yuya Okai、Masato Suzuki：“实现组件连接一致性的机制”第 18 届日本软件学会年会论文集 6A-2A (2001)。

石川 宙孝, 鈴木 正人: "分散環境における負荷測定に基づいたシステム性能向上法"日本ソフトウェア科学会 第17回 大会論文集. C1-C1 (2000)

Hirataka Ishikawa、Masato Suzuki：“基于分布式环境中负载测量的系统性能改进方法”第 17 届日本软件学会 C1-C1 年会论文集（2000 年）。

當銘 直告, 鈴木 正人: "ソフトウェアコンポーネント間の作用をカプセル化する機構GIMの提案"日本ソフトウェア科学会 第17回 大会論文集. D4-D3 (2000)

直接报告，Masato Suzuki：“GIM 的提案，一种封装软件组件之间交互的机制”第 17 届日本软件学会年会 D4-D3 会议记录（2000 年）。

鈴木 正人: "分散環境における耐故障ソフトウェアの動的再配置"電子情報通信学会フォールトトレラントシステム研究会FTS2000-32. 33-40 (2000)

Masato Suzuki：“分布式环境中容错软件的动态重定位”电子、信息和通信工程师研究所容错系统研究组 FTS2000-32 (2000)。

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)

Masato Suzuki：“可靠分布式信息系统的架构和基于组件的方法”世界系统、控制论和信息学多重会议 2000 年。第 3 卷。656-661 (2000)