Book ChapterDOI
A Formal Framework for Modeling Context-Aware Behavior in Ubiquitous Computing
Isabel Cafezeiro,José Viterbo,Alexandre Rademaker,Edward Hermann Haeusler,Markus Endler +4 more
- Vol. 17, pp 519-533
Reads0
Chats0
TLDR
The main goal is to verify how the formal approach can contribute with a better understanding of the fundamental concepts of ubiquitous computing and if this formal framework is flexible and rich enough to adequately express specific characteristics of the concrete application domain and scenario.Abstract:
A formal framework to contextualize ontologies, proposed in [3], provides several ways of composing ontologies, contexts or both. The proposed algebra can be used to model applications in which the meaning of an entity depends on environment constraints or where dynamic changes in the environment have to be considered. In this article we use this algebra to formalize the problem of interpreting context information in ubiquitous systems, based on a concrete scenario. The main goal is to verify, on one hand, how the formal approach can contribute with a better understanding of the fundamental concepts of ubiquitous computing and, on the other hand, if this formal framework is flexible and rich enough to adequately express specific characteristics of the concrete application domain and scenario.read more
Citations
More filters
Proceedings ArticleDOI
Formalizing the Structure and Behaviour of Context-Aware Systems in Bigraphs
Ju-Shu Wang,Dong Xu,Zhou Lei +2 more
TL;DR: Bigraph and its related theories are introduced to formalize the modeling of context-aware systems in this paper and make a mapping from the elements ofcontext-awareness to the components of bigraph.
Book
Decentralized Reasoning in Ambient Intelligence
José Viterbo,Markus Endler +1 more
TL;DR: This work proposes a middleware service for performing decentralized rule-based reasoning about context data targeting AmI systems in which it is assumed that there are two main interacting parties in the reasoning process, each having access to different context information.
Journal ArticleDOI
Specifying ubiquitous systems through the algebra of contextualized ontologies
TL;DR: An approach to specify a context-aware system at three levels of abstraction using the Algebra of Contextualized Ontologies, which is based on Category Theory and takes contextualization as a basic notion, proposing a small set of simple and powerful operations to compose and decompose contextualized ontologies.
Proceedings Article
Context-Awareness to Increase Inclusion of People with DS in Society
TL;DR: The POSEIDON module is explained, which is in the process of developing to make the system context-aware, reactive and adaptive.
Proceedings ArticleDOI
Domain Independent Architecture and Behavior Modeling for Pervasive Computing Environments
TL;DR: This paper proposes act-mobile as a domain independent middleware for pervasive computing environments that consists of a central service platform and locally integrated gateways, building the bridge between sensors and actuators and the act- mobile server.
References
More filters
Journal ArticleDOI
The Computer for the 21st Century
TL;DR: Consider writing, perhaps the first information technology: The ability to capture a symbolic representation of spoken language for long-term storage freed information from the limits of individual memory.
Journal Article
The computer for the 21st century
TL;DR: In this article, the authors propose that specialized elements of hardware and software, connected by wires, radio waves and infrared, will soon be so ubiquitous that no-one will notice their presence.
Journal ArticleDOI
On the criteria to be used in decomposing systems into modules
TL;DR: In this paper, the authors discuss modularization as a mechanism for improving the flexibility and comprehensibility of a system while allowing the shortening of its development time, and the effectiveness of modularization is dependent upon the criteria used in dividing the system into modules.
Proceedings ArticleDOI
Ontology based context modeling and reasoning using OWL
TL;DR: An OWL encoded context ontology (CONON) is proposed for modeling context in pervasive computing environments, and for supporting logic-based context reasoning, and provides extensibility for adding domain-specific ontology in a hierarchical manner.