A Taxonomy-Driven Approach to Visually Prototyping Pervasive Computing Applications

  • Zoé Drey
  • Julien Mercadal
  • Charles Consel
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5658)


Various forms of pervasive computing environments are being deployed in an increasing number of areas including healthcare, home automation, and military. This evolution makes the development of pervasive computing applications challenging because it requires to manage a range of heterogeneous entities with a wide variety of functionalities.

This paper presents Pantagruel, an approach to integrating a taxonomical description of a pervasive computing environment into a visual programming language. A taxonomy describes the relevant entities of a given pervasive computing area and serves as a parameter to a sensor-controller-actuator development paradigm. The orchestration of area-specific entities is supported by high-level constructs, customized with respect to taxonomical information.

We have implemented a visual environment to develop taxonomies and orchestration rules. Furthermore, we have developed a compiler for Pantagruel and successfully used it for applications in various pervasive computing areas, such as home automation and building management.


Visual Rule-Based Language Pervasive Computing 


  1. 1.
    Shulman, B.: RFID for Patient Flow Management in Emergency Unit. Technical report, IBM Corporation (2006),
  2. 2.
    Keith Edwards, W., Grinter, R.E.: At home with ubiquitous computing: Seven challenges. In: Abowd, G.D., Brumitt, B., Shafer, S. (eds.) UbiComp 2001. LNCS, vol. 2201, pp. 256–272. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  3. 3.
    Kuflik, T., Sheidin, J., Jbara, S., Goren-Bar, D., Soffer, P., Stock, O., Zancanaro, M.: Supporting small groups in the museum by context-aware communication services. In: 12th Int’l. Conference on Intelligent User Interfaces (IUI), pp. 305–308. ACM, New York (2007)CrossRefGoogle Scholar
  4. 4.
    Adkins, M., Kruse, J., Younger, R.: Ubiquitous computing: Omnipresent technology in support of network centric warfare. In: 35th Hawaii Int’l. Conference on System Sciences (HICSS), p. 40. IEEE Computer Society, Los Alamitos (2002)Google Scholar
  5. 5.
    Roman, M., Campbell, R.H.: Gaia: enabling active spaces. In: 9th ACM SIGOPS European Workshop, pp. 229–234. ACM, New York (2000)Google Scholar
  6. 6.
    Ranganathan, A., Chetan, S., Al-Muhtadi, J., Campbell, R.H., Mickunas, M.D.: Olympus: A high-level programming model for pervasive computing environments. In: 3rd Int’l. Conference on Pervasive Computing and Communications (PerCom), pp. 7–16. IEEE Computer Society, Los Alamitos (2005)Google Scholar
  7. 7.
    Grimm, R.: One. world: Experiences with a pervasive computing architecture. IEEE Pervasive Computing 3(3), 22–30 (2004)CrossRefGoogle Scholar
  8. 8.
    Garlan, D., Siewiorek, D.P., Steenkiste, P.: Project Aura: Toward distraction-free pervasive computing. IEEE Pervasive Computing 1, 22–31 (2002)CrossRefGoogle Scholar
  9. 9.
    Li, Y., Hong, J.I., Landay, J.A.: Topiary: a tool for prototyping location-enhanced applications. In: 17th Symposium on User Interface Software and Technology (UIST), pp. 217–226. ACM, New York (2004)CrossRefGoogle Scholar
  10. 10.
    Truong, K.N., Huang, E.M., Abowd, G.D.: CAMP: A magnetic poetry interface for end-user programming of capture applications for the home. In: Davies, N., Mynatt, E.D., Siio, I. (eds.) UbiComp 2004. LNCS, vol. 3205, pp. 143–160. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  11. 11.
    Dey, A.K., Sohn, T., Streng, S., Kodama, J.: iCAP: Interactive prototyping of context-aware applications. In: Fishkin, K.P., Schiele, B., Nixon, P., Quigley, A. (eds.) PERVASIVE 2006. LNCS, vol. 3968, pp. 254–271. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  12. 12.
    Newman, M.W., Elliott, A., Smith, T.F.: Providing an integrated user experience of networked media, devices, and services through end-user composition. In: Indulska, J., Patterson, D.J., Rodden, T., Ott, M. (eds.) PERVASIVE 2008. LNCS, vol. 5013, pp. 213–227. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  13. 13.
    Pfeiffer Jr., J.J.: Altaira: A rule-based visual language for small mobile robots. Journal of Visual Languages and Computing 9(2), 127–150 (1998)CrossRefGoogle Scholar
  14. 14.
    Gindling, J., Ioannidou, A., Loh, J., Lokkebo, O., Repenning, A.: LEGOsheets: a rule-based programming, simulation and manipulation environment for the LEGO programmable brick. In: 11th Symposium on Visual Languages (VL), pp. 172–179. IEEE Computer Society, Los Alamitos (1995)CrossRefGoogle Scholar
  15. 15.
    Jouve, W., Lancia, J., Palix, N., Consel, C., Lawall, J.: High-level programming support for robust pervasive computing applications. In: 6th Int’l. Conference on Pervasive Computing and Communications (PerCom), pp. 252–255 (2008)Google Scholar
  16. 16.
    Jouve, W., Palix, N., Consel, C., Kadionik, P.: A SIP-based programming framework for advanced telephony applications. In: Schulzrinne, H., State, R., Niccolini, S. (eds.) IPTComm 2008. LNCS, vol. 5310, pp. 1–20. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  17. 17.
    Medvidovic, N., Taylor, R.N.: A classification and comparison framework for software architecture description languages. IEEE Transactions on Software Engineering 26(1), 70–93 (2000)CrossRefGoogle Scholar
  18. 18.
    Jouve, W., Bruneau, J., Consel, C.: DiaSim: A parameterized simulator for pervasive computing applications. Technical report, INRIA/Labri (2008)Google Scholar
  19. 19.
    Lamport, L.: The temporal logic of actions. ACM Transactions on Programming Languages and Systems 16(3), 872–923 (1994)CrossRefGoogle Scholar
  20. 20.
    Yu, Y., Manolios, P., Lamport, L.: Model Checking TLA+ Specifications. In: Pierre, L., Kropf, T. (eds.) CHARME 1999. LNCS, vol. 1703, pp. 54–66. Springer, Heidelberg (1999)CrossRefGoogle Scholar
  21. 21.
    Burnett, M.M., McIntyre, D.W.: Visual programming - guest editors’ introduction. IEEE Computer 28(3), 14–16 (1995)CrossRefGoogle Scholar
  22. 22.
    Kulkarni, D., Tripathi, A.: Generative programming approach for building pervasive computing applications. In: 1st Int’l. Workshop on Software Engineering for Pervasive Computing Applications, Systems, and Environments (SEPCASE), p. 3. IEEE Computer Society, Los Alamitos (2007)Google Scholar
  23. 23.
    Weis, T., Knoll, M., Ulbrich, A., Muhl, G., Brandle, A.: Rapid prototyping for pervasive applications. IEEE Pervasive Computing 6(2), 76–84 (2007)CrossRefGoogle Scholar
  24. 24.
    Humble, J., Crabtree, A., Hemmings, T., Åkesson, K.-P., Koleva, B., Rodden, T., Hansson, P.: Playing with the Bits user-configuration of ubiquitous domestic environments. In: Dey, A.K., Schmidt, A., McCarthy, J.F. (eds.) UbiComp 2003. LNCS, vol. 2864, pp. 256–263. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  25. 25.
    Svensk, A.: Design for cognitive assistance. In: Human Factors and Ergonomics Society Europe Annual Meeting (HFES) (2003)Google Scholar

Copyright information

© IFIP International Federation for Information Processing 2009

Authors and Affiliations

  • Zoé Drey
    • 1
  • Julien Mercadal
    • 2
  • Charles Consel
    • 2
  1. 1.Thales / LaBRI-Université de BordeauxFrance
  2. 2.INRIA / LaBRI-Université de BordeauxFrance

Personalised recommendations