Formal specification of an intelligent message notification service in an infostation-based mLearning System using CCA.

De Montfort University Open Research Archive

Show simple item record

dc.contributor.author Al-Sammarraie, Mohammed
dc.contributor.author Siewe, Francois
dc.contributor.author Zedan, Hussein
dc.date.accessioned 2012-01-04T12:12:36Z
dc.date.available 2012-01-04T12:12:36Z
dc.date.issued 2011
dc.identifier.citation Al-Sammarraie, M., Siewe, F. and Zedan, H. (2011) Formal specification of an intelligent message notification service in an infostation-based mLearning System using CCA. International Conference and Workshop on Current Trends in Information Technology (CTIT), pp. 64-71 en
dc.identifier.isbn 9781467300988
dc.identifier.uri http://hdl.handle.net/2086/5482
dc.description.abstract The Calculus of Context-aware Ambients (CCA in short) has been proposed as a notation that is suitable to model mobile applications that are context-aware. This paper considers a real-world case study of an infostation-based mLearning system in which mobile devices such as hand-set phones, PDA’s and laptops can access a number of services and communicate to each other within a university campus. Such a dynamic system must enforce complex policies to cope with mobility and context-awareness. We show how policies can be formalised using CCA, and validated using the execution environment of CCA. We illustrate how properties can be validated using our approach. en
dc.language.iso en en
dc.publisher IEEE en
dc.subject Context-awareness en
dc.subject mLearning en
dc.subject infostation en
dc.subject ambient en
dc.subject IMN en
dc.subject CCA en
dc.title Formal specification of an intelligent message notification service in an infostation-based mLearning System using CCA. en
dc.type Conference en
dc.identifier.doi http://dx.doi.org/10.1109/CTIT.2011.6107936
dc.researchgroup Software Technology Research Laboratory (STRL) en
dc.peerreviewed Yes en


Files in this item

This item appears in the following Collection(s)

Show simple item record