The Calculus of context-aware ambients.

De Montfort University Open Research Archive

Show simple item record

dc.contributor.author Siewe, Francois
dc.contributor.author Zedan, Hussein
dc.contributor.author Cau, A. (Antonio)
dc.date.accessioned 2010-04-16T08:52:04Z
dc.date.available 2010-04-16T08:52:04Z
dc.date.issued 2010-02-25
dc.identifier.citation Siewe, F., Zedan, H. and Cau, A. (2010) The Calculus of context-aware ambients. Journal of Computer and System Sciences, 77 (4), pp. 597-620 en
dc.identifier.uri http://hdl.handle.net/2086/3720
dc.description.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. en
dc.language.iso en en
dc.publisher Elsevier en
dc.subject context-awareness en
dc.subject process calculus en
dc.subject mobility en
dc.subject ambient en
dc.subject pervasive en
dc.subject ubiquitous computing systems en
dc.title The Calculus of context-aware ambients. en
dc.type Article en
dc.identifier.doi http://dx.doi.org/10.1016/j.jcss.2010.02.003
dc.researchgroup Software Technology Research Laboratory (STRL) en
dc.peerreviewed Yes en
dc.ref2014.selected 1367395509_9510680035447_11_1


Files in this item

Files Size Format View

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record