Referenced Items are not available for this document.
We present a process calculus, CCA, 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 mobility and context-awareness are first-class citizens. We present the syntax and a formal semantics of the calculus. We show that CCA can encode the pi-calculus, and illustrate the pragmatics of the calculus through a case study of a context-aware hospital bed.
Published in:
Advanced Information Networking and Applications Workshops, 2009. WAINA '09. International Conference on
Date of Conference: 26-29 May 2009
- Page(s):
- 972 - 977
- E-ISBN :
- 978-0-7695-3639-2
- Print ISBN:
- 978-1-4244-3999-7
- INSPEC Accession Number:
- 10733748
- Conference Location :
- Bradford
- Digital Object Identifier :
- 10.1109/WAINA.2009.23
- Product Type:
- Conference Publications
About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies
A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2013 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.
