Vérification de cohérence entre modèles de tâches et de dialogue en conception centrée-utilisateur

Model-based approach usage is increasing in interactive application design. Models are used to express the viewpoints of every design participant (particularly the user). This paper presents an approach for checking consistency between task models and dialog models during iterative application design. At the end, an example of the proposed approach is presented. It is based on the K-MAD task model, the IH dialog model (hierarchical interactors) and the use of Praxis (on witch rules are expressed).

[1]  Rémi Bastide.  PetShop: a tool for the formal specification of CORBA systems , 2000, OOPSLA '00.

[2]  Pedro A. Szekely.  Retrospective and Challenges for Model-Based Interface Development , 1996, DSV-IS.

[3]  Dan R. Olsen,et al.  User Interface Management Systems: Models and Algorithms , 1991 .

[4]  Philippe A. Palanque,et al.  A Tool Suite for Integrating Task and System Models through Scenarios , 2001, DSV-IS.

[5]  Jean Vanderdonckt,et al.  Comparing Task Models for User Interface Design , 2003 .

[6]  Christophe Kolski,et al.  Principes et architecture pour la personnalisation d'information en interaction homme-machine, application à l'information transport , 2005, IHM '05.

[7]  Dominique L. Scapin,et al.  K-MADe: un environnement pour le noyau du modèle de description de l'activité , 2006, IHM '06.

[8]  Dominique L. Scapin,et al.  Generating Interactive Applications from Task Models: A Hard Challenge , 2007, TAMODIA.

[9]  Dominique L. Scapin,et al.  Hierarchical Structure: A Step for Jointly Designing Interactive Software Dialog and Task Model , 2009, HCI.

[10]  Tom Mens,et al.  Incremental Detection of Model Inconsistencies Based on Model Operations , 2009, CAiSE.

[11]  Marisa E. Campbell,et al.  Conference preview: HCI 2000: usability or else! , 2000, INTR.

[12]  Jean Vanderdonckt,et al.  Towards Uniformed Task Models in a Model-Based Approach , 2001, DSV-IS.

[13]  Tom Mens,et al.  Detecting model inconsistency through operation-based model construction , 2008, 2008 ACM/IEEE 30th International Conference on Software Engineering.

[14]  Renaud Blanch,et al.  Architecture logicielle et outils pour les interfaces hommes-machines graphiques avancées. (Software architecture and tools for advanced computer-human graphic interaction) , 2005 .

[15]  Vincent Lucquiaud.  Sémantique et outil pour la modélisation des tâches utilisateur : n-mda , 2005 .

[16]  Jean Vanderdonckt,et al.  A Unifying Reference Framework for multi-target user interfaces , 2003, Interact. Comput..

[17]  Jacob Eisenstein,et al.  XIML: a common representation for interaction data , 2002, IUI '02.

[18]  Fabio Paternò,et al.  Design and development of multidevice user interfaces through multiple logical descriptions , 2004, IEEE Transactions on Software Engineering.

[19]  Robert Balzer,et al.  Tolerating Inconsistency , 1991, [1989] Proceedings of the 5th International Software Process Workshop.

[20]  Robert A. Kowalski,et al.  Predicate Logic as Programming Language , 1974, IFIP Congress.

[21]  Hartmut Ehrig,et al.  Fundamental Theory for Typed Attributed Graph Transformation , 2004, ICGT.

[22]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[23]  Fabio Paternò,et al.  Tool support for designing nomadic applications , 2003, IUI '03.

[24]  Sybille Caffiau.  Approche dirigée par les modèles pour la conception et la validation des applications interactives : une démarche basée sur la modélisation des tâches. (Model-Driven approach for design and checking of interactive applications : an approach based on task model) , 2009 .

[25]  Mickaël Baron,et al.  Increasing the expressive power of task analysis: Systematic comparison and empirical assessment of tool-supported task models , 2010, Interact. Comput..

[26]  Marie-Pierre Gervais,et al.  D-Praxis : A Peer-to-Peer Collaborative Model Editing Framework , 2009, DAIS.