Ingénierie de l`Interaction Homme – Machine - LIAS
Transcription
Ingénierie de l`Interaction Homme – Machine - LIAS
École Nationale Supérieure de Mécanique et d’Aérotechnique / Université de Poitiers Laboratoire d’Informatique Scientifique et Industrielle (www.lisi.ensma.fr) ENSMA - Téléport 2-1 Avenue Clément Ader - BP 40109 - 86961 FUTUROSCOPE CHASSENEUIL Cedex - France Ingénierie de l’Interaction Homme – Machine Vérification et Validation des Interfaces Homme – Machine Introduction K-MADe, Kernel of Model for Activity Description Environment L’interaction Homme Machine (IHM) prend une place de plus en plus importante dans le développement logiciel. Son caractère pluridisciplinaire, ainsi que la nécessaire prise en compte des facteurs humains imposent de développer des méthodes et des techniques spécifiques, dans toutes les étapes de la conception des applications. Au sein du LISI, les travaux en IHM portent sur l’ingénierie des IHM, dans le but de fournir méthodes et outils susceptibles d’aider au développement d’interfaces plus sûres, dans le respect de la dimension humaine. Les modèles de tâches, pour capturer au mieux les besoins utilisateurs Les modèles de tâches occupent une place de plus en plus importante dans le domaine de l’interaction homme machine. La généralisation des approches centrées-utilisateur a mis ces notations au centre du recueil de l’activité. Malheureusement, la sémantique de ces modèles s’avère trop souvent imprécise, ce qui en limite fortement l’utilisation. Les travaux menés au sein du LISI ont pour but de définir une sémantique précise, qui permettra de développer des méthodes de validation et de conception des applications interactives. Ils s’inscrivent dans la démarche d’Ingénierie Dirigée par les Modèles (IDM), qui permet d’envisager une coopération entre modèles. L’outil K-MADe vise à permettre l’édition et la modélisation de modèles de tâches développés suivant le formalisme K-MAD. Cet outil est co-développé par le LISI, dans le but de fournir des outils adaptés à la conception des applications interactives. L’outil K-MADe (disponible à l’adresse : http://kmade.sourceforge.net/) Modèles de dialogue Le développement des IHM se résume le plus souvent à un assemblage de composants graphiques dont le comportement collectif n’est pas toujours maîtrisé. La modélisation du dialogue permet de garantir des propriétés liées à la l’ergonomie des logiciels. Les méthodes développées au LISI permettent en plus de garantir une bonne modularité du développement, point essentiel dans le développement itératif des IHM Méthodes formelles appliquées aux IHM Les méthodes formelles ont connu un succès important dans le domaine des IHM dans les années 90. De nombreuses preuves de concepts ont été avancées, mais peu de travaux ont résisté à l’épreuve du passage à l’échelle. Le LISI a développé de nombreux travaux dans ce domaine, tant dans le domaine de la preuve de programmes (langage B) que dans celui de la modélisation des données (EXPRESS). Les travaux menés dans le cadre du projet VERBATIM ont permis d’établir des résultats probants dans le domaine de la multi-modalité Projet RNRT VERBATIM VERification Biformelle et Automatisation du Test d'Interfaces Multmodales H4 Contrôleur de Dialogue H2 : Hiérarchie des interacteurs de contrôle Adaptateur de Noyau Fonctionnel Adaptateur de Présentation H4 : Hiérarchie des agents de transformation de l’espace Projection Noyau Fonctionnel H3 : Hiérarchie des objets abstraits Présentation H1 : Hiérarchie des objets de présentation http://iihm.imag.fr/nigay/VERBATIM/ Modèles d’architecture Il n’est de bonne application sans architecture adaptée. Les spécificités liées au développement des applications interactives dans une philosophie centréeutilisateur conduisent à la nécessité de définir des architectures spécifiques pour ces applications. Le LISI a proposé un modèle destiné à mettre en œuvre des dialogues complexes, et à favoriser la vérification des applications. Les relations claires entre modules, associées à une description externe du dialogue, permettent de construire des outils de validation efficaces, et plus particulièrement le test d’IHM. Participants LISI Projet UNIT Composants pédagogiques en IHM Le LISI a participé au projet de définition de composants pédagogiques en IHM, mené en partenariat avec l’École des Mines de Nantes, les universités de Lille et de Rennes, dans le cadre de l’Université Numérique Ingénierie et Technologie. Le but d’UNIT est d’assurer une large diffusion sur Internet de ressources pédagogiques numériques capables de renforcer la qualité et la visibilité des formations offertes par les partenaires d'UNIT. Cinq composants pédagogiques ont ainsi été développés pour servir de ressource aux cours d’IHM. http://www.unit.eu/site_institutionnel • Yamine AÏT-AMEUR • Idir AÏT-SADOUNE – Doctorant – MESR • Mickaël BARON • Sybille CAFFIAU – Doctorant – MESR • Patrick GIRARD • Laurent GUITTET • Loé SANOU – Doctorant – AUF Collaborations • CLIPS Grenoble • École des Mines de Nantes • INRIA Rocquencourt • IRISA Rennes • LAMIH Valenciennes • USTL Lille