Formal Modelling of Output Multi-Modal HCI in Event-B: Modalities and Media Allocation
Résumé
Multi-modal Human-Computer Interfaces (HCI) allowinterface designers to combine interactive modalities inorder to increase interactive systems robustness and us-ability. In particular, output multi-modal interfaces al-low the system to return the information to the userby using several modalities and media. In order to de-sign such interfaces for critical systems, we proposeda generic formal model for the design of output multi-modal interfaces. The proposed model formally speci-fies an output multi-modal interface and enables prop-erties verification. It consists of two successive mod-els: the fission model that describes the semantic de-composition of information produced by the functionalcore into elementary information, and the allocationmodel that specifies the allocation of modality/mediapairs for each elementary information. In a previouswork (Mohand-Oussaid, Ait-Sadoune, and Ait-Ameur2011), we have proposed an Event-B implementation ofthe fission model. In this paper, we present an Event-Bformalization of the allocation model.
Origine | Fichiers produits par l'(les) auteur(s) |
---|