Reactive queries in mobile ad hoc networks

ABSTRACT

Pervasive computing in mobile ad hoc networks requires that applications query their network environment for services and react to a plethora of events fired by other devices in that network responding to such queries. Current context-aware and event-driven architectures require the programmer to react to these events via a carefully crafted network of observers and event handlers, while inherently introducing complex concurrency issues. This paper proposes the integration of two techniques to solve these problems: ambient references and reactive programming. Ambient references are object-oriented communication abstractions that represent nearby remote objects in the mobile network and that make it possible to generate the events mentioned above. The reactive programming paradigm provides an abstraction over events such that the application can be written in a conventional programming style with explicit control flow.

REFERENCES

• 1: S. Burbeck. Application programming in smalltalk-80: How to use model-view-controller (MVC). University of Illinois in Urbana-Champaign (UIUC) Smalltalk Archive. Available at: http://st-www.cs.uiuc.edu/users/smarch/st-docs/mvc.html.
• 2: G. H. Cooper and S. Krishnamurthi. Embedding dynamic dataflow in a call-by-value language. In P. Sestoft, editor, ESOP, volume 3924 of Lecture Notes in Computer Science, pages 294--308. Springer, 2006.
• 3: Antony Courtney, Frappé: Functional Reactive Programming in Java, Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages, p.29-44, March 11-12, 2001
• 4: Conal Elliott , Paul Hudak, Functional reactive animation, Proceedings of the second ACM SIGPLAN international conference on Functional programming, p.263-273, June 09-11, 1997, Amsterdam, The Netherlands
• 5: P. Haller and M. Odersky. Event-based programming without inversion of control. In Proc. Joint Modular Languages Conference, volume 4228 of Lecture Notes in Computer Science, pages 4--22. Springer, 2006.
• 6: M. Miller, E. D. Tribble, and J. Shapiro. Concurrency among strangers: Programming in E as plan coordination. In R. D. Nicola and D. Sangiorgi, editors, Symposium on Trustworthy Global Computing, volume 3705 of LNCS, pages 195--229. Springer, April 2005.
• 7: S. Mostinckx, A. Lombide Carreton, and W. De Meuter. Reactive context-aware programming. In Workshop on Context-Aware Adaptation Mechanisms for Pervasive and Ubiquitous Services (CAMPUS 2008), volume 10 of Electronic Communications of the EASST. DisCoTec, June 2008.
• 8: John Peterson , Paul Hudak , Conal Elliott, Lambda in Motion: Controlling Robots with Haskell, Proceedings of the First International Workshop on Practical Aspects of Declarative Languages, p.91-105, January 18-19, 1999
• 9: T. Van Cutsem. Ambient References: Object Designation in Mobile Ad Hoc Networks. PhD thesis, Vrije Universiteit Brussel, Faculty of Sciences, Programming Technology Lab, May 2008.
• 10: Tom Van Cutsem , Stijn Mostinckx , Wolfgang De Meuter, Linguistic symbiosis between event loop actors and threads, Computer Languages, Systems and Structures, v.35 n.1, p.80-98, April, 2009 [doi>10.1016/j.cl.2008.06.005]
• 11: Tom Van Cutsem , Stijn Mostinckx , Elisa Gonzalez Boix , Jessie Dedecker , Wolfgang De Meuter, AmbientTalk: Object-oriented Event-driven Programming in Mobile Ad hoc Networks, Proceedings of the XXVI International Conference of the Chilean Society of Computer Science, p.3-12, November 08-09, 2007 [doi>10.1109/SCCC.2007.4]
• 12: Zhanyong Wan , Walid Taha , Paul Hudak, Real-time FRP, Proceedings of the sixth ACM SIGPLAN international conference on Functional programming, September 03-05, 2001, Florence, Italy

INDEX TERMS

Primary Classification:
  D. Software
  D.1 PROGRAMMING TECHNIQUES
      D.1.3 Concurrent Programming
          Subjects: Distributed programming

Additional Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.3 Language Constructs and Features

General Terms:
Design, Languages

Keywords:
AmbientTalk, event-driven programming, mobile ad hoc networks, reactive programming