Programming pervasive and mobile computing applications: The TOTA approach

ABSTRACT

Pervasive and mobile computing call for suitable middleware and programming models to support the activities of complex software systems in dynamic network environments. In this article we present TOTA (“Tuples On The Air”), a novel middleware and programming approach for supporting adaptive context-aware activities in pervasive and mobile computing scenarios. The key idea in TOTA is to rely on spatially distributed tuples, adaptively propagated across a network on the basis of application-specific rules, for both representing contextual information and supporting uncoupled interactions between application components. TOTA promotes a simple way of programming that facilitates access to distributed information, navigation in complex environments, and the achievement of complex coordination tasks in a fully distributed and adaptive way, mostly freeing programmers and system managers from the need to take care of low-level issues related to network dynamics. This article includes both application examples to clarify concepts and performance figures to show the feasibility of the approach

REFERENCES

• 1: Tarek Abdelzaher , Yaw Anokwa , Peter Boda , Jeff Burke , Deborah Estrin , Leonidas Guibas , Aman Kansal , Samuel Madden , Jim Reich, Mobiscopes for Human Spaces, IEEE Pervasive Computing, v.6 n.2, p.20-29, April 2007 [doi>10.1109/MPRV.2007.38]
• 2: Ozalp Babaoglu , Geoffrey Canright , Andreas Deutsch , Gianni A. Di Caro , Frederick Ducatelle , Luca M. Gambardella , Niloy Ganguly , Márk Jelasity , Roberto Montemanni , Alberto Montresor , Tore Urnes, Design patterns from biology for distributed computing, ACM Transactions on Autonomous and Adaptive Systems (TAAS), v.1 n.1, p.26-66, September 2006 [doi>10.1145/1152934.1152937]
• 3: Roberto Baldoni , Carlo Marchetti , Antonino Virgillito , Roman Vitenberg, Content-Based Publish-Subscribe over Structured Overlay Networks, Proceedings of the 25th IEEE International Conference on Distributed Computing Systems, p.437-446, June 06-10, 2005 [doi>10.1109/ICDCS.2005.19]
• 4: Stefano Basagni , Marco Conti , Silvia Giordano , Ivan Stojmenović, Ad hoc Networking, John Wiley & Sons, 2004
• 5: Jacob Beal , Jonathan Bachrach, Infrastructure for Engineered Emergence on Sensor/Actuator Networks, IEEE Intelligent Systems, v.21 n.2, p.10-19, March 2006 [doi>10.1109/MIS.2006.29]
• 6: Eric Bonabeau , Marco Dorigo , Guy Theraulaz, Swarm intelligence: from natural to artificial systems, Oxford University Press, Inc., New York, NY, 1999
• 7: Cristian Borcea , Deepa Iyer , Porlin Kang , Akhilesh Saxena , Liviu Iftode, Cooperative Computin for Distributed Embedded Systems, Proceedings of the 22 nd International Conference on Distributed Computing Systems (ICDCS'02), p.227, July 02-05, 2002
• 8: Cabri, G., Ferrari, L., Leonardi, L., Mamei, M., and Zambonelli, F. 2005. Uncoupling coordination: Tuple-based models for mobility. In Mobile Middleware. Taylor and Francis CRC Press, London, U.K., 229--256.
• 9: Cabri, G., Leonardi, L., Mamei, M., and Zambonelli, F. 2003. Location-dependent services for mobile users. IEEE Trans. Syst. Man, Cybernet.—Part A: Syst. Hum. 33, 6, 667--681.
• 10: Camurri, M., Mamei, M., and Zambonelli, F. 2006. Urban traffic control with co-fields. In International Workshop on Environments for Multi-Agent Systems. Lecture Notes in Computer Science, vol. 4885. Springer Verlag, Berlin, Germany.
• 11: Gabriella Castelli , Alberto Rosi , Marco Mamei , Franco Zambonelli, A Simple Model and Infrastructure for Context-Aware Browsing of the World, Proceedings of the Fifth IEEE International Conference on Pervasive Computing and Communications, p.229-238, March 19-23, 2007 [doi>10.1109/PERCOM.2007.4]
• 12: Gianpaolo Cugola , Gian Pietro Picco, REDS: a reconfigurable dispatching system, Proceedings of the 6th international workshop on Software engineering and middleware, November 10-10, 2006, Portland, Oregon [doi>10.1145/1210525.1210530]
• 13: Nigel Davies , Keith Cheverst , Keith Mitchell , Alon Efrat, Using and Determining Location in a Context-Sensitive Tour Guide, Computer, v.34 n.8, p.35-41, August 2001 [doi>10.1109/2.940011]
• 14: Patrick Th. Eugster , Pascal A. Felber , Rachid Guerraoui , Anne-Marie Kermarrec, The many faces of publish/subscribe, ACM Computing Surveys (CSUR), v.35 n.2, p.114-131, June 2003 [doi>10.1145/857076.857078]
• 15: Gamma, E., Helm, R., Johnson, R., and Vlissides, J. 1999. Design Patterns. Addison-Wesley, Reading.
• 16: Ganesan, D., Krishnamachari, B., Woo, A., Culler, D., Estrin, D., and Wicker, S. 2002. Complex behavior at scale: An experimental study of low-power wireless sensor networks. Tech. rep. UCLA/CSD-TR 02-0013. University of California, Los Angeles.
• 17: David Gelernter , Nicholas Carriero, Coordination languages and their significance, Communications of the ACM, v.35 n.2, p.96, Feb. 1992 [doi>10.1145/129630.376083]
• 18: Jeffrey Hightower , Gaetano Borriello, Location Systems for Ubiquitous Computing, Computer, v.34 n.8, p.57-66, August 2001 [doi>10.1109/2.940014]
• 19: Chalermek Intanagonwiwat , Ramesh Govindan , Deborah Estrin , John Heidemann , Fabio Silva, Directed diffusion for wireless sensor networking, IEEE/ACM Transactions on Networking (TON), v.11 n.1, p.2-16, February 2003 [doi>10.1109/TNET.2002.808417]
• 20: Brad Johanson , Armando Fox, The Event Heap: A Coordination Infrastructure for Interactive Workspaces, Proceedings of the Fourth IEEE Workshop on Mobile Computing Systems and Applications, p.83, June 20-21, 2002
• 21: Christine Julien , Gruia-Catalin Roman, EgoSpaces: Facilitating Rapid Development of Context-Aware Mobile Applications, IEEE Transactions on Software Engineering, v.32 n.5, p.281-298, May 2006 [doi>10.1109/TSE.2006.47]
• 22: Habin Lee , Patrik Mihailescu , John Shepherdson, Realizing Teamwork in the Field: An Agent-Based Approach, IEEE Pervasive Computing, v.6 n.2, p.85-92, April 2007 [doi>10.1109/MPRV.2007.42]
• 23: Mamei, M. and Zambonelli, F. 2004. Motion coordination in the quake 3 arena environment: A field-based approach. In International Workshop on Environments for Multi-Agent Systems. Lecture Notes in Computer Science, vol. 3374. Springer Verlag, Berlin, Germany.
• 24: Mamei, M. and Zambonelli, F. 2006a. Programming modular robots with the tota middleware. In International Workshop on Engineering Self-Organizing Applications. Lecture Notes in Computer Science, vol. 4389. Springer Verlag, Berlin, Germany.
• 25: Mamei, M. and Zambonelli, F. 2006b. Self-maintained overlay data structures for pervasive autonomic services. In Workshop on Self-Managed Networks, Systems, and Services. Springer Verlag, Berlin, Germany.
• 26: Co-Fields: A Physically Inspired Approach to Motion Coordination, IEEE Pervasive Computing, v.3 n.2, p.52-61, April 2004 [doi>10.1109/MPRV.2004.1316820]
• 27: Ronaldo Menezes , Robert Tolksdorf, A new approach to scalable Linda-systems based on swarms, Proceedings of the 2003 ACM symposium on Applied computing, March 09-12, 2003, Melbourne, Florida [doi>10.1145/952532.952607]
• 28: Amitabh Mishra , Ketan M. Nadkarni, Security in wireless ad hoc networks, The handbook of ad hoc wireless networks, CRC Press, Inc., Boca Raton, FL, 2003
• 29: Márk Jelasity , Alberto Montresor , Ozalp Babaoglu, Gossip-based aggregation in large dynamic networks, ACM Transactions on Computer Systems (TOCS), v.23 n.3, p.219-252, August 2005 [doi>10.1145/1082469.1082470]
• 30: Luca Mottola , Gian Pietro Picco, Programming wireless sensor networks with logical neighborhoods, Proceedings of the first international conference on Integrated internet ad hoc and sensor networks, May 30-31, 2006, Nice, France [doi>10.1145/1142680.1142691]
• 31: Radhika Nagpal, Programmable self-assembly using biologically-inspired multiagent control, Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 1, July 15-19, 2002, Bologna, Italy [doi>10.1145/544741.544839]
• 32: Ryan Newton , Matt Welsh, Region streams: functional macroprogramming for sensor networks, Proceeedings of the 1st international workshop on Data management for sensor networks: in conjunction with VLDB 2004, August 30-30, 2004, Toronto, Canada [doi>10.1145/1052199.1052213]
• 33: O'Grady, R., Gross, R., Mondada, F., Bonani, M., and Dorigo, M. 2005. Self-assembly on demand in a group of physical autonomous mobile robots navigating rough terrain. In Proceedings of the European Conference on Artificial Life, (Canterbury, U.K).
• 34: Parunak, H. V. 1997. Go to the ant: Engineering principles from natural multi-agent systems. Ann. Operat. Res. 75, 69--101.
• 35: Amy L. Murphy , Gian Pietro Picco , Gruia-Catalin Roman, LIME: A coordination model and middleware supporting mobility of hosts and agents, ACM Transactions on Software Engineering and Methodology (TOSEM), v.15 n.3, p.279-328, July 2006 [doi>10.1145/1151695.1151698]
• 36: Pister, K. 2000. On the limits and applicability of mems technology. In Defense Science Study Group Report. Institute for Defense Analysis. Alexandria.
• 37: Oriana Riva , Tamer Nadeem , Cristian Borcea , Liviu Iftode, Context-Aware Migratory Services in Ad Hoc Networks, IEEE Transactions on Mobile Computing, v.6 n.12, p.1313-1328, December 2007 [doi>10.1109/TMC.2007.1053]
• 38: Philip Robinson , Harald Vogt , Waleed Wagealla, Privacy, Security and Trust within the Context of Pervasive Computing (The Kluwer International Series in Engineering and Computer Science), Springer-Verlag New York, Inc., Secaucus, NJ, 2004
• 39: Gruia-Catalin Roman , Christine Julien , Qingfend Huang, Network abstractions for context-aware mobile computing, Proceedings of the 24th International Conference on Software Engineering, May 19-25, 2002, Orlando, Florida [doi>10.1145/581339.581385]
• 40: Kurt Schelfthout , Tom Holvoet , Yolande Berbers, Views: customizable abstractions for contextaware applications in MANETs, Proceedings of the fourth international workshop on Software engineering for large-scale multi-agent systems, May 15-16, 2005, St. Louis, Missouri
• 41: Wei-Min Shen , Peter Will , Aram Galstyan , Cheng-Ming Chuong, Hormone-Inspired Self-Organization and Distributed Control of Robotic Swarms, Autonomous Robots, v.17 n.1, p.93-105, July 2004 [doi>10.1023/B:AURO.0000032940.08116.f1]
• 42: Stoy, K. and Nagpal, R. 2004. Self-reconfiguration using directed growth. In Proceedings of the International Symposium on Distributed Autonomous Robotic Systems, (Toulouse, France).
• 43: Roy Want , Trevor Pering, System challenges for ubiquitous & pervasive computing, Proceedings of the 27th international conference on Software engineering, May 15-21, 2005, St. Louis, MO, USA [doi>10.1145/1062455.1062463]
• 44: Danny Weyns , Kurt Schelfthout , Tom Holvoet , Tom Lefever, Decentralized control of E'GV transportation systems, Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems, July 25-29, 2005, The Netherlands [doi>10.1145/1082473.1082806]
• 45: Kamin Whitehouse , Cory Sharp , Eric Brewer , David Culler, Hood: a neighborhood abstraction for sensor networks, Proceedings of the 2nd international conference on Mobile systems, applications, and services, June 06-09, 2004, Boston, MA, USA [doi>10.1145/990064.990079]
• 46: Franco Zambonelli , Marie-Pierre Gleizes , Marco Mamei , Robert Tolksdorf, Spray computers: explorations in self-organization, Pervasive and Mobile Computing, v.1 n.1, p.1-20, March 2005 [doi>10.1016/j.pmcj.2005.01.001]
• 47: Hu Zhou , Suresh Singh, Content based multicast (CBM) in ad hoc networks, Proceedings of the 1st ACM international symposium on Mobile ad hoc networking & computing, November 20, 2000, Boston, Massachusetts

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.7 Distribution, Maintenance, and Enhancement

Additional Classification:
  C. Computer Systems Organization
  C.2 COMPUTER-COMMUNICATION NETWORKS
      C.2.4 Distributed Systems

  H. Information Systems
  H.4 INFORMATION SYSTEMS APPLICATIONS
      H.4.0 General

  I. Computing Methodologies
  I.2 ARTIFICIAL INTELLIGENCE
        I.2.11 Distributed Artificial Intelligence
            Subjects: Multiagent systems

General Terms:
Design, Performance

Keywords:
Pervasive computing, coordination, middleware, mobile computing, self-adaptation, self-organization, tuple spaces