The case for a unified extensible data-centric mobility infrastructure

We present a unified, extensible data-centric mobility infrastructure based on declarative networks and composable distributed views over network, router, and host state. Declarative networks are a recent innovation for building extensible network architectures using declarative languages. The data-centric approach both improves flexibility over existing solutions, and is extensible to meet the demands of future mobile applications and services. We demonstrate the flexibility of distributed queries used in declarative networks by specifying and implementing mobile services, e.g., overlay-based solutions for host mobility, customizable routing, service discovery and composition, and location-based services. A prototype based on the P2 declarative networking system has been implemented, with which we evaluated two overlay-based mobility schemes (ROAM and DHARMA).

[1]  Ravi Krishnamurthy,et al.  A Framework for Testing Safety and Effective Computability , 1996, J. Comput. Syst. Sci..

[2]  Martín Abadi,et al.  Towards a Declarative Language and System for Secure Networking , 2007, NetDB.

[3]  David R. Karger,et al.  Chord: A scalable peer-to-peer lookup service for internet applications , 2001, SIGCOMM '01.

[4]  Eddie Kohler,et al.  The Click modular router , 1999, SOSP.

[5]  Ion Stoica,et al.  Declarative routing: extensible routing with declarative queries , 2005, SIGCOMM '05.

[6]  Scott Shenker,et al.  Internet indirection infrastructure , 2004, IEEE/ACM Transactions on Networking.

[7]  G. Weikum.  Querying the Internet with PIER , 2005 .

[8]  Randy H. Katz,et al.  USENIX Association Proceedings of MobiSys 2003 : The First International Conference on Mobile Systems , Applications , and Services , 2003 .

[9]  Hari Balakrishnan,et al.  The design and implementation of an intentional naming system , 1999, SOSP.

[10]  G.J. Minden,et al.  A survey of active network research , 1997, IEEE Communications Magazine.

[11]  Jonathan M. Smith,et al.  DHARMA: distributed home agent for robust mobile access , 2005, Proceedings IEEE 24th Annual Joint Conference of the IEEE Computer and Communications Societies..

[12]  Jeffrey D. Ullman,et al.  A Survey of Research in Deductive Database Systems , 1995 .

[13]  Wei Hong,et al.  The design of an acquisitional query processor for sensor networks , 2003, SIGMOD '03.

[14]  Ion Stoica,et al.  Implementing declarative overlays , 2005, SOSP '05.