| 講演名 | 1994/4/6 複数のプリミティブが並列実行可能なサービス仕様からのプロトコル仕様の自動合成 中村 匡秀, 角田 良明, 菊野 亨, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 通信プロトコルを信頼性高くかつ効率良く作成する一つの方法として、プロトコル合成が知られている。従来の合成法では、異なる分散サービスアクセス点上で、サービスプリミティブが同時発生することはないという仮定を置いていた。従って、もしプリミティブが同時発生すると、メッセージの送受信が並列に実行されるため未定義受信やデッドロックといったプロトコルエラーが起こる可能性があった。一方、プリミティブの並列実行を考慮した合成法としては、2プロセスのプロトコルに限定した合成が既に提案されている。本稿ではプロセス数を2から一般のn(【less than or equal】3)に拡張することを試みる。拡張に当たっては、プリミティブに優先順位を導入し、並列実行が起こるとより優先度の高い処理を実行するような機構をプロトコル仕様に取り入れる解決指針を取った。本稿で提案する合成アルゴリズムを利用することにより、プロセス数がnでプリミティブの並列実行を許すサービス仕様から、プロトコルエラーの無いプロトコル仕様の自動合成が可能になる。 |
| 抄録(英) | Protocol synthesis is a method for designing communication protocols reliably and efficiently.The previous synthesis methods assume that primitives cannot be executed simultaneously at different SAPS.If concurrent primitives are executed at the different SAPS,protocol errors of unspecified receptions and dead locks occur. In this paper,we extend a class of service specifications from which protocol specifications are synthesized by the previous methods to a class of service specifications with parallel execution of primitives. We first introduce the priority of primitives such that when parallel execution of primitives occurs the execution assigned higher priority takes precedence over that assigned lower priority. Based on this idea,we propose a new protocol synthesis algorithm for avoiding the protocol errors due to message collision, communication competition and so on. By applying this method,protocol specifications can be automatically synthesized from service specifications which have an arbitrary number of processes and which allow parallel execution of primitives. |
| キーワード(和) | プロトコル工学 / プロトコル合成 / プリミティブの並列実行 |
| キーワード(英) | protocol engineering / protocol synthesis / parallel execation of primitives |
| 資料番号 | SSE94-37,IN94-37 |
| 発行日 |
| 研究会情報 | |
| 研究会 | SSE |
|---|---|
| 開催期間 | 1994/4/6(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Switching Systems Engineering (SSE) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 複数のプリミティブが並列実行可能なサービス仕様からのプロトコル仕様の自動合成 |
| サブタイトル（和） | |
| タイトル（英） | Automated Synthesis of Protocol Specifications from Service Specifications with Parallely Execatable Multiple Primitives |
| サブタイトル（和） | |
| キーワード(1)（和/英） | プロトコル工学 / protocol engineering |
| キーワード(2)（和/英） | プロトコル合成 / protocol synthesis |
| キーワード(3)（和/英） | プリミティブの並列実行 / parallel execation of primitives |
| 第 1 著者 氏名（和/英） | 中村 匡秀 / Masahide Nakamura |
| 第 1 著者 所属（和/英） | 大阪大学基礎工学部情報工学科 Department of Information and Computer Science,Faculty of Engineering Science,Osaka University |
| 第 2 著者 氏名（和/英） | 角田 良明 / Yoshiaki Kakuda |
| 第 2 著者 所属（和/英） | 大阪大学基礎工学部情報工学科 Department of Information and Computer Science,Faculty of Engineering Science,Osaka University |
| 第 3 著者 氏名（和/英） | 菊野 亨 / Tohru Kikuno |
| 第 3 著者 所属（和/英） | 大阪大学基礎工学部情報工学科 Department of Information and Computer Science,Faculty of Engineering Science,Osaka University |
| 発表年月日 | 1994/4/6 |
| 資料番号 | SSE94-37,IN94-37 |
| 巻番号（vol） | vol.94 |
| 号番号（no） | 2 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |