|Title||Towards formalisation of situation-specific computations in pervasive computing environments|
We have categorised the characteristics and the content of pervasive computing
environments (PCEs), and demonstrated why a non-dynamic approach to
knowledge conceptualisation in PCEs does not fulfil the expectations we may have from them. Consequently, we have proposed a formalised computational model,
the FCM, for knowledge representation and reasoning in PCEs which, secures the
delivery of situation and domain specific services to their users. The proposed
model is a user centric model, materialised as a software engineering solution,
which uses the computations generated from the FCM, stores them within software
architectural components, which in turn can be deployed using modern software
technologies. The model has also been inspired by the Semantic Web (SW) vision
and provision of SW technologies. Therefore, the FCM creates a semantically rich situation-specific PCE based on SWRL-enabled OWL ontologies that allows
reasoning about the situation in a PCE and delivers situation specific service.
The proposed FCM model has been illustrated through the example of remote
patient monitoring in the healthcare domain. Numerous software applications
generated from the FCM have been deployed using Integrated Development
Environments and OWL-API.