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

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

• 批准号: 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%以下に押さえることが可能であること、そのための条件などを実験により明らかにした。以上、高信頼な部品作成技術、合成技術、実際の分散環境において効率を低下させない技術を統合することで高信頼ソフトウェアを構成するための基盤を理論的および実験的に与えることが可能となった

该研究主题旨在提高在诸如Internet之类的大区域分布环境中的软件的可靠性，并旨在通过集成分布式对象和组件等技术来发现如何配置软件。这项研究主要是从以下三个方面进行的：1。搜索技术和高度可靠的组件合成技术2。在广泛面积分布式环境中运行非分散兼容组件的技术3。在分布式对象中维持可靠性的技术，而无需降低分布式对象，而我们降低了这些问题的以下知识。 1。我们提出了基于XML的组件的形式规范说明（BSML），并建立了一项技术，以使用此方法在搜索和合成时检查信息的一致性。已经证实，与常规方法相比，实验实现提高了效率和可靠性。 2。我们提出了一种新机制（GIM），该机制将有关组件连接的信息提取并连接不同主机之间运行的组件。此外，通过使用GIM的描述，将GIMC编译器实施到半自动性地生成位置 - 透明组件，并确认其有效性。 3。与网络断开的相同现象是由于对网络上不均匀分布的对象的过度访问而发生的，这是降级它的原因之一。已经提出了一种基于结果的机制（DORC），用于动态测量网络负载和复制对象，以解决此类故障。已经明确了实验，DORC可以在保持可靠性的同时抑制20％以下的效率下降，以及为此目的的条件。这使得通过整合高度可靠的零件生产技术，合成技术和无法降低实际分布式环境效率的技术来提供理论和实验基础来构建高度可靠的软件。

项目成果

岡井 祐矢, 鈴木 正人: "コンポーネント接続の整合性の実現機構"日本ソフトウェア科学会 第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)