Formal Specification of a Context-aware Whiteboard System in CCA

Date

2018-03

Advisors

Journal Title

Journal ISSN

ISSN

DOI

Volume Title

Publisher

Type

Conference

Peer reviewed

Yes

Abstract

A context-aware whiteboard system provides a number of services in a smart classroom including registering students as they enter the classroom; logging students and lecturers in to the blackboard virtual learning environment at the beginning of each lecture and logging them out at the end of the lecture. This system also notifies students of their absence to a lecture and maintains a list of attendance automatically. Using information from the timetable, it is aware of the lectures that are scheduled to take place in the classroom and the students that are allowed to attend these lectures. Finally, it allows students and lecturers to interact with teaching materials such as lecture slides and videos stored in the blackboard virtual learning environment. This paper proposes a formal specification of the white board system in the Calculus of Context-aware Ambients (CCA in short). This enables the formal analysis of the white board system using the execution environment of CCA. Some important properties of a classroom white board system have been validated as a proof of concept.

Description

Keywords

Calculus of Context-aware Ambients, pervasive system, CCA, formal specification, context-aware whiteboard

Citation

Atbaiga, N. and Siewe, F. (2018) Formal Specification of a Context-aware Whiteboard System in CCA. Libyan International Conference on Electrical Engineering and Technology, Tripoli, March 2018.

Rights

Research Institute

Cyber Technology Institute (CTI)