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 |