| No | 78336 |
|---|---|
| 標題（和） | ピアエソティティ生成に基づくプロトコル合成法 |
| 標題（英） | Towards protocol synthesis by generating a peer entity |
| 研究会名（和） | 交換システム; 情報ネットワ-ク; 通信方式 |
| 研究会名（英） | Switching Systems Engineering;Information Networks; Communication Systems |
| 開催年月日 | 1996-09-24 |
| 終了年月日 | 1996-09-25 |
| 会議種別コード | 2 |
| 共催団体名（和） | |
| 資料番号 | SSE96-71 // IN96-55 // CS96-79 |
| 抄録（和） | 本論文では,与えられた単一のプロトコルエンティティの仕様から,ピアエンティティの仕様を自動的に合成する手法を提案する.本合成法では,まず設計者が単一のエンティティの仕様を設計する必要がある.この設計作業の支援のために,本論文では一つの構文を提案する.この構文に基づいて設計されたエンティティと,これをもとに本合成法によって得られたエンティティとで構成されるプロトコルは,論理エラ-のないことが保証される.本合成法では非同期通信を対象している.すなわち通信媒体として,信頼性のある場合とない場合の両方が考えられる.合成法に与えられるエンティティと合成法から得られるピアエンティティの仕様は,ISO(国際標準化機構)で開発された形式記述技法のLOTOSで記述される. |
| 抄録（英） | In this paper, we propose a synthesis method in which, from the given specification of an entity, we generate the specification of the peer entity automatically. In the synthesis method, a designer has to design the given entity and in order to help her, him to design the given entity, we propose a syntax so that the designer can design the entity correctly leading to the logically errors free protocol specification consisting of two entities, the given entity and the automatically generated peer entity. The synthesis method considers the asynchronous communication in which the communication medium can be either reliable or unreliable. The specification of the given entity and the generated peer entity are described in LOTOS (Language Of Temporal Ordering Specification) which is an FDT (Formal Description Techniques) developed within ISO (International Organization for Standardization) |
| 収録資料名（和） | 電子情報通信学会技術研究報告 |
| 収録資料の巻号 | Vol.96 No.251 |
| ページ開始 | 73 |
| ページ終了 | 78 |
| キーワード（和） | LOTOS |
| キーワード（英） | LOTOS |
| 本文の言語 | ENG |
| 著者（和） | 白鳥則郎 |
| 著者（ヨミ） | シラトリノリオ |
| 著者（英） | Shiratori Norio |
| 所属機関（和） | 東北大学電気通信研究所 |
| 所属機関（英） | Research Institute of Electrical Communication, Tohoku University |
| 著者（和） | 高橋薫 |
| 著者（ヨミ） | タカハシカオル |
| 著者（英） | Takahashi Kaoru |
| 所属機関（和） | 仙台電波工業高等専門学校 |
| 所属機関（英） | Sendai National College of Technology |
| 著者（和） | ビスタベッド バハドゥ-ル |
| 著者（ヨミ） | ビスタベッド バハドゥ-ル |
| 著者（英） | Bista Bhed Bahadur |
| 所属機関（和） | 東北大学電気通信研究所 |
| 所属機関（英） | Research Institute of Electrical Communication, Graduate School of Information Science, Tohoku University |