The Calculus of Context-aware Ambients |
| |
| Authors: | François Siewe Hussein Zedan Antonio Cau |
| |
| Affiliation: | Software Technology Research Laboratory, De Montfort University, The Gateway, Leicester, LE1 9BH, United Kingdom;Departament de Llenguatges i Sistemes Informàtics Universitat Politècnica de Catalunya Campus Nord, Ed. Omega C/Jordi Girona 1-3 08034 Barcelona, SPAIN Tel: +34 66-522-8094 Email: fatos.xhafa@gmail.com;Department of Information and Communication Engineering Faculty of Information Engineering Fukuoka Institute of Technology (FIT), Japan 3-30-1 Wajiro-higashi, Higashi-ku, Fukuoka 811-0295 Tel: +81-92-606-4970 Fax: +81-92-606-0758 E-mail: barolli@fit.ac.jp |
| |
| 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 π-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. |
| |
| Keywords: | |
| 本文献已被 ScienceDirect 等数据库收录！ |
|
