A User Friendly Software Environment for Protocol Synthesis

Authors:
Norio Shiratori;Yao-Xue Zhang;Kaoru Takahashi;Shoichi Noguchi
Affiliations:
-;-;-;-
Venue:
IEEE Transactions on Computers - Special issue on protocol engineering
Year:
1991

Citing 9
Cited 0

Mechanical verification and automatic implementation of communication protocols

IEEE Transactions on Software Engineering
Spanner: A Tool for the Specification, Analysis, and Evaluation of Protocols

IEEE Transactions on Software Engineering
A software design method and its application to protocol and communication software development

Computer Networks and ISDN Systems
The CCITT-specification and description language SDL

Computer Networks and ISDN Systems
On Communicating Finite-State Machines

Journal of the ACM (JACM)
Executable logic specifications for protocol service interfaces

IEEE Transactions on Software Engineering
An Interactive Protocol Synthesis Algorithm Using a Global State Transition Graph

IEEE Transactions on Software Engineering
Protocol Design Rules

Proceedings of the IFIP WG6.1 Second International Workshop on Protocol Specification, Testing and Verification
A new design language for communication protocols and a systematic design method of communication systems

ICSE '82 Proceedings of the 6th international conference on Software engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

An attempt is made to design a user-friendly software environment for protocol synthesis based on the FSM (finite state machine), and to show the validity of applying AI (artificial intelligence) techniques to the construction of such a system. For that purpose, the authors have first designed a user-friendly software environment, named SEPS, using the programming language C, which belongs to the procedural programming paradigm. The aim of SEPS is to help a protocol designer to easily design a protocol and avoid logical errors like unspecified receptions and state deadlocks. In order to enhance the productivity of protocol development, a user-friendly interface has been designed which employs the multiwindow mechanism and provides the graphic tools in this system. Consequently, a protocol designer without any experience in protocol synthesis can easily design a protocol without logical errors. The authors have also designed a knowledge-based software environment for protocol synthesis, named KSPS, using the expert system tool OPS83. KSPS has the same functions as SEPS. The advantages of KSPS over SEPS in terms of extension, modification, and maintenance of protocol development systems are shown.