Skip to Main content Skip to Navigation
Conference papers

Modelling information fission in output multi-modal interactive systems using Event B

Abstract : Output multi-modal human-machine interfaces combine semantically output medias and modalities to increase interaction machine capabilities. In order to provide a rigorous development approach for these interfaces, we have proposed a generic formal model that formally describes the output multi-modal interface construction starting from the information generated by the functional core. This formal model is composed of two sub-models: the first one dedicated to the semantic fission of information and the second one relative to the allocation of modalities and medias for information. This paper presents an Event-B implementation of the semantic fission sub-model.
Document type :
Conference papers
Complete list of metadatas

https://hal-supelec.archives-ouvertes.fr/hal-00629308
Contributor : Evelyne Faivre <>
Submitted on : Wednesday, October 5, 2011 - 3:31:43 PM
Last modification on : Tuesday, September 8, 2020 - 9:44:02 AM

Identifiers

  • HAL Id : hal-00629308, version 1

Citation

Linda Mohand-Oussaïd, Idir Aït-Sadoune, Yamine Aït-Ameur. Modelling information fission in output multi-modal interactive systems using Event B. 1st International Conference on Model & Data Engineering (MEDI 2011), Sep 2011, OBIDOS, Portugal. pp.200-213. ⟨hal-00629308⟩

Share

Metrics

Record views

322