A formal method for synthesizing optimized protocol converters and its application to mobile data networks

Mobile Networks and Applications

Volumn 2, Issue 3, 1997, Pages 259-269

  Tao, Zhongping ^a,b,c   Bochmann, Gregor V ^b,d,e,f,g   Dssouli, Rachida ^b  

^a NORTEL NETWORKS   (Canada)

^b UNIVERSITÉ DE MONTRÉAL   (Canada)

^c HUAZHONG UNIVERSITY OF SCIENCE AND TECHNOLOGY   (China)

^d Ctr de Rech Info de Montreal   (Canada)

^e EPFL   (Switzerland)

^f Stanford University   (United States)

^g SIEMENS AG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMMUNICATION CHANNELS (INFORMATION THEORY); DATA COMMUNICATION SYSTEMS; HEURISTIC METHODS; MOBILE TELECOMMUNICATION SYSTEMS;

MOBILE DATA NETWORKS; PROTOCOL CONVERTER;

NETWORK PROTOCOLS;

EID: 0031340540     PISSN: 1383469X     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1013692902855     Document Type: Article

References (23)

1. E. Ayanoglu et al., AIRMAIL: A link-layer protocol for wireless networks, Wireless Networks 1 (1995) 47-60.
2. G. v. Bochmann, Deriving protocol converters for communication gateways, IEEE Transactions on Communications 38(9) (September 1990).
3. G. v. Bochmann et al., Design principles for communication gateways, IEEE Journal on Selected Areas in Communications 8(1) (January 1990).
4. E. Brinksma, G. Scollo and C. Steenbergen, LOTOS specification, their implementations, and their tests, in: Proceedings of IFIP Workshop PSTV (1987).
5. K. Brown and S. Singh, Network, architecture and communication protocols for mobile computing (1996).
6. K.L. Calvert and S.S. Lam, Deriving a protocol converter: A topdown method, in: Proceedings of ACM SIGCOMM '89.
7. R. De Nicola, Extensional equivalences for transition systems, Acta Informatica 24 (1987).
8. P.E. Green Jr, Protocol conversion, IEEE Transactions on Communications 34(3) (March 1986).
9. D.M. Kristol et al., Efficient gateway synthesis from formal specifications, in: Proceedings of ACM SIGCOMM '91. See also IEEE/ACM Transactions on Networking 1(2) (April 1993).
10. D.M. Kristol et al., Efficient gateway synthesis from formal specifications, in: Proceedings of ACM SIGCOMM '91. See also IEEE/ACM Transactions on Networking 1(2) (April 1993).
11. S.S. Lam, Protocol conversion, IEEE Transactions on Software Engineering 14 (March 1988).
12. S.S. Lam and K.L. Calvert, Formal methods for protocol conversion, IEEE Journal on Selected Areas in Communications 8(1) (January 1990).
13. G. Leduc, A framework based on implementation relations for implementing LOTOS specifications, Computer Networks and ISDN Systems 25 (1992).
14. H.R. Lewis, Elements of the Theory of Computation (Prentice-Hall, Englewood Cliffs, NJ, 1981) pp. 59-62.
15. P. Merlin and G. v. Bochmann, On the construction of submodule specifications and communication protocols, ACM TOPLAS 5(1) (1983).
16. R. Milner, Communication and Concurrency (Prentice-Hall, Englewood Cliffs, NJ, 1989).
17. K. Okumura, A formal protocol conversion method, in: Proceedings of ACM SIGCOMM '86.
18. K. Okumura, Generation of proper adapters and converters from a formal service specification, in: Proceedings of IEEE INFOCOM '90.
19. M. Rajagopal et al., Synthesizing a protocol converter from executable protocol traces, IEEE Transactions on Computers 40(4) (April 1991).
20. J.C. Shu and M.T. Liu, A synchronization model for protocol conversion, in: Proc. IEEE INFOCOMM '89, Ottawa, Canada (1989).
21. J.C. Shu and M.T. Liu, An approach to indirect protocol conversion, Computer Networks and ISDN Systems 21 (1991).
22. Z.P. Tao, A formal method for the design of real-time communicating subsystems and controllers, Ph.D. Thesis, Université de Montréal.
23. Y.W. Yao, W.S. Chen and M.T. Liu, A modular approach to constructing protocol converters, in: Proc. IEEE INFOCOM '90, San Francisco, CA (1990).