Modelling information fission in output multi-modal interactive systems using event-b

Authors:
Linda Mohand-Oussaïd;Idir Aït-Sadoune;Yamine Aït-Ameur
Affiliations:
Laboratory of Applied Computer Science, ENSMA and University of Poitiers, France;Laboratory of Applied Computer Science, ENSMA and University of Poitiers, France;Laboratory of Applied Computer Science, ENSMA and University of Poitiers, France
Venue:
MEDI'11 Proceedings of the First international conference on Model and data engineering
Year:
2011

Citing 6
Cited 0

A Discipline of Programming

A Discipline of Programming
Encoding a process algebra using the Event B method: Application to the validation of human–computer interactions

International Journal on Software Tools for Technology Transfer (STTT)
A standard reference model for intelligent multimedia presentation systems

Computer Standards & Interfaces
Modeling in Event-B: System and Software Engineering

Modeling in Event-B: System and Software Engineering
A formal description of multimodal interaction techniques for immersive virtual reality applications

INTERACT'05 Proceedings of the 2005 IFIP TC13 international conference on Human-Computer Interaction
A generic formal model for fission of modalities in output multi-modal interactive systems

VECoS'09 Proceedings of the Third international conference on Verification and Evaluation of Computer and Communication Systems

Quantified Score

Hi-index	0.00

Visualization

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 multimodal 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 submodel.