A Model-Based Approach for Engineering Multimodal Interactive Systems

Abstract: Representing the behaviour of multimodal interactive systems in a complete, concise and nonambiguous way is still a challenge for formal description techniques. Indeed, multimodal interactive systems embed specific constraints that are either cumbersome or impossible to capture with classical formal description techniques. This is due to both the multiple facets of a multimodal system and the strong temporal constraints usually encountered in this kind of systems. This paper presents a formal description technique dedicated to the engineering of interactive multimodal systems. Its aim is to provide a precise way for describing, analyzing and reasoning about multi-modal interactive systems prior to their implementation. One of the basic components for multi-modal systems is the fusion mechanisms. This paper focuses on this component and, in order to exemplify the approach, the formal description technique is used for the modelling and the analysis of one fusion mechanism. Last...

• Type: Conference
• Year: 2003
• Where: INTERACT
• Authors: Philippe A. Palanque, Amélie Schyn
• Keywords: Formal Description Technique, INTERACT 2003, INTERACT 2007, Interactive Multimodal Systems, Multimodal Interactive Systems