An Implementation of an Automated Protocol Synthesizer (APS) and Its Application to the X.21 Protocol

An Implementation of an Automated Protocol Synthesizer (APS) and Its Application to the X.21 Protocol

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 s...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:IEEE transactions on software engineering 1985-09, Vol.SE-11 (9), p.886-908
Hauptverfasser: Ramamoorthy, C.V., Dong, S.T., Usuda, Y.
Format: Artikel
Sprache:eng
Schlagworte:
Automated
Automation
Availability
Communication
Computer engineering
Computer network
Computer network reliability
Computer networks
Design
design tool
Maintenance
Network synthesis
Petri net
Procedures
Process design
Protocol
protocol synthesis
Protocols
Reachability analysis
Reliability
Semantics
Software engineering
Synthesizers
Telecommunication network reliability
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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.
ISSN:0098-5589
1939-3520
DOI:10.1109/TSE.1985.232547