Please use this identifier to cite or link to this item:
https://dspace.lboro.ac.uk/2134/3072
|
Title: | Semantic interoperability in ad-hoc computing environments |
Authors: | Rendo Fernandez, Jose Ignacio |
Keywords: | Ubiquitous computing Ad-hoc Smart home OWL-S CSP Ontology Formal method |
Issue Date: | 2007 |
Abstract: | This thesis introduces a novel approach in which multiple heterogeneous devices
collaborate to provide useful applications in an ad-hoc network.
This thesis proposes a smart home as a particular ubiquitous computing scenario
considering all the requirements given by the literature for succeed in this
kind of systems. To that end, we envision a horizontally integrated smart home
built up from independent components that provide services. These components
are described with enough syntactic, semantic and pragmatic knowledge to accomplish
spontaneous collaboration. The objective of these collaboration is domestic
use, that is, the provision of valuable services for home residents capable of supporting
users in their daily activities. Moreover, for the system to be attractive
for potential customers, it should offer high levels of trust and reliability, all of
them not at an excessive price.
To achieve this goal, this thesis proposes to study the synergies available when
an ontological description of home device functionality is paired with a formal
method. We propose an ad-hoc home network in which components are home
devices modelled as processes represented as semantic services by means of the
Web Service Ontology (OWL-S). In addition, such services are specified, verified
and implemented by means of the Communicating Sequential Processes (CSP), a
process algebra for describing concurrent systems.
The utilisation of an ontology brings the desired levels of knowledge for a system
to compose services in a ad-hoc environment. Services are composed by a
goal based system in order to satisfy user needs. Such system is capable of understaning,
both service representations and user context information. Furthermore,
the inclusion of a formal method contributes with additional semantics to check
that such compositions will be correctly implemented and executed, achieving the
levels of reliability and costs reduction (costs derived form the design, development and implementation of the system) needed for a smart home to succeed. |
Description: | A Doctoral Thesis. Submitted in partial fulfilment of the requirements for the award of Doctor of Philosophy of Loughborough University. |
URI: | https://dspace.lboro.ac.uk/2134/3072 |
Appears in Collections: | PhD Theses (Computer Science)
|
Files associated with this item:
|
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.
|