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

Authors:
C. V. Ramamoorthy;Siyi T. Dong;Yutaka Usuda
Affiliations:
Univ. of California, Berkeley;IBM Corp., Palo Alto, CA;Hitachi Software Engineering Co., Ltd., Yokohama, Japan
Venue:
IEEE Transactions on Software Engineering - Special issue on COMPSAC 1982 and 1983
Year:
1985

Citing 0
Cited 14

A petri net reduction algorithm for protocol analysis

SIGCOMM '86 Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols
Synthesis of two-party error-recoverable protocols

SIGCOMM '86 Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols
Constructing Submodule Specifications and Network Protocols

IEEE Transactions on Software Engineering
Self-Synchronizing Communication Protocols

IEEE Transactions on Computers
New results on deriving protocol specifications from service specifications

SIGCOMM '89 Symposium proceedings on Communications architectures & protocols
A Protocol Modeling and Verification Approach Based on a Specification Language and Petri Nets

IEEE Transactions on Software Engineering
t An Integrated Approach to Design of Protocol Specifications Using Protocol Validation and Synthesis

IEEE Transactions on Computers - Special issue on protocol engineering
Synthesis of Communication Protocols: Survey and Assessment

IEEE Transactions on Computers - Special issue on protocol engineering
Experience with formal methods in protocol development

ACM SIGCOMM Computer Communication Review
Deriving protocol specifications from service specifications including parameters

ACM Transactions on Computer Systems (TOCS)
Synthesis of communications protocols: an annotated bibliography

ACM SIGCOMM Computer Communication Review
Dependency Analysis-A Petri-Net-Based Technique for Synthesizing Large Concurrent Systems

IEEE Transactions on Parallel and Distributed Systems
PROSPEC: An Interactive Programming Environment for Designing and Verifying Communication Protocols

IEEE Transactions on Software Engineering
Archetype: A Unified Method for the Design and Implementation of Protocol Architectures

IEEE Transactions on Software Engineering

Quantified Score

Hi-index	0.00

Visualization

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.