Title :
An Implementation of an Automated Protocol Synthesizer (APS) and Its Application to the X.21 Protocol
Author :
Ramamoorthy, C.V. ; Dong, Siyi Terry ; Usuda, Yutaka
Author_Institution :
Department of Electrical Engineering and Computer Science and the Electronics Research Laboratory, University of California
Abstract :
In the past, a number of methods have been proposed to model and validate communication protocols that have already been designed. However, design criteria and design aids are still lacking for designing correct protocols. The objective of developing automated protocol synthesizers is to provide a systematic way of designing new communication protocols such that their correctness can be ensured.
Keywords :
Computer network; Petri net; design tool; protocol; protocol synthesis; Availability; Computer network reliability; Computer networks; Maintenance; Network synthesis; Process design; Protocols; Reachability analysis; Synthesizers; Telecommunication network reliability; Computer network; Petri net; design tool; protocol; protocol synthesis;
Journal_Title :
Software Engineering, IEEE Transactions on
DOI :
10.1109/TSE.1985.232547
