Derivation of a Dialog Model from a Task Model by Activity Chain Extraction

Over the last few years, Model-Based User Interface Design has become an important tool for creating multi-device User Interfaces. By providing information about several aspects of the User Interface, such as the task for which it is being built, different User Interfaces can be generated for fulfilling the same needs although they have a different concrete appearance. In the process of making User Interfaces with a Model-Based Design approach, several models can be used: a task model, a dialog model, a user model, a data model,etc. Intuitively, using more models provides more (detailed) information and will create more appropriate User Interfaces. Nevertheless, the designer must take care to keep the different models consistent with respect to each other. This paper presents an algorithm to extract the dialog model (partially) from the task model. A task model and dialog model are closely related because the dialog model defines a sequence of user interactions, an activity chain, to reach the goal postulated in the task specification. We formalise the activity chain as a State Transition Network, and in addition this chain can be partially extracted out of the task specification. The designer benefits of this approach since the task and dialog model are consistent. This approach is useful in automatic User Interface generation where several different dialogs are involved: the transitions between dialogs can be handled smoothly without explicitely implementing them.

[1]  Gilbert Cockton,et al.  Interaction ergonomics, control and separation: open problems in user interface management , 1987 .

[2]  Edwin D. Reilly,et al.  Interactive system , 2003 .

[3]  Fabio Paternò.  Model-Based Design and Evaluation of Interactive Applications , 2000 .

[4]  Kris Luyten,et al.  Migratable User Interface Descriptions in Component-Based Development , 2002, DSV-IS.

[5]  Gregory D. Abowd,et al.  Human-Computer Interaction. Second Edition. , 1998 .

[6]  Egbert Schlungbaum,et al.  Dialogue graphs: a formal and visual specification technique for dialogue modelling , 1996 .

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

[8]  Edmund M. Clarke,et al.  Model Checking , 1999, Handbook of Automated Reasoning.

[9]  Fabio Paternò,et al.  One Model, Many Interfaces , 2002, CADUI.

[10]  David L. Parnas,et al.  On the use of transition diagrams in the design of a user interface for an interactive computer system , 1969, ACM '69.

[11]  Mark Green,et al.  A survey of three dialogue models , 1986, TOGS.

[12]  Jørgen Staunstrup.  Design Specification and Verification , 1997 .

[13]  Gregory D. Abowd,et al.  Human-computer interaction (2nd ed.) , 1998 .

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

[15]  Anthony I. Wasserman,et al.  Extending State Transition Diagrams for the Specification of Human–Computer Interaction , 1985, IEEE Transactions on Software Engineering.

[16]  Eugene Miya,et al.  On "Software engineering" , 1985, SOEN.

[17]  Jürgen Ziegler,et al.  Generating user interfaces from data models and dialogue net specifications , 1993, INTERCHI.

[18]  Jan Van den Bergh,et al.  Dygimes: Dynamically Generating Interfaces for Mobile Computing Devices and Embedded Systems , 2003, Mobile HCI.

[19]  Philippe A. Palanque,et al.  A Visual and Formal Glue between Application and Interaction , 1999, J. Vis. Lang. Comput..

[20]  Jean Vanderdonckt,et al.  Encapsulating knowledge for intelligent automatic interaction objects selection , 1993, INTERCHI.

[21]  W. Buxton.  Human-Computer Interaction , 1988, Springer Berlin Heidelberg.

[22]  Jean Vanderdonckt,et al.  Window Transitions: A Graphical Notation for Specifying Mid-level Dialogue , 2002, TAMODIA.