An Overlay Network for a SIP Servlet-Based Service Execution Environment in Stand Alone MANETs

Mobile ad hoc networks (MANETs) are an example of new networks that are gaining more and more momentum because of their flexibility and easy deployment. Service execution is an important phase in the service life cycle. SIP servlets are a promising service provisioning framework for MANETs. However, MANETs are very challenging because of their characteristics (e.g. node heterogeneity, no permanent centralized entity, transient links). Using SIP servlets in MANETs requires distributing the servlet engine first, due to resource constraints. As the distributed components need to interact, a cooperation scheme including self-organization and self-recovery is needed. Overlay networks are an attractive approach to cooperation because of their scalability and flexibility. In this paper we propose an overlay network for a SIP servlets-based service execution environment in MANETs. We assume a servlet engine distribution scheme that we have proposed in previous work. The architecture of the overlay network and the related procedures are presented. Results of a formal validation using Promela/SPIN are discussed.

[1]  H. Khlifi,et al.  A framework to use SIP in ad-hoc networks , 2003, CCECE 2003 - Canadian Conference on Electrical and Computer Engineering. Toward a Caring and Humane Technology (Cat. No.03CH37436).

[2]  Jon Crowcroft,et al.  A survey and comparison of peer-to-peer overlay network schemes , 2005, IEEE Communications Surveys & Tutorials.

[3]  Ferhat Khendek,et al.  A SIP Servlet Framework for Service Provisioning in Stand-Alone Mobile Ad Hoc Networks , 2008 .

[4]  Mark Handley,et al.  SIP: Session Initiation Protocol , 1999, RFC.

[5]  I. Stojmenovic,et al.  Mobile Ad Hoc Networking with a View of 4G Wireless: Imperatives and Challenges , 2004 .

[6]  Roch H. Glitho,et al.  Signaling for multimedia conferencing in 4G: the case of integrated 3G/MANETs , 2006, IEEE Communications Magazine.

[7]  Gerard J. Holzmann,et al.  Design and validation of computer protocols , 1991 .

[8]  Roch H. Glitho,et al.  A novel signaling system for multiparty sessions in peer-to-peer ad hoc networks , 2005, IEEE Wireless Communications and Networking Conference, 2005.