Presentation | 1996/9/24 Towards Protocol Synthesis by Generating a Peer Entity Bhed Bahadur Bista, Kaoru Takahashi, Norio Shiratori, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | 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. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | protocol / protocol synthesis / logical errors / LOTOS |
Paper # | SSE96-71,IN96-55,CS96-79 |
Date of Issue |
Conference Information | |
Committee | SSE |
---|---|
Conference Date | 1996/9/24(1days) |
Place (in Japanese) | (See Japanese page) |
Place (in English) | |
Topics (in Japanese) | (See Japanese page) |
Topics (in English) | |
Chair | |
Vice Chair | |
Secretary | |
Assistant |
Paper Information | |
Registration To | Switching Systems Engineering (SSE) |
---|---|
Language | ENG |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | Towards Protocol Synthesis by Generating a Peer Entity |
Sub Title (in English) | |
Keyword(1) | protocol |
Keyword(2) | protocol synthesis |
Keyword(3) | logical errors |
Keyword(4) | LOTOS |
1st Author's Name | Bhed Bahadur Bista |
1st Author's Affiliation | Research Institute of Electrical Communication/Graduate School of Information Sciences, Tohoku University() |
2nd Author's Name | Kaoru Takahashi |
2nd Author's Affiliation | Sendai National College of Technology |
3rd Author's Name | Norio Shiratori |
3rd Author's Affiliation | Research Institute of Electrical Communication/Graduate School of Information Sciences, Tohoku University |
Date | 1996/9/24 |
Paper # | SSE96-71,IN96-55,CS96-79 |
Volume (vol) | vol.96 |
Number (no) | 251 |
Page | pp.pp.- |
#Pages | 6 |
Date of Issue |