OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Formal Modelling of Output Multi-Modal HCI in Event-B: Modalities and Media Allocation

Mohand Oussaid, Linda and Ait Sadoune, Idir and Aït-Ameur, Yamine and Ahmed-Nacer, Mohamed Formal Modelling of Output Multi-Modal HCI in Event-B: Modalities and Media Allocation. (2014) In: AAAI Spring Symposium (AAAI 2014), 24 March 2014 - 26 March 2014 (Palo Alto, CA, United States).

(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader


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.

Item Type:Conference or Workshop Item (Paper)
Additional Information:AAAI: Association for the Advancement of Artificial Intelligence The original PDF is available at: https://www.aaai.org/ocs/index.php/SSS/SSS14/paper/viewFile/7737/7756
HAL Id:hal-04103290
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:Other partners > Centre de Recherche sur l'Information Scientifique et Technique - CERIST (ALGERIA)
French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Other partners > ISAE-ENSMA Ecole Nationale Supérieure de Mécanique et d'Aérotechnique (FRANCE)
Université de Toulouse > Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
Other partners > Ecole Supérieure d'Electricité - SUPELEC (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UT3 (FRANCE)
Other partners > Université des Sciences et de la Technologie Houari Boumediene - USTHB (ALGERIA)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Other partners > Université de Poitiers (FRANCE)
Laboratory name:
Deposited On:17 Jan 2020 08:29

Repository Staff Only: item control page