KEPPAN: Knowledge exploitation for proactively-planned ad-hoc networks

This paper explores the idea of managing mobile ad-hoc networks (MANETs) by the communication needs of their nodes, as a means to facilitate the operation of distributed applications. Specifically, we present a middleware layer that enables reasoning about the multiple possibilities there may exist to ensure satisfiability of certain communication needs. This middleware has been explicitly devised to handle partial and changeable knowledge about the networks, and to guide the search for missing information whenever it cannot conclude whether it will be possible to satisfy some needs. These features provide the basis to implement policies with which to coordinate activities in a MANET, in quest for the configuration that best satisfies the communication needs of its nodes. We provide simulation results to show the comparative advantages of our solution, plus a report of experiments to assess its practicality and usability.

[1]  Jorge García Duque,et al.  Bringing the Agile Philosophy to Formal Specification Settings , 2006, Int. J. Softw. Eng. Knowl. Eng..

[2]  Christopher D. Gill,et al.  Opportunistic exploitation of knowledge to increase predictability of agent interactions in MANETs , 2005, ACM SIGSOFT Softw. Eng. Notes.

[3]  Sung-Ju Lee,et al.  Mobility prediction and routing in ad hoc wireless networks , 2001, Int. J. Netw. Manag..

[4]  Mostafa H. Ammar,et al.  Message ferrying: proactive routing in highly-partitioned wireless ad hoc networks , 2003, The Ninth IEEE Workshop on Future Trends of Distributed Computing Systems, 2003. FTDCS 2003. Proceedings..

[5]  Nancy A. Lynch,et al.  Virtual Mobile Nodes for Mobile Ad Hoc Networks , 2004, DISC.

[6]  Amy L. Murphy,et al.  LIME: A coordination model and middleware supporting mobility of hosts and agents , 2006, TSEM.

[7]  Markus Schneider,et al.  A foundation for representing and querying moving objects , 2000, TODS.

[8]  Dario Pompili,et al.  Communication and Coordination in Wireless Sensor and Actor Networks , 2007, IEEE Transactions on Mobile Computing.

[9]  James A. Landay,et al.  Siren: Context-aware Computing for Firefighting , 2004, Pervasive.

[10]  Carroll Morgan,et al.  Programming from specifications , 1990, Prentice Hall International Series in computer science.

[11]  Tiziana Catarci,et al.  WORKPAD: an Adaptive Peer-to-Peer Software Infrastructure for Supporting Collaborative Work of Human Operators in Emergency/Disaster Scenarios , 2006, International Symposium on Collaborative Technologies and Systems (CTS'06).

[12]  Massimo Mecella,et al.  Disconnection prediction in mobile ad hoc networks for supporting cooperative work , 2005, IEEE Pervasive Computing.

[13]  Christopher D. Gill,et al.  Accommodating Transient Connectivity in Ad Hoc and Mobile Settings , 2004, Pervasive.

[14]  Prithwish Basu,et al.  Movement control algorithms for realization of fault-tolerant ad hoc robot networks , 2004, IEEE Network.

[15]  Xiaoying Bai,et al.  A Tuple-Space-Based Coordination Architecture for Test Agents in the MAST Framework , 2006, 2006 Second IEEE International Symposium on Service-Oriented System Engineering (SOSE'06).

[16]  Jorge García Duque,et al.  Incremental specification with SCTL/MUS-T: a case study , 2004, J. Syst. Softw..

[17]  Jorge García Duque,et al.  Qualitative assessment of approaches to coordinate activities of mobile hosts in ad hoc networks , 2008, IEEE Communications Magazine.

[18]  Hermann de Meer,et al.  On Autonomy and Emergence in Self-Organizing Systems , 2008, IWSOS.

[19]  Roy Friedman,et al.  Location Services in Wireless Ad Hoc and Hybrid Networks: A Survey , 2006 .

[20]  Amy L. Murphy,et al.  LIME: a middleware for physical and logical mobility , 2001, Proceedings 21st International Conference on Distributed Computing Systems.

[21]  Hae-Young Bae,et al.  An extension of XQuery for moving objects over GML , 2004, International Conference on Information Technology: Coding and Computing, 2004. Proceedings. ITCC 2004..

[22]  M. Finney.  FARSITE : Fire Area Simulator : model development and evaluation , 1998 .

[23]  Kun-Ta Wu,et al.  Effective Location Based Services with Dynamic Data Management in Mobile Environments , 2006, Wirel. Networks.

[24]  Mahesh K. Marina,et al.  Performance of route caching strategies in Dynamic Source Routing , 2001, Proceedings 21st International Conference on Distributed Computing Systems Workshops.

[25]  Christian Bonnet,et al.  Trajectory knowledge for improving topology control in mobile ad-hoc networks , 2005, CoNEXT '05.

[26]  Giannis F. Marias,et al.  Cooperation enforcement schemes for MANETs: a survey: Research Articles , 2006 .

[27]  Franco Zambonelli,et al.  A survey of autonomic communications , 2006, TAAS.

[28]  Christopher D. Gill,et al.  Knowledge-Driven Interactions across Mobile Ad Hoc Networks , 2007, Int. J. Cooperative Inf. Syst..

[29]  Leslie Pack Kaelbling,et al.  Mobilized ad-hoc networks: a reinforcement learning approach , 2004 .

[30]  Xiao Chen,et al.  Multicasting techniques in mobile ad hoc networks , 2003 .

[31]  Gruia-Catalin Roman,et al.  Knowledge-driven interactions with services across ad hoc networks , 2004, ICSOC '04.

[32]  Jorge García Duque,et al.  A Six-valued Logic to Reason about Uncertainty and Inconsistency in Requirements Specifications , 2006, J. Log. Comput..

[33]  Robert K. Brayton,et al.  Incremental Methods for Formal Verification and Logic Synthesis , 1996 .

[34]  Ken Arnold,et al.  JavaSpaces¿ Principles, Patterns, and Practice , 1999 .

[35]  Azim Eskandarian,et al.  Challenges of intervehicle ad hoc networks , 2004, IEEE Transactions on Intelligent Transportation Systems.

[36]  Jim Dowling,et al.  Properties and mechanisms of self-organizing MANET and P2P systems , 2007, TAAS.

[37]  Helmut Veith,et al.  Progress on the State Explosion Problem in Model Checking , 2001, Informatics.

[38]  Qun Li,et al.  Communication in disconnected ad hoc networks using message relay , 2003, J. Parallel Distributed Comput..

[39]  Giannis F. Marias,et al.  Cooperation enforcement schemes for MANETs: a survey , 2006, Wirel. Commun. Mob. Comput..

[40]  David Gelernter,et al.  Generative communication in Linda , 1985, TOPL.

[41]  Jorge García Duque,et al.  Guidelines for the incremental identification of aspects in requirements specifications , 2006, Requirements Engineering.

[42]  Jun Murai,et al.  An Adaptive Application Flooding for Efficient Data Dissemination in Dense Ad-Hoc Networks , 2005, AINTEC.

[43]  Jie Lin,et al.  Towards mobility as a network control primitive , 2004, MobiHoc '04.