A generic formal model for fission of modalities in output multi–modal interactive systems

Output multi-modal human-machine interfaces combine semantically output medias and modalities in order to increase interaction machine capabilities. The aim of this paper is to present a formal model supporting formal specifications of output multi-modal interactive systems. As a consequence, the expected usability and robustness properties can be expressed and checked. This paper proposes a generic model which permits to specify the output multimodal interfaces following the CASE design space.

Content

Author and article information

Contributors

Linda Mohand Oussaïd

Yamine Aït Ameur

Mohamed Ahmed Nacer

Conference

Publication date: July 2009

Publication date (Print): July 2009

Pages: 1-12

Affiliations

[0001]Centre de Recherche sur l’Information Scientifique et Technique

LSI/Université des Sciences Technologiques Houari Boumediene

Algiers, Algeria

www.cerist.dz

[0002]Laboratoire d’Informatique Scientifique et Industrielle /

Ecole Nationale Supérieure de Mécanique et d’Aérotechnique

Téléport 2- 1 Avenue Clément Ader BP 40109 86961 Futuroscope Chasseneuil cedex

http://www.lisi.ensma.fr/

[0003]Laboratoire des Systèmes Informatiques

Université des Sciences Technologiques Houari Boumediene

Algiers, Algeria

http://www.lsi.usthb.dz/

Article

DOI: 10.14236/ewic/VECOS2009.12

SO-VID: 32372c45-23e3-4ef9-91e4-c803b2fcd18f

Copyright statement: © Linda Mohand Oussaïd et al. Published by BCS Learning and Development Ltd. Third International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2009), Rabat, Morroco

License:

This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

Conference name: Third International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2009)

Conference acronym: VECOS

Conference number: 3

Conference location: Rabat, Morroco

Conference date: 2-3 July 2009

Conference sponsor: Electronic Workshops in Computing (eWiC)

Conference theme: Verification and Evaluation of Computer and Communication Systems (VECoS 2009)

Product

Product Information: 1477-9358BCS Learning & Development

Self URI (article page): https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/VECOS2009.12

Self URI (journal page): https://ewic.bcs.org/

A generic formal model for fission of modalities in output multi–modal interactive systems

Abstract