On constructing communication protocols from component-based service specifications

Computer Communications

Volumn 19, Issue 14, 1996, Pages 1200-1215

  Nakamura, Masahide ^a   Kakuda, Yoshiaki ^a   Kikuno, Tohru ^a  

^a OSAKA UNIVERSITY   (Japan)

Author keywords

Component; Correctness; Integration; Protocol synthesis; Service specification

Indexed keywords

AMPLITUDE MODULATION; COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SIMULATION; DATA COMMUNICATION SYSTEMS; SYSTEMS ANALYSIS;

COMPONENT BASED SERVICE SPECIFICATIONS; COMPONENT INTEGRATION; CORRECTNESS; PROTOCOL SYNTHESIS;

NETWORK PROTOCOLS;

EID: 0030350127     PISSN: 01403664     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0140-3664(96)01154-1     Document Type: Article

References (18)

1. C.-H. Chow, M.G. Gouda and S.S. Lam, An exercise in constructing multi-phase communication protocols, Proc. ACM SIGCOMM'84, June 1984, pp. 493-503.
2. C-H. Chow, M.G. Gouda and S.S. Lam, A discipline for constructing multi phase communication protocols, ACM Trans. Computer Systems, 3(4) November 1985, pp. 315-343.
3. H.-A. Lin, An improved method for constructing multiphase Communication Protocols, IEEE Trans. Computers, 42(1) (January 1993) 15-26.
4. G. Singh and M. Sammeta, On the construction of multiphase communication protocols, Proc. Second Int. Conf. on Network Protocols (ICNP'94), October 1994, pp. 151-158.
5. H.-A. Lin, Constructing protocols with alternative functions, IEEE Trans. Computers, 40(4) (April 1991), 376-386.
6. H.-A. Lin, A methodology for constructing communication protocols with multiple concurrent functions, Distributed Computing, 3 (December 1988) 23-40.
7. P.M. Chu and M.T. Liu, Protocol synthesis in a state transition model, Proc. COMPSAC'88, October 1988, pp. 505-512.
8. P.M. Chu and M.T. Liu, Synthesizing protocol specifications from service specifications in the FSM model, Proc. Computer Networking Symp., April 1988, pp. 173-182.
9. H. Igarashi, Y. Kakuda and T. Kikuno, Synthesis of protocol specifications for design of responsive protocols, IEICE Trans. Information and Systems, E76-D (11) (November 1993) 1375-1385.
10. Y. Kakuda, H. Igarashi and T. Kikuno, Automated synthesis of protocol specifications with message collisions and verification of timeliness, Proc. Second Int. Conf. on Network Protocols (ICNP'94), October 1994, pp. 143-150.
11. Y. Kakuda, M. Nakamura and T. Kikuno, Automated synthesis of protocol specifications from service specifications with parallelly executable multiple primitives, IEICE Trans. Fundamentals, E77-A (10) (October 1994) 1634-1645.
12. M. Nakamura, Y. Kakuda and T. Kikuno, Protocol synthesis from acyclic formed service specifications, Proc. Int. Conf. Information Networking (ICOIN'94), December 1994, pp. 177-182.
13. K. Saleh, Automatic synthesis of protocol specifications from service specifications, Proc. Int. Phoenix Conf. on Computers and Communications, March 1991, pp. 615-621.
14. K. Saleh, A service-based method for the synthesis of communication protocols, Special issue on distributed computing and systems, Int. J. Mini and Microcomputers, 12(3) (1990) 97-103.
15. ISO 8571-3, ISO - File service definition: File Transfer, Access and Management - Part 3, 1989.
16. ISO 8571-4, ISO - File protocol specification: File Transfer, Access and Management - Part 4, 1989.
17. D. Brand and P. Zafiropulo, On communicating finite state machines, J. ACM, 30(2) (1983) 323-342.
18. F.J. Lin, P.M. Chu and M.T. Liu, Protocol verification using reachability analysis: The state space explosion problem and relief strategies, Proc. ACM SIGCOMM Workshop, 1987, pp. 126-135.