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

Mohammed Al-Sammarraie, Francois Siewe, Hussein Zedan
2011 The 2011 International Conference and Workshop on Current Trends in Information Technology (CTIT 11)  
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
more » ... how 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.
doi:10.1109/ctit.2011.6107936 fatcat:gcec2d2iebathlseli6xfdwqyi