A generic formal specification of fusion of modalities in a multimodal HCI

IFIP Advances in Information and Communication Technology

Volumn 156, Issue , 2004, Pages 415-420

  Ait Ameur, Yamine ^a   Kamel, Nadjet ^a,b  

^a UNIVERSITÉ DE POITIERS   (France)

^b UNIVERSITY OF SCIENCES AND TECHNOLOGY HOUARI BOUMEDIENE   (Algeria)

Author keywords

Formal methods; Multi modal interaction; Transition systems

Indexed keywords

FORMAL METHODS;

FORMAL DESCRIPTION; FORMAL SPECIFICATION; INTERACTIVE SYSTEM; MULTI-MODAL; MULTI-MODAL INTERACTIONS; TRANSITION SYSTEM;

INFORMATION TECHNOLOGY;

EID: 84902468770     PISSN: 18684238     EISSN: None     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (11)

1. Bellik, Y. (1995). Interfaces Multimodales: concepts, modèles et architecture. PhD thesis, LIMSI- Université d'Orsay.
2. Coutaz, J., Nigay, L., Salber, D., Blandford, A., May, J., and Young, R. (1995). Four easy pieces for assessing the usability of multimodal interaction: the CARE properties. In Proceedings of Human Computer Interaction - Interact'95, pages 115-120. Chapman and Hall.
3. Duke, D. and Harrison, M. D. (1993). Abstract Interaction Objects. In Proceedings of Eurographics conference and computer graphics forum, volume 12, pages 25-36.
4. Duke, D. and Harrison, M. D. (1995). Event Model of Human-System Interaction. IEEE Software Engineering Journal, 10(1):3-10.
5. MacColl E and Carrington, D. (1998). Testing MATIS: a case study on specification based testing of interactive systems. FAHCI ISBN 0-86339-7948.
6. Nigay, L. and Coutaz, J. (1993). A design space for multi-modal interfaces: concurrent processing and data fusion. In Proceedings of INTERCHI-93 - INTERCHI-93, pages 172-178. ACM Press.
7. Nigay, L. and Coutaz, J. (1995). A Generic Platform for Addressing the Multimodal Challenge. In Proceedings of CHI-95 - CHI-95, pages 98-105. ACM Press.
8. Palanque, P., Bastide, R., and Sengès, V. (1995). Validating interactive system design through the verification of formal task and system models. In Bass, L. J. and Unger, C., editors, IFIP TC2/WG2.7 Working Conference on Engineering for Human-Computer Interaction (EHCI'95), pages 189-212, Grand Targhee Resort (Yellowstone Park), USA. Chapman & Hall.
9. Palanque, P. and Schyn, A. (2003). A Model-based for Engineering Multimodal Interactive Systems. In 9th IFIP TC13 International Conference on Human Computer Interaction (Interact'2003).
10. Paterno, F. and Mezzanotte, M. (1994). Analysing MATIS by Interactors and ACTL. Technical report, Amodeus Esprit Basic Research Project 7040, System Modelling/WP36.
11. Plotkin, G. (1981). A Structural Approach to Operational Semantics. Technical report, Department of of computer Science, University of Arhus DAIMI FN 19.