Protocol synthesis from rule-based communications service specifications

Electronics and Communications in Japan, Part I: Communications (English translation of Denshi Tsushin Gakkai Ronbunshi)

Volumn 81, Issue 3, 1998, Pages 22-35

  Takura, Akira ^a,b,e,f,g   Sera, Takafumi ^a,c,g,h,i,j   Ohta, Tadashi ^a,d  

^a ADVANCED TELECOMMUNICATIONS RESEARCH INSTITUTE INTERNATIONAL   (Japan)

^b NTT CORPORATION   (Japan)

^c NEC CORPORATION   (Japan)

^d SOKA UNIVERSITY   (Japan)

^e TOKYO INSTITUTE OF TECHNOLOGY   (Japan)

^f IPSJ   (Japan)

^g IEEE   (Japan)

^h HIROSHIMA UNIVERSITY   (Japan)

ⁱ ATR Comm System Res Lab

^j NEC C and C Basic Res Lab

more..

Author keywords

Communications service; Communications software; Graph transformation; Protocol synthesis; Specification description

Indexed keywords

ALGORITHMS; COMPUTER AIDED SOFTWARE ENGINEERING; GRAPH THEORY; KNOWLEDGE BASED SYSTEMS; TELECOMMUNICATION SERVICES;

ISOMORPHIC SUBGRAPHS; PROTOCOL SYNTHESIS;

NETWORK PROTOCOLS;

EID: 0032028632     PISSN: 87566621     EISSN: None     Source Type: Journal    
DOI: 10.1002/(SICI)1520-6424(199803)81:3<22::AID-ECJA3>3.0.CO;2-A     Document Type: Article

References (22)

1. CCITT, revised Recommendation Z. 100. CCITT Specification and Description Language (SDL) (May 1992).
2. T. Bolognesi and E. Brinksma. Introduction to the ISO specification language LOTOS. Comput. Networks ISDN Syst., 14, pp. 25-59 (1987).
3. F. Belina and D. Hogrefe. The CCITT-specification and description language SDL. Comput. Networks ISDN Syst., 16, pp. 311-341 (1989).
4. M. Faci, L. Logrippo, and B. Stepien. Formal specification of telephone systems in LOTOS: the constraint-oriented style approach. Comput. Networks ISDN Syst., 21, pp. 53-67 (1991).
5. L. Drayton, A. Chetwynd, and G. Blair. Introduction to LOTOS through a worked example. Comput. Commun., 15, No. 2, pp. 70-85 (March 1992).
6. C. Dendorfer and R. Weber. From service specification to protocol entity implementation - an exercise in formal protocol development. Proc. IFIP Twelfth Int. Symp. Protocol Specification, Testing, Verification, pp. 163-177 (1992).
7. G.V. Bochmann and R. Gotzhein. Deriving protocol specifications from service specifications. Communications, Architectures & Protocols, Proc. ACM SIG-COMM '86, Vermont, USA, pp. 136-145 (Aug.).
8. R. Gotzhein and G.V. Bochmann. Deriving protocol specifications from service specifications including parameters. ACM Trans. Comput. Systems, 8, No. 4, pp. 255-283 (Nov. 1990).
9. P.M. Chu and M.T. Liu. Synthesizing protocol specifications from service specification in the FSM model. Proc. Comput. Networking Symp., pp. 505-512 (April 1988).
10. K. Saleh and R.L. Proben. A service-based method for the synthesis of communications protocols. Int. J. Mini & Microcomput., Special Issue on Distributed Systems, 12, No. 3, pp. 97-103 (1990).
11. Y. Kakuda, M. Nakamura, and T. Kikuno. Automated synthesis of protocol specifications from service specifications with parallelly executable multiple primitives. I.E.I.C.E. Trans. Fundamentals, E77-A, No. 10 (Oct. 1994).
12. E.J. Cameron et al. The L.0 language and environment for protocol simulation and prototyping. IEEE Trans. Comput., 40, No. 4, pp. 562-571 (April 1991).
13. J.J.P. Tsai, T. Weigert, and H.-C. Jang. A hybrid knowledge representation as a basis of requirement specification and specification analysis. IEEE Trans. Software Eng., 18, No. 12, pp. 1076-1100 (Dec. 1992).
14. Y. Hirakawa and T. Takenaka. Telecommunication service description using state transition rules. Proc. Sixth Int. Workshop on Software Specification and Design, Como, Italy, pp. 140-147 (Oct. 1991).
15. Y. Harada, Y. Kirakawa, T. Takenaka and N. Terashima. A conflict detection support method for telecommunication service descriptions. I.E.I.C.E. Trans. Commun., E75-B, No. 10, pp. 986-997 (Oct. 1992).
16. M.R. Garey and D.S. Johnson. Computers and Intractability, A Guide to the Theory of NP-Completeness. W.H. Freeman and Co., New York (1979).
17. K. Kawata, A. Takura and T. Ohta. On a communication software generation method from communication service specifications described by a declarative language. Proc. Fifth International Conference on Computing and Information, Sudbury, Canada, pp. 116-122 (May 1993).
18. A. Takura, K. Kawata, T. Ohta, and N. Terashima. Communication software generation based on two-layered specifications and execution environment. IEEE GLOBECOM '93, Houston, USA, pp. 362-368 (Dec.).
19. H. Zimmermann. OSI reference model - ISO model of architecture for open systems interconnection. IEEE Trans. Commun., COM-28, No. 4, pp. 425-432 (April 1980).
20. M.T. Liu. Protocol engineering. Advances in Computers, 29, Academic Press (1989).
21. G.V. Bochmann. A general transition model for protocols and communications services. IEEE Trans. Commun., COM-28, No. 4, pp. 643-650 (1980).
22. A. Takura, T. Ohta, and K. Kawata. Process specification generation from communications service specifications. Automated Software Eng., No. 2, pp. 167-182 (1995).