High-level Programming Support for Robust Pervasive Computing Applications

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.

• Type: Conference
• Year: 2008
• Where: PERCOM
• Authors: Wilfried Jouve, Julien Lancia, Nicolas Palix, Charles Consel, Julia L. Lawall
• Keywords: PERCOM 2008, Pervasive Computing Activities, Pervasive Computing Applications, Pervasive Computing Environment, Wireless Networks