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

View/ Open
Date
2011Abstract
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.
Description
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
ISBN : 9781467300988
Research Group : Software Technology Research Laboratory (STRL)
Research Institute : Cyber Technology Institute (CTI)
Peer Reviewed : Yes