The Calculus of Context-aware Ambients

Authors:
François Siewe;Hussein Zedan;Antonio Cau
Affiliations:
Software Technology Research Laboratory, De Montfort University, The Gateway, Leicester, LE1 9BH, United Kingdom;Software Technology Research Laboratory, De Montfort University, The Gateway, Leicester, LE1 9BH, United Kingdom;Software Technology Research Laboratory, De Montfort University, The Gateway, Leicester, LE1 9BH, United Kingdom
Venue:
Journal of Computer and System Sciences
Year:
2011

Citing 19
Cited 3

Some computer science issues in ubiquitous computing

Communications of the ACM - Special issue on computer augmented environments: back to the real world
Communicating and mobile systems: the &pgr;-calculus

Communicating and mobile systems: the &pgr;-calculus
Mobile ambients

Theoretical Computer Science
PI-Calculus: A Theory of Mobile Processes

PI-Calculus: A Theory of Mobile Processes
Access control for mobile agents: The calculus of boxed ambients

ACM Transactions on Programming Languages and Systems (TOPLAS)
Applications of context-aware computing in hospital work: examples and design principles

Proceedings of the 2004 ACM symposium on Applied computing
Ontology Based Context Modeling and Reasoning using OWL

PERCOMW '04 Proceedings of the Second IEEE Annual Conference on Pervasive Computing and Communications Workshops
An ontology for context-aware pervasive computing environments

The Knowledge Engineering Review
Automatic Control of Workflow Processes Using ECA Rules

IEEE Transactions on Knowledge and Data Engineering
Modeling adaptive behaviors in Context UNITY

Theoretical Computer Science
Secure Data Flow in a Calculus for Context Awareness

Concurrency, Graphs and Models
Stochastic Bigraphs

Electronic Notes in Theoretical Computer Science (ENTCS)
Situation-Aware Adaptive Recommendation to Assist Mobile Users in a Campus Environment

AINA '09 Proceedings of the 2009 International Conference on Advanced Information Networking and Applications
Enabling Mobility between Context-Aware Smart Spaces

WAINA '09 Proceedings of the 2009 International Conference on Advanced Information Networking and Applications Workshops
Pure bigraphs: Structure and dynamics

Information and Computation
Semantic context reasoning using ontology based models

EUNICE'07 Proceedings of the 13th open European summer school and IFIP TC6.6 conference on Dependable and adaptable networks and services
Exploiting E-C-A rules for defining and processing context-aware push messages

RuleML'07 Proceedings of the 2007 international conference on Advances in rule interchange and applications
Bigraphical models of context-aware systems

FOSSACS'06 Proceedings of the 9th European joint conference on Foundations of Software Science and Computation Structures
Algebraic semantics of design abstractions for context-awareness

WADT'04 Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques

Formalising policies of a mLearning system using CCA

Proceedings of the 4th ACM International Workshop on Context-Awareness for Self-Managing Systems
Foreword: Special issue foreword: Advances in pervasive computing systems and applications

Journal of Computer and System Sciences
Spatial relevancy algorithm for context-aware systems SRACS in urban traffic networks using dynamic range neighbor query and directed interval algebra

Journal of Ambient Intelligence and Smart Environments

Quantified Score

Hi-index	0.00

Visualization

Abstract

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 @p-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.