High-level Programming Support for Robust Pervasive Computing Applications

Wilfried Jouve 1, 2 Julien Lancia 1, 2 Nicolas Palix 1, 2 Charles Consel 1, 2 Julia Lawall 3
2 Phoenix - Programming Language Technology For Communication Services
LaBRI - Laboratoire Bordelais de Recherche en Informatique, Inria Bordeaux - Sud-Ouest, EA4136 - Handicap et système nerveux :Action, communication, interaction: rétablissement de la fonction et de la participation [Bordeaux]
Abstract : In this paper, we present a domain-specific Interface Definition Language (IDL) and its compiler, dedicated to the development of pervasive computing applications. Our IDL provides declarative support for concisely characterizing a pervasive computing environment. This description is (1) to be used by programmers as a high-level reference to develop applications that coordinate entities of the target environment and (2) to be passed to a compiler that generates a programming framework dedicated to the target environment. This process enables verifications to be performed prior to runtime on both the declared environment and a given application. Furthermore, customized operations are automatically generated to support the development of pervasive computing activities, such as service discovery and session negotiation for stream-oriented devices.
Complete list of metadatas

Contributor : Nicolas Loriant <>
Submitted on : Thursday, October 23, 2008 - 4:09:56 PM
Last modification on : Tuesday, April 2, 2019 - 1:45:25 AM
Long-term archiving on : Tuesday, October 9, 2012 - 2:20:17 PM


Files produced by the author(s)


  • HAL Id : inria-00333602, version 1


Wilfried Jouve, Julien Lancia, Nicolas Palix, Charles Consel, Julia Lawall. High-level Programming Support for Robust Pervasive Computing Applications. 6th IEEE Conference on Pervasive Computing and Communications, Mar 2008, Hong Kong, China. ⟨inria-00333602⟩



Record views


Files downloads