Enabling Mobility between Context-Aware Smart Spaces

We present the Calculus of Context-aware Ambients (CCA in short) for the modelling and verification of mobile systems that are context-aware. This process calculus is built upon the calculus of mobile ambients and introduces new constructs to enable ambients and processes to be aware of the environment in which they are being executed. This results in a powerful calculus where both mobility and context-awareness are first-class citizens. We present the syntax and a formal semantics of the calculus. We propose a new theory of equivalence of processes which allows the identification of systems that have the same context-aware behaviours. We prove that CCA encodes the π -calculus which is known to be a universal model of computation. Finally, we illustrate the pragmatics of the calculus through many examples and a real-world case study of a context-aware hospital bed.

show abstract

“…(ν msg) broker :: msg .0 (20) • The broker receives the messages and forwards them to the subscribers: …”

Section: Discussionmentioning

confidence: 99%

“…Bouzeghoub et al [16] propose a system to perform situationaware adaptive recommendation of information to assist mobile users in a campus environment. They use, as many other work [17][18][19]16,20], OWL ontology language to model context.…”

Section: Health Care Example Revisitedmentioning

confidence: 99%

The Calculus of Context-aware Ambients

Siewe

Zedan

Cau

2011

Journal of Computer and System Sciences

View full text Add to dashboard Cite

show abstract

“…In particular, ConServ, a Web service for context management proposed by Hynes et al, addresses the sharing of context data among smart spaces and, as a result, facilitates the creation of new smart spaces. Data related to a user's location, calendar, habits, relationships among entities, and privacy policies are combined to provide rich context data [36]. Paspallis et al proposed a similar architecture to enable the MADAM middleware to share at run-time context information among a set of distributed mobile devices [37].…”

Section: Context Managementmentioning

confidence: 99%

Managing Dynamic Context to Optimize Smart Interactions and Services

Villegas

Müller

2010

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. With the rapid growth of socio-technical ecosystems, smart interactions and services are permeating every walk of life. As smart interactions must managed automatically and interactively in response to evolving user's matters of concern, the smart Internet requires creative approaches where services and interactions are implemented with awareness of, and dynamic adaptation to, users, computational environments, changing policies and unknown requirements. Consequently, modeling and managing dynamic context is critical for implementing smart services and smart interactions effectively. Thus, smart interactions need infrastructure to acquire, compose, and distribute context information to multiple execution endpoints. Moreover, context management must be controlled and governed to optimize system properties. This chapter surveys context modeling and management approaches intended for the optimization of smart interactions and services, discusses the main challenges and requirements of context-awareness in the smart Internet, and provides a feature-based framework useful for the evaluation and implementation of context modeling and management mechanisms.

show abstract

“…This type of coupling is typically achieved by using a common repository to store, manage, and provide context information. The repository can be implemented as a Web service, such as in [26,15,35,27,32,8,37,3], a tuple space, such as in The Ubiquitous Semantic Space (USS) [40], and agents, such as in [18].…”

Section: Context Common Couplingmentioning

confidence: 99%

“…In [47], privacy preferences, privacy rules and context ownership information are used in the context manager to ensure the privacy-aware context sharing. In [26], access policies can be established based on user's time, location and event participation. Overall, this common repository model allows utilizing rich semantic representations for context information and well-integration of access control rules.…”

Section: Context Common Couplingmentioning

confidence: 99%

Context Coupling Techniques for Context-aware Web Service Systems: An Overview

Truong

Dustdar²

2010

Enabling Context-Aware Web Services

View full text Add to dashboard Cite

Distributed services in a context-aware Web service system or in a service composition need to couple context information from different sources in order to be able to interpret context information. Such interpretation is a prerequisite before services can adapt themselves to be context-aware. However, context coupling in contextaware Web service systems is a complex issue. It is related not only to how we represent and transfer context information among Web services, but also to how we support the context storage, and how we ensure security and privacy issues of context information. Context coupling techniques for Web service systems will be different from that of tightly coupled systems because, with Web service systems, context information is typically shared across the boundaries of organizations which host Web services. This chapter aims at presenting an overview of context coupling techniques, their related issues, and their implication for a context-aware Web service system. Our approach is to study existing techniques implemented in current systems, to present open context coupling issues in current and future context-aware Web service systems, and to suggest further research directions.

show abstract

Enabling Mobility between Context-Aware Smart Spaces

Cited by 5 publications

References 17 publications

The Calculus of Context-aware Ambients

The Calculus of Context-aware Ambients

Managing Dynamic Context to Optimize Smart Interactions and Services

Context Coupling Techniques for Context-aware Web Service Systems: An Overview

Contact Info

Product

Resources

About