DocumentCode
745276
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
Issue
9
fYear
1985
Firstpage
886
Lastpage
908
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;
fLanguage
English
Journal_Title
Software Engineering, IEEE Transactions on
Publisher
ieee
ISSN
0098-5589
Type
jour
DOI
10.1109/TSE.1985.232547
Filename
1702107
Link To Document