Formal Modelling of Output Multi-Modal HCI in Event-B: Modalities and Media Allocation - CentraleSupélec Access content directly
Conference Papers Year : 2014

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

Abstract

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.
Fichier principal
Vignette du fichier
mohandoussaid_24901.pdf (204 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-04103290 , version 1 (23-05-2023)

Identifiers

  • HAL Id : hal-04103290 , version 1
  • OATAO : 24901

Cite

Linda Mohand Oussaid, Yamine Aït-Ameur, Idir Ait Sadoune, Mohamed Ahmed-Nacer. Formal Modelling of Output Multi-Modal HCI in Event-B: Modalities and Media Allocation. AAAI Spring Symposium (AAAI 2014), Association for the Advancement of Artificial Intelligence; Stanford University Computer Science Department, Mar 2014, Palo Alto, United States. pp.38-43. ⟨hal-04103290⟩
117 View
5 Download

Share

Gmail Facebook X LinkedIn More