Specification and analysis of context-aware systems
Specification and analysis of context-aware systems
In this report, an overview of research into context-awareness modelling is presented. We also give our approach to context-awareness modelling in the form of a process calculus called C pi (Context pi ). In this calculus, each process has an explicit representation of its context in the form of (information, entity, value) triples modelling the knowledge this process has about its environment. A process equipped with a context representation is called an agent. Agents make use of broadcast actions to exchange context information and make use of conditions on their context to perform context-dependent behaviour.
Remmache, Bilel
43b37958-2595-4aca-84aa-06e81e8fdfa5
30 September 2009
Remmache, Bilel
43b37958-2595-4aca-84aa-06e81e8fdfa5
Cirstea, Corina
ce5b1cf1-5329-444f-9a76-0abcc47a54ea
Sassone, Vladimiro
df7d3c83-2aa0-4571-be94-9473b07b03e7
Remmache, Bilel
(2009)
Specification and analysis of context-aware systems.
University of Southampton, School of Electronics and Computer Science, Masters Thesis, 83pp.
Record type:
Thesis
(Masters)
Abstract
In this report, an overview of research into context-awareness modelling is presented. We also give our approach to context-awareness modelling in the form of a process calculus called C pi (Context pi ). In this calculus, each process has an explicit representation of its context in the form of (information, entity, value) triples modelling the knowledge this process has about its environment. A process equipped with a context representation is called an agent. Agents make use of broadcast actions to exchange context information and make use of conditions on their context to perform context-dependent behaviour.
More information
Published date: 30 September 2009
Organisations:
University of Southampton
Identifiers
Local EPrints ID: 159593
URI: http://eprints.soton.ac.uk/id/eprint/159593
PURE UUID: bf3cd454-54de-4140-9cf7-b3a285b107fd
Catalogue record
Date deposited: 16 Aug 2010 14:39
Last modified: 14 Mar 2024 02:48
Export record
Contributors
Author:
Bilel Remmache
Thesis advisor:
Corina Cirstea
Thesis advisor:
Vladimiro Sassone
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics