Services Integration in Pervasive Environments Workshop

Research Article

A logic-based language for describing device interoperability

  • @INPROCEEDINGS{10.1109/PERSER.2007.4283942,
        author={ Sattisvar  Tandabany and Marie-Christine Rousset and Yuzuru  Tanaka},
        title={A logic-based language for describing device interoperability},
        proceedings={Services Integration in Pervasive Environments Workshop},
        publisher={IEEE},
        proceedings_a={SIPE},
        year={2007},
        month={8},
        keywords={},
        doi={10.1109/PERSER.2007.4283942}
    }
    
  • Sattisvar Tandabany
    Marie-Christine Rousset
    Yuzuru Tanaka
    Year: 2007
    A logic-based language for describing device interoperability
    SIPE
    IEEE
    DOI: 10.1109/PERSER.2007.4283942
Sattisvar Tandabany1,*, Marie-Christine Rousset1, Yuzuru Tanaka1
  • 1: LIG, University of Grenoble, France; Meme Media Laboratory, Hokkaido University, Sapporo, Japan
*Contact email: sattisvar.tandabany@imag.fr

Abstract

Technology's constant progress makes us build more and more independent devices dedicated to different goals. In this way, we make it more complex for humans to make use of those devices. In particular; the functionalities required by some user may be achievable only by combining functionalities of several devices currently accessible over a changing network. We therefore propose a language for describing devices and their functionalities in a way that enables the inference, definition and querying of potential compositions. We define this language, and demonstrate practical applications.