Programming urban-area applications

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 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 dealing 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.

References

1. N. Davies, A. Friday, S. Wade, and G. Blair. L2imbo: a distributed systems platform for mobile computing. Mob. Netw. Appl., 3(2): 143--156, 1998.
2. P. T. Eugster, P. A. Felber, R. Guerraoui, and A. Kermarrec. The many faces of publish/subscribe. ACM Computing Survey, 35(2): 114--131, 2003.
3. K. Fall. A delay-tolerant network architecture for challenged internets. In Proc. of SIGCOMM 2003, pages 27--34. ACM, 2003.
4. D. Gelernter. Generative communication in Linda. ACM Transactions on Programming Languages and Systems, 7(1): 80--112, Jan 1985.
5. P. Haller and M. Odersky. Event-based programming without inversion of control. In Proc. Joint Modular Languages Conference, volume 4228 of Lecture Notes in Computer Science, pages 4--22. Springer, 2006.
6. A. Kaminsky and H.-P. Bischof. Many-to-many invocation: a new object oriented paradigm for ad hoc collaborative systems. In Proc. of OOPSLA 2002, pages 72--73, 2002.
7. M. Mamei and F. Zambonelli. Programming pervasive and mobile computing applications with the TOTA middleware. In Proc. of PERCOM '04, page 263, 2004.
8. R. Meier, V. Cahill, A. Nedos, and S. Clarke. Proximity-based service discovery in mobile ad hoc networks. In DAIS 05, pages 115--129. Springer, 2005.
9. A. Mtibaa, M. May, C. Diot, and M. Ammar. Peoplerank: Social opportunistic forwarding. In Proc. of IEEE INFOCOM 2010, pages 1--5.
10. A. Murphy and G. Picco. Using lime to support replication for availability in mobile ad hoc networks. In 8th International Conference on Coordination Models and Languages (COORDINATION), LNCS, pages 194--211. Springer-Verlag, 2006.
11. A. Murphy, G. Picco, and G.-C. Roman. LIME: A middleware for physical and logical mobility. In Proc. of ICDCS01, pages 524--536, 2001.
12. C. Scholliers, E. Gonzalez Boix, and W. De Meuter. Totam: Scoped tuples for the ambient. In Proc. of CAMPUS09, volume 19, pages 19--34. EASST, 2009.
13. T. Van Cutsem, S. Mostinckx, E. Gonzalez Boix, J. Dedecker, and W. De Meuter. Ambienttalk: object-oriented event-driven programming in mobile ad hoc networks. In Inter. Conf. of the Chilean Computer Science Society (SCCC), pages 3--12, 2007.
14. J. Waldo. The Jini Architecture for Network-centric Computing. Commun. ACM, 42(7): 76--82, 1999.
15. Z. Zhang. Routing in intermittently connected mobile ad hoc networks and delay tolerant networks: overview and challenges. IEEE Communications Surveys & Tutorials, 8(1): 24--37, 2006.
16. W. Zhao and M. Ammar. Message ferrying: proactive routing in highly-partitioned wireless ad hoc networks. In Proc. of FTDCS 2003, pages 308--314. IEEE.

Index Terms

• Software and its engineering

  • Software notations and tools

    • General programming languages

      • Language features

  • Software organization and properties

    • Software system structures

      • Distributed systems organizing principles

        • Organizing principles for web applications