|
1
|
Saleh K. Synthesis of communications protocols. ACM SIGCOMM COMPUTER COMMUNICATION REVIEW 1996. [DOI: 10.1145/242896.242900] [Citation(s) in RCA: 5] [Impact Index Per Article: 0.2] [Reference Citation Analysis] [Abstract] [Track Full Text] [Subscribe] [Scholar Register] [Indexed: 10/26/2022]
Abstract
Protocol synthesis attempts to formalize and automate the process of designing communications protocols. Protocol design is an important step in the communications software or protocol engineering development process. Protocol synthesis has been addressed extensively by many researchers around the world, and various approaches have been proposed: from the stepwise refinement of a high level requirements specification to the automatic generation starting from a formal service specification. In this paper, we introduce protocol synthesis in the context of the protocol engineering process, and we briefly describe and survey the main features of the proposed synthesis methods. Tables summarizing this survey are also provided.
Collapse
Affiliation(s)
- Kassem Saleh
- Kuwait University, Dept. of Electrical & Computer Engineering, P.O. Box 5969, 13060 Safat, Kuwait
| |
Collapse
|
|
2
|
|