| 講演名 | 1999/1/23 並列分散システムへの振舞意味論の適用について 松本 充広, 二木 厚吉, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 並列分散システムは, 複数のオブジェクトから構成され, それらが通信を行うことにより作業が進むシステムである.このため並列分散システムの振舞いは, 通信遅れの影響を受ける.本稿では, この通信遅れをモデル化するため, 振舞意味論にメンバーシップ等式論理の考え方を導入したメンバーシップ振舞意味論を提案する.次に, メンバーシップ振舞意味論の下で, 並列分散システムが, 通信の遅れを考慮しない理想的なシステムの詳細化であることを示すには, どのような等価性を考えれば良いのか, について議論する. |
| 抄録(英) | Concurrent distributed systems are constructed from many objects and are excuted through the communications between these objects.So, we must address the delay of these communications. For the solution, we introduce membership behavioural semantics and it's refinement theory. |
| キーワード(和) | 仕様記述 / 代数仕様 / 振舞意味論 / 詳細化 / 並列分散システム |
| キーワード(英) | Algebraic specification / behavioural semantics / refinement / concurrent distributed system |
| 資料番号 | SS98-50 |
| 発行日 |
| 研究会情報 | |
| 研究会 | SS |
|---|---|
| 開催期間 | 1999/1/23(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Software Science (SS) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 並列分散システムへの振舞意味論の適用について |
| サブタイトル（和） | |
| タイトル（英） | How to apply behavioural semantics to concurrent distributed systems |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 仕様記述 / Algebraic specification |
| キーワード(2)（和/英） | 代数仕様 / behavioural semantics |
| キーワード(3)（和/英） | 振舞意味論 / refinement |
| キーワード(4)（和/英） | 詳細化 / concurrent distributed system |
| キーワード(5)（和/英） | 並列分散システム |
| 第 1 著者 氏名（和/英） | 松本 充広 / Michihiro Matsumoto |
| 第 1 著者 所属（和/英） | (株)PFU研究所 Research Center, PFU Limited |
| 第 2 著者 氏名（和/英） | 二木 厚吉 / Kokichi Futatsugi |
| 第 2 著者 所属（和/英） | 北陸先端科学技術大学院大学情報科学研究科 Graduate School of Information Science, Japan Advanced Institute of Science and Technology |
| 発表年月日 | 1999/1/23 |
| 資料番号 | SS98-50 |
| 巻番号（vol） | vol.98 |
| 号番号（no） | 559 |
| ページ範囲 | pp.- |
| ページ数 | 8 |
| 発行日 | |