ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique
Autres revues >>

Revue Internationale d'Ingénierie Numérique

1778-8455
Conception collaborative et simulation
Parution suspendue
 

 ARTICLE VOL 1/2 - 2005  - pp.235-256
TITRE
Mise en oeuvre d'IHM multimodales dans un système de CAO. Une approche fondée sur les méthodes formelles

RÉSUMÉ
Nous montrons dans cet article l'intérêt de la modélisation formelle de l'interaction multimodale dans un système de CAO. Nous avons défini un modèle formel d'interaction permettant la conception de l'interaction multimodale en entrée selon le type d'interface souhaité. C'est un modèle inspiré des algèbres de processus dont la sémantique est donnée par les systèmes de transitions étiquetées. Nous présentons également l'expression de deux propriétés d'utilisabilité en logique temporelle CTL (Computational Tree Logic). Une mise en oeuvre de la modélisation de deux types d'IHM pour une application de CAO simple, ainsi que la vérification de ces propriétés, ont été effectués à l'aide du contrôleur sur modèle SMV (Symbolic Model Verifier). SMV est un outil qui permet la vérification de systèmes de transitions dont les spécifications sont exprimées en logique temporelle CTL.


ABSTRACT
This paper addresses the use of formal modelling of multimodal interaction within a CAD system. We define a formal model for the multimodal interaction mainly input multimodal interactions. This model allows the design of multimodal interaction according to the kind of the multimodal interface. It is inspired from process algebra model with transition systems as semantics. We present the expression of the usability properties by CTL (Computational Tree Logic) temporal logic formula. A modelisation of two kinds of multimodal interfaces for a toy CAD system is checked using the SMV (Symbolic Model Verifier) model-checker. SMV is a tool allowing to check finite state transition systems against specification in the temporal logic CTL.


AUTEUR(S)
Nadjet KAMEL, Yamine AIT AMEUR

MOTS-CLÉS
interaction multimodale, méthodes formelles, utilisabilité d'un système de cao.

KEYWORDS
multimodal interaction, formal methods, usability of a cad system.

LANGUE DE L'ARTICLE
Français

 PRIX
• Abonné (hors accès direct) : 34.95 €
• Non abonné : 34.95 €
|
|
--> Tous les articles sont dans un format PDF protégé par tatouage 
   
ACCÉDER A L'ARTICLE COMPLET  (262 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
made by WAW Lavoisier