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

Abstract

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.

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

Centre de Recherche sur l’Information Scientifique et Technique

LSI/Université des Sciences Technologiques Houari Boumediene

Algiers, Algeria

www.cerist.dz

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/

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

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/

Categories

Series title: Electronic Workshops in Computing