Abstract
Entities in communication systems behave under sets of communication rules (protocols) and their behaviours are related to each other. Using this relationship, we present a synthesis algorithm to derive a structured protocol model by generating a peer entity from a given entity automatically. The given entity is in the form of a communicating process, which is natural in the context of communication protocols. We prove that the synthesized protocol model consisting of the generated entity and the peer entity is safe, i.e. logical errors free, collectively represented as deadlock free and is bisimulated by both entities. Unlike many previous works, where FSMs (Finite State Machines) are used to synthesize protocol model, we present our synthesis algorithm for the process-algebraic language LOTOS, which is one of the FDTs developed by ISO.
Original language | English |
---|---|
Title of host publication | International Conference on Network Protocols |
Place of Publication | Los Alamitos, CA, United States |
Publisher | IEEE |
Pages | 66-73 |
Number of pages | 8 |
Publication status | Published - 1995 |
Event | Proceedings of the 1995 International Conference on Network Protocols - Tokyo, Jpn Duration: 1995 Nov 7 → 1995 Nov 10 |
Other
Other | Proceedings of the 1995 International Conference on Network Protocols |
---|---|
City | Tokyo, Jpn |
Period | 95/11/7 → 95/11/10 |
ASJC Scopus subject areas
- Software