| 講演名 | 1998/5/28 発展性と自立性のある分散システムの階層的な設計手法 山根 智, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 分散システムは大規模化して動作が複雑であり, その設計には次のような特徴がある.1.プロセスが増減したり機能の変化が生じて, 外部の環境の変化が激しい.このために, どのような環境でも動作して, 機能拡充しやすい機構が必要である.2.分散システムは, 大規模かつ複雑さのために, 漸増的かつ階層的に, 抽象度の高い仕様から低い仕様を作成する必要がある.この場合, 抽象度の高い仕様と低い仕様との間の整合制を保証することが重要となる.3.設計手法の実用化には, 大規模なシステムを効率よく支援して, 設計者の負担が少ないことが重要である.本研究は, 次のように, 分散システムの発展性や自立性が記述できて検証できる設計方法論を提案する.1.まず, 発展性や自立性のある分散プロセスが記述できる仕様記述言語を形式的に定義する.2.次に, 分散システムの抽象度の高い仕様と低い仕様との間の整合性及び自立性を自動検証できる方法論を開発する.3.最後に, 上記方法論をアルゴリズム化して, Assume-Guarantee styleにより, 大規模システムの検証を可能とする. |
| 抄録(英) | The distributed systems are very large and complex, and the design features of them are as follows. 1. As processes increase or decrease and their functions are changeable, the external environment of each process is changeable, too. Each process should behave whatever the environment behaves. We need the mechanism so as to easily update the function of each process. 2. It is necessary to incrementally and hierarchically design systems from the high level to the low level. 3. In order to make design methods practical, it is important for designers to easily use design methods. In this paper, we proprose the following design method. 1. We define the specification language, by which we can specify evolutions and receptivenesses. 2. We define verification methods of the receptiveness and consistency check based on process calculus. 3. We define verification methods based on Assume-Guarantee style. |
| キーワード(和) | 開放型分散システム / 階層的設計 / 自立性 / 模倣関係 / Assume-Guarantee style |
| キーワード(英) | open systems / hierarchical design / receptiveness / simulation / Assume-Guarantee |
| 資料番号 | |
| 発行日 |
| 研究会情報 | |
| 研究会 | SS |
|---|---|
| 開催期間 | 1998/5/28(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Software Science (SS) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 発展性と自立性のある分散システムの階層的な設計手法 |
| サブタイトル（和） | |
| タイトル（英） | Hierarchical design method for evolutional and autonomous distributed systems |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 開放型分散システム / open systems |
| キーワード(2)（和/英） | 階層的設計 / hierarchical design |
| キーワード(3)（和/英） | 自立性 / receptiveness |
| キーワード(4)（和/英） | 模倣関係 / simulation |
| キーワード(5)（和/英） | Assume-Guarantee style / Assume-Guarantee |
| 第 1 著者 氏名（和/英） | 山根 智 / Satoshi Yamane |
| 第 1 著者 所属（和/英） | 島根大学総合理工学部数理・情報システム学科計算機科学講座 Dept.of Mathematics and Computer Science, Shimane University |
| 発表年月日 | 1998/5/28 |
| 資料番号 | |
| 巻番号（vol） | vol.98 |
| 号番号（no） | 85 |
| ページ範囲 | pp.- |
| ページ数 | 8 |
| 発行日 | |