Abstract
The evolution of smartphones has given rise to urban-area applications: applications that communicate in a city by means of the public (moving) infrastructure (e.g., buses and trams). In this setting, applications need to communicate with and discover each other using intermediaries that move around the city and transfer data between them. This requires programmers to scatter code that deals with routing messages to the correct place and deal with network failures all over their programs. Our approach allows the programmer to specify urban-area applications in a high-level manner without the burden of directly encoding communication using intermediaries. We present this as a translation from a high-level object-oriented programming paradigm to a low-level communication mechanism. This translation allows the programmer to restrict routing of messages to, for example, a certain number of hops, geographic areas, or even types of carrier devices. In addition, we show how high-level group messaging can be efficiently represented in the low-level communication. Finally, we document our experiences in setting up a small-scale real-world urban-area application.
- Nigel Davies, Adrian Friday, Stephen P Wade, and Gordon S Blair. 1998. L2imbo: A distributed systems platform for mobile computing. Mobile Networks and Applications 3, 2 (1998), 143--156. Google Scholar
Digital Library
- Patrick Th. Eugster, Pascal A. Felber, Rachid Guerraoui, and Anne-marie Kermarrec. 2003. The many faces of publish/subscribe. ACM Computing Survey 35, 2 (2003), 114--131. Google Scholar
Digital Library
- Kevin Fall. 2003. A delay-tolerant network architecture for challenged internets. In Proceedings of the 2003 Conference on Applications, Technologies, Architectures, and Protocols for Computer Communications (SIGCOMM’03). ACM, New York, New York, 27--34. Google Scholar
Digital Library
- David Gelernter. 1985. Generative communication in Linda. ACM Transactions on Programming Languages and Systems 7, 1 (Jan 1985), 80--112. Google Scholar
Digital Library
- Elisa Gonzalez Boix, Christophe Scholliers, Wolfgang De Meuter, and Theo D’Hondt. 2013. Programming mobile context-aware applications with TOTAM. Available at http://www.sciencedirect.com/science/article/pii/S0164121213001799.Google Scholar
- Philipp Haller and Martin Odersky. 2006. Event-based programming without inversion of control. In Proceedings of Joint Modular Languages Conference (Lecture Notes in Computer Science), Vol. 4228. Springer, 4--22. Google Scholar
Digital Library
- Christine Julien and Gruia-Catalin Roman. 2004. Active coordination in ad hoc networks. In Proceedings of the 6th International Conference on Coordination Models and Languages (COORDINATION’04), Rocco De Nicola, Gian Luigi Ferrari, and Greg Meredith (Eds.), Vol. 2949. Springer, 199--215.Google Scholar
Cross Ref
- Alan Kaminsky and Hans-Peter Bischof. 2002. Many-to-Many invocation: A new object oriented paradigm for ad hoc collaborative systems. In Proceedings of OOPSLA 2002. 72--73. Google Scholar
Digital Library
- Marco Mamei and Franco Zambonelli. 2004. Programming pervasive and mobile computing applications: The TOTA approach. In Proceedings of the 2nd IEEE Annual Conference on Pervasive Computing and Communications (PerCom’04). 263--273. Google Scholar
Digital Library
- René Meier, Vinny Cahill, Andronikos Nedos, and Siobhán Clarke. 2005. Proximity-based service discovery in mobile ad hoc networks. In Distributed Applications and Interoperable Systems (DAIS’05). Springer, Berlin, 115--129. Google Scholar
Digital Library
- Sara Montagna, Mirko Viroli, JoseLuis Fernandez-Marquez, Giovanna Marzo Serugendo, and Franco Zambonelli. 2013. Injecting self-organisation into pervasive service ecosystems. Mobile Networks and Applications 18, 3 (2013), 398--412. DOI: http://dx.doi.org/10.1007/s11036-012-0411-1 Google Scholar
Digital Library
- Abderrahmen Mtibaa, Martin May, Christophe Diot, and Mostafa Ammar. 2010. Peoplerank: Social opportunistic forwarding. In Proceedings of IEEE INFOCOM 2010. 1--5. Google Scholar
Digital Library
- Amy L. Murphy and Gian Pietro Picco. 2006. Using lime to support replication for availability in mobile ad hoc networks. In Proceedings of the 8th International Conference on Coordination Models and Languages (COORDINATION’06). Springer-Verlag, 194--211. Google Scholar
Digital Library
- Amy L. Murphy, Gian Pietro Picco, and Gruia-Catalin Roman. 2001. LIME: A middleware for physical and logical mobility. In Proceedings of the 21st International Conference on Distributed Computing Systems. 524--533. Google Scholar
Digital Library
- Andrea Omicini and Franco Zambonelli. 1999. Tuple centres for the coordination of internet agents. In Proceedings of the 1999 ACM Symposium on Applied Computing (SAC’99). ACM, 183--190. Special Track on Coordination Models, Languages and Applications. Google Scholar
Digital Library
- Tom Van Cutsem, Stijn Mostinckx, Elisa Gonzalez Boix, Jessie Dedecker, and Wolfgang De Meuter. 2007. AmbientTalk: Object-oriented event-driven programming in mobile ad hoc networks. In Proceedings of the International Conference of the Chilean Computer Science Society (SCCC’07). 3--12. Google Scholar
Digital Library
- Jim Waldo. 1999. The jini architecture for network-centric computing. In Proceedings of the 1999 Design Automation Conference. New York, NY, 76--82.Google Scholar
Digital Library
- Zhensheng Zhang. 2006. Routing in intermittently connected mobile ad hoc networks and delay tolerant networks: overview and challenges. IEEE Communications Surveys & Tutorials 8, 1 (2006), 24--37. Google Scholar
Digital Library
- Wenrui Zhao and Mostafa Ammar. 2003. Message ferrying: Proactive routing in highly-partitioned wireless ad hoc networks. In Proceedings of the 9th IEEE Workshop on Future Trends of Distributed Computing Systems (FTDCS’03). IEEE, 308--314. Google Scholar
Digital Library
Index Terms
Programming Urban-Area Applications by Exploiting Public Transportation
Recommendations
Programming urban-area applications
SAC '12: Proceedings of the 27th Annual ACM Symposium on Applied ComputingThe evolution of smartphones has given rise to urban-area applications: applications that communicate in a city by means of the public (moving) infrastructure, e.g. buses and trams. In this setting, applications need to communicate and discover each ...
From program verification to program synthesis
POPL '10This paper describes a novel technique for the synthesis of imperative programs. Automated program synthesis has the potential to make programming and the design of systems easier by allowing programs to be specified at a higher-level than executable ...
Evaluation of Accessibility to Urban Public Sports Facilities: A GIS Approach Based on Network Analysis Model
ICIC '12: Proceedings of the 2012 Fifth International Conference on Information and Computing ScienceUrban public sports facilities are an important part of the urban land, as well as a subsystem of the urban system. Evaluation of urban public sports facilities is one of the important issues in the study of urban systems. Urban public sports facilities ...






Comments