This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
A User Friendly Software Environment for Protocol Synthesis
April 1991 (vol. 40 no. 4)
pp. 477-486

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.

[1] N. Shiratori, K. Takahashi, and S. Noguchi, "A software design method and its application to protocol and communication software development,"Comput. Networks ISDN Syst., vol. 15, pp. 245-267, 1988.
[2] Y.-X. Zhang, K. Takahashi, N. Shiratori, and S. Noguchi, "An interactive protocol synthesis algorithm using a global state transition graph,"IEEE Trans. Software Eng., vol. SE-14, pp. 394-404, Mar. 1988.
[3] Y.-X. Zhang, K. Takahashi, N. Shiratori, and S. Noguchi, "A knowledge-based system for protocol synthesis,"IEEE J. Select. Areas Commun., vol. SAC-6, pp. 874-883, June 1988.
[4] N. Shiratori, K. Takahashi, and S. Noguchi, "An intelligent user-friendly support system for protocol and communication software development," inProc. IFIP Symp. Protocol Specification, Testing, Verification VIII, 1988.
[5] G. v. Bochmannet al., "Experience with formal specifications using an extended state transition model,"IEEE Trans. Commun., vol. COM-30, pp. 2506-2513, Dec. 1982.
[6] F. Belina and D. Hogrefe, "The CCITT-specification and description language SDL,"Comput. Networks ISDN Syst., vol. 16, no. 4, pp. 311-341, Mar. 1989.
[7] ISO, "Estelle--A formal description technique based on an extended state transition model," ISO 9074, 1989.
[8] S. Aggarwal, D. Barbara, and K. Z. Meth, "SPANNER: A tool for the specification, analysis, and evaluation of protocols,"IEEE Trans. Software Eng., vol. SE-13, pp. 1218-1237, Aug. 1987.
[9] N. Shiratori, J. Gohara, and S. Noguchi, "A new design language for communication protocols and a systematic design method of communication systems," inProc Sixth Int. Conf. Software Eng., Sept. 1982, pp. 403-412.
[10] J. Rubin and C. H. West, "An improved protocol validation technique,"Comput. Networks ISDN Syst., vol. 6, pp. 66-73, Apr. 1982.
[11] M. G. Gouda and Y. T. Yu, "Protocol validation by maximal progress state exploration,"IEEE Trans. Commun., vol. COM-32, pp. 94-97, Jan. 1984.
[12] T. P. Blumer and D. P. Sidhu, "Mechanical verfication and automatic implementation of communication protocols,"IEEE Trans. Software Eng., vol. SE-12, pp. 827-843, Aug. 1986.
[13] B. Hailpern and S. Owicki, "Modular verification of computer communication protocols,"IEEE Trans. Comm., vol. COM-31, Jan. 1983.
[14] D. P. Sidhu and C. S. Crall, "Executable logic specifications for protocol service interface,"IEEE Trans. Software Eng., vol. SE-14, pp. 98-121, Jan. 1988.
[15] ISO, "LOTOS--A formal description technique based on the temporal ordering of observational behavior," ISO8807, 1989.
[16] C. A. Sunshineet al., "Specification and verfication of communication protocols in AFFIRM using state transition models,"IEEE Trans. Software Eng., vol. SE-8, pp. 460-489, May 1982.
[17] T. Higashinoet al., "An algebraic specification of HDLC procedures and its verification,"IEEE Trans. Software Eng., vol. SE-10, pp. 825-836, June 1984.
[18] P. Zafiropouloet al., "Towards analysing and synthesizing protocols,"IEEE Trans. Commun., vol. COM-28, pp. 655-660, Apr. 1980.
[19] D. Brand and P. Zafiropulo, "On communicating finite state machines,"J. ACM, vol. 30, no. 2, pp. 323-342, Apr. 1983.
[20] D. P. Sidhu, "Protocol design rules," inProc. Second IFIP Int. Symp. Protocol Specification, Testing, Verification, 1982, pp. 283-300.
[21] M. G. Gouda and Y. T. Yu, "Synthesis of communicating finite state machines with guaranteed progress,"IEEE Trans. Comput., vol. C-32, no. 7, pp. 779-788, 1984.
[22] C. L. Forgy, "The OPS83 report," Tech. Rep. CMUCS-84-133, Dep. Comput. Sci., Carnegie Mellon Univ., May 1984.
[23] J. A. Robinson,Logic: Form and Function, the Mechanization of Deductive Reasoning. New York: North Holland, 1984.
[24] M. Minsky, "A framework for representing knowledge," in thePsychology of Computer Vision. New York: McGraw-Hill, 1975, pp. 211-277.
[25] A. Tannenbaum,Computer Networks. Englewood Cliffs, NJ: Prentice-Hall, 1984.
[26] C. Vissers, R. Tenney, and G. v. Bochmann, "Formal description techniques,"Proc. IEEE, vol. 71, pp. 1356-1364, Dec. 1983.

Index Terms:
user friendly software environment; protocol synthesis; finite state machine; artificial intelligence; SEPS; programming language C; procedural programming paradigm; deadlocks; user-friendly interface; multiwindow mechanism; graphic tools; knowledge-based software environment; KSPS; expert system tool OPS83; artificial intelligence; finite automata; knowledge based systems; programming environments; protocols; user interfaces.
Citation:
N. Shiratori, Y.-X. Zhang, K. Takahashi, S. Noguchi, "A User Friendly Software Environment for Protocol Synthesis," IEEE Transactions on Computers, vol. 40, no. 4, pp. 477-486, April 1991, doi:10.1109/12.88467
Usage of this product signifies your acceptance of the Terms of Use.