Show simple item record

dc.contributor.authorSiewe, Francois
dc.contributor.authorZedan, Hussein
dc.contributor.authorCau, A. (Antonio)
dc.date.accessioned2010-04-16T08:52:04Z
dc.date.available2010-04-16T08:52:04Z
dc.date.issued2010-02-25
dc.identifier.citationSiewe, F., Zedan, H. and Cau, A. (2010) The Calculus of context-aware ambients. Journal of Computer and System Sciences, 77 (4), pp. 597-620en
dc.identifier.urihttp://hdl.handle.net/2086/3720
dc.description.abstractWe 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.isoenen
dc.publisherElsevieren
dc.subjectcontext-awarenessen
dc.subjectprocess calculusen
dc.subjectmobilityen
dc.subjectambienten
dc.subjectpervasiveen
dc.subjectubiquitous computing systemsen
dc.titleThe Calculus of context-aware ambients.en
dc.typeArticleen
dc.identifier.doihttp://dx.doi.org/10.1016/j.jcss.2010.02.003
dc.researchgroupSoftware Technology Research Laboratory (STRL)en
dc.peerreviewedYesen
dc.ref2014.selected1367395509_9510680035447_11_1
dc.researchinstituteCyber Technology Institute (CTI)en


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record