• Login
    View Item 
    •   DORA Home
    • Faculty of Computing, Engineering and Media
    • School of Computer Science and Informatics
    • View Item
    •   DORA Home
    • Faculty of Computing, Engineering and Media
    • School of Computer Science and Informatics
    • View Item
    JavaScript is disabled for your browser. Some features of this site may not work without it.

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

    Thumbnail
    View/Open
    Sammarraie_siewe_2011.pdf (547.4Kb)
    Date
    2011
    Author
    Al-Sammarraie, Mohammed;
    Siewe, Francois;
    Zedan, Hussein
    Metadata
    Show attachments and full item record
    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
    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
    URI
    http://hdl.handle.net/2086/5482
    DOI
    http://dx.doi.org/10.1109/CTIT.2011.6107936
    ISBN : 9781467300988
    Research Group : Software Technology Research Laboratory (STRL)
    Research Institute : Cyber Technology Institute (CTI)
    Peer Reviewed : Yes
    Collections
    • School of Computer Science and Informatics [2679]

    Submission Guide | Reporting Guide | Reporting Tool | DMU Open Access Libguide | Take Down Policy | Connect with DORA
    DMU LIbrary
     

     

    Browse

    All of DORACommunities & CollectionsAuthorsTitlesSubjects/KeywordsResearch InstituteBy Publication DateBy Submission DateThis CollectionAuthorsTitlesSubjects/KeywordsResearch InstituteBy Publication DateBy Submission Date

    My Account

    Login

    Submission Guide | Reporting Guide | Reporting Tool | DMU Open Access Libguide | Take Down Policy | Connect with DORA
    DMU LIbrary