Automatic Generation of Network Protocol Gateways

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5896 LNCS, Issue , 2009, Pages 21-41

  Bromberg, Yérom David ^a   Réveillère, Laurent ^a   Lawall, Julia L ^b   Muller, Gilles ^c  

^a UNIVERSITÉ DE BORDEAUX   (France)

^b UNIVERSITY OF COPENHAGEN   (Denmark)

^c ECOLE DES MINES DE NANTES   (France)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMMERS; AUTOMATIC GENERATION; CORRECTNESS PROPERTIES; DOMAIN SPECIFIC LANGUAGES; MESSAGE STRUCTURES; NETWORK PROGRAMMING; NETWORKED DEVICES; PROTOCOL BEHAVIOR; RESOURCE USAGE; RESPONSE TIME;

INTERNET PROTOCOLS; MIDDLEWARE; NETWORK PROTOCOLS; PROBLEM ORIENTED LANGUAGES; TELECOMMUNICATION SYSTEMS; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SYSTEMS PROGRAMMING;

GATEWAYS (COMPUTER NETWORKS);

EID: 70549105999     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-10445-9_2     Document Type: Conference Paper

References (19)

1. Chappell, D.: Enterprise Service Bus. O'Reilly, Sebastopol (2004)
2. Perkins, C.: RTP - Audio and Video for the Internet. Addison-Wesley, Reading (2003)
3. Goland, Y.Y., Cai, T., Leach, P., Gu, Y.: Simple service discovery protocol/1.0: Operating without an arbiter (October 1999), http://quimby.gnus. org/internet-drafts/draft-cai-ssdp-v1-03.txt
4. Fielding, R., Gettys, J., Mogul, J., Frystyk, H., Masinter, L., Leach, P., Berners-Lee, T.: Hypertext Transfer Protocol - HTTP/1.1. RFC 2616 (Draft Standard) (June 1999) Updated by RFC 2817
5. Burgy, L., Réveillère, L., Lawall, J.L., Muller, G.: A language-based approach for improving the robustness of network application protocol implementations. In: 26th IEEE International Symposium on Reliable Distributed Systems, Beijing, October 2007, pp. 149-158 (2007)
6. Arnoldus, J., Bijpost, J., van den Brand, M.: Repleo: a syntax-safe template engine. In: GPCE 2007: Proceedings of the 6th international conference on Generative programming and component engineering, pp. 25-32. ACM, New York (2007)
7. Krishnamurthi, S., Hopkins, P.W., McCarthy, J., Graunke, P.T., Pettyjohn, G., Felleisen, M.: Implementation and use of the PLT Scheme web server. Higher-Order and Symbolic Computation 20(4), 431-460 (2007)
8. Steele Jr., G.L.: Lambda, the ultimate declarative. AI Memo 379, Artificial Intelligence Laboratory, Massachusetts Institute of Technology, Cambridge, Massachusetts (November 1976)
9. Cohen, J.: Garbage collection of linked data structures. ACM Computing Surveys 13(3), 341-367 (1981)
10. Boehm, H., Weiser, M.: Garbage collection in an uncooperative environment. Software Practice & Experience 18(9), 807-820 (1988)
11. Bromberg, Y.D., Issarny, V.: INDISS: Interoperable discovery system for networked services. In: Alonso, G. (ed.) Middleware 2005. LNCS, vol. 3790, pp. 164-183. Springer, Heidelberg (2005)
12. Hildebrandt, R., Koetter, P.: The book of Postfix: state-of-the-art message transport. NO-STARCH (2005), http://www.postfix.org/
13. Grace, P., Blair, G.S., Samuel, S.: A reflective framework for discovery and interaction in heterogeneous mobile environments. SIGMOBILE Mob. Comput. Commun. Rev. 9(1), 2-14 (2005)
14. Costa, P., Coulson, G., Mascolo, C., Mottola, L., Picco, G.P., Zachariadis, S.: Re-configurable component-based middleware for networked embedded systems. International Journal of Wireless Information Networks 14(2), 149-162 (2007)
15. Raverdy, P.G., Issarny, V., Chibout, R., de La Chapelle, A.: A multi-protocol approach to service discovery and access in pervasive environments. In: The 3rd Annual International Conference on Mobile and Ubiquitous Systems: Networks and Services, San Jose, CA, USA, July 2006, pp. 1-9 (2006)
16. Becker, C., Schiele, G., Gubbels, H., Rothermel, K.: Base: A micro-broker-based middleware for pervasive computing. In: PERCOM 2003: Proceedings of the First IEEE International Conference on Pervasive Computing and Communications, Washington, DC, USA, p. 443. IEEE Computer Society, Los Alamitos (2003)
17. Bromberg, Y.D.: Solutions to middleware heterogeneity in open networked environment. Phd Thesis, INRIA/UVSQ (2006)
18. Friedman, D.P., Wand, M., Haynes, C.T.: Essentials of Programming Languages. MIT Press, Cambridge (1992)
19. Appel, A.: Modern Compiler Implementation in ML. Cambridge University Press, Cambridge (1998)