TY - JOUR
T1 - A user friendly software environment for protocol synthesis
AU - Shiratori, Norio
AU - Zhang, Yao Xue
AU - Takahashi, Kaoru
AU - Noguchi, Shoichi
PY - 1991/4
Y1 - 1991/4
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=0026142689&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=0026142689&partnerID=8YFLogxK
U2 - 10.1109/12.88467
DO - 10.1109/12.88467
M3 - Article
AN - SCOPUS:0026142689
SN - 0018-9340
VL - 40
SP - 477
EP - 486
JO - IEEE Transactions on Computers
JF - IEEE Transactions on Computers
IS - 4
ER -