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
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.
Copyright © 2007–2024 IEEE
