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

Date

2011-10-27

Advisors

Journal Title

Journal ISSN

ISSN

DOI

Volume Title

Publisher

Proceedings of CCIT'11, IEEE Press

Type

Conference

Peer reviewed

Yes

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.

Description

Keywords

IMN, Context-awareness, CCA, ambient, infostation, mLearning

Citation

Al-Sammarraie, M., Siewe, F. and Zedan, H. (2011). Formal Specification of an Intelligent Message Notification Service in Infostation-based mLearning System using CCA. In Proceedings of CCIT'11, Dubai, UAE.

Rights

Research Institute