Modelling information fission in output multi-modal interactive systems using Event B - CentraleSupélec Access content directly
Conference Papers Year : 2011

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.

Dates and versions

hal-00629308 , version 1 (05-10-2011)

Identifiers

Cite

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, ⟨10.1007/978-3-642-24443-8_22⟩. ⟨hal-00629308⟩
92 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More