ABSTRACT
The Calculus of Context-aware Ambients (CCA in short) has been proposed as a suitable notation for modelling mobile applications that are context-aware. This paper considers a real-world case study of an infostation-based mLearning system which enables mobile devices such as cellular phones, laptops and personal digital assistants to communicate to each other and to access a number of mlearning services within a university campus. Such a dynamic system must enforce complex policies to cope with mobility and context-awareness. We show how these policies can be formalised and verified using CCA. In particular an important liveness property of the mLearning system is proved using the reduction semantics of CCA.
- }}W3C Web Ontology Working Group: The Web Ontology Language: OWL. http://www.w3.org/2001/sw/WebOnt/.Google Scholar
- }}L. Birkedal, S. Debois, E. Elsborg, T. Hildebr, and H. Niss. Bigraphical models of context-aware systems. In IT University of Copenhagen, pages 187--201. Springer-Verlag, 2006. Google ScholarDigital Library
- }}L. Cardelli and A. Gordon. Mobile ambients. Theoretical Computer science, 240:177--213, 2000. Google ScholarDigital Library
- }}R. H. Frenkiel and T. Imielinski. Infostations: The joy of 'many-time, many-where' communications. Technical report, WINLAB, 1996.Google Scholar
- }}I. Ganchev, S. Stojanov, M. O'Droma, and D. Meere. An infostation-based multi-agent system supporting intelligent mobile services across a university campus. Journal of Computers, 2(3), 2007.Google ScholarCross Ref
- }}C. Hoare. Communicating Sequential Processes. Prentice Hall International, 1985. Google ScholarDigital Library
- }}M. B. KjÃęrgaard and J. Bunde-Pedersen. Towards a formal model of context awareness. In 1st International Workshop on Combining Theory and Systems Building in Pervasive Computing, CTSB 2006, 2006.Google Scholar
- }}R. Milner. A Calculus of Communicating Systems. Springer Verlag, 1980. Google ScholarDigital Library
- }}R. Milner. Communication and Mobile Systems: The π-Calculus. Cambridge University Press, 1999. Google ScholarDigital Library
- }}R. Milner. Pure Bigraphs: structure and dynamics. Information and Computation, 204:60--122, 2006. Google ScholarDigital Library
- }}D. Sangiorgi and D. Walker. The π-calculus: A Theory of Mobile Processes. Cambridge University Press, 2001. Google ScholarDigital Library
- }}A. Shehzad, H. Q. Ngo, K. A. Pham, and S. Y. Lee. Formal modeling in context aware systems. In 1st International Workshop on Modeling and Retrieval of Context (MRC 2004), Ulm, Germany, 2004.Google Scholar
- }}F. Siewe, H. Zedan, and A. Cau. The Calculus of Context-aware Ambients. Journal of Computer and System Science, doi:10.1016/j.jcss.2010.02.003, 2010. Google ScholarDigital Library
Index Terms
- Formalising policies of a mLearning system using CCA
Recommendations
CCA: A Calculus of Context-Aware Ambients
WAINA '09: Proceedings of the 2009 International Conference on Advanced Information Networking and Applications WorkshopsWe present a process calculus, CCA, for the modelling and verification of mobile systems that are context-aware. This process calculus is built upon the calculus of mobile ambients and introduces new constructs to enable ambients and processes to be ...
The Calculus of Context-aware Ambients
We present the Calculus of Context-aware Ambients (CCA in short) for the modelling and verification of mobile systems that are context-aware. This process calculus is built upon the calculus of mobile ambients and introduces new constructs to enable ...
Pervasive InfoStation-Based mLearning System
ICSNC '10: Proceedings of the 2010 Fifth International Conference on Systems and Networks CommunicationsAn agent-oriented pervasive system supporting a context-aware and personalized mLearning services provision within an InfoStation-based University network is presented. The InfoStation’s middleware architecture facilitating the users’ mobile (WiFi) ...
Comments