Higher-Order Task Models

Based on a revision of the common task understanding in model-based approaches a formal meta-model is proposed which allows more expressive task descriptions. A task is considered as a meta-action which produces models about situations, goals and actions by applying domain knowledge. The approach unifies procedural and state knowledge. As a consequence, higher-order actions are possible. The suggested approach is an answer to the need for more dynamic task models. It supports specifications of context sensitive and cooperative tasks.

[1]  Anke Dittmar,et al.  Software development and open user communities , 2001, HCI.

[2]  S. Griffis.  EDITOR , 1997, Journal of Navigation.

[3]  Fabio Paternò,et al.  Formal Models for Cooperative Tasks: Concepts and an Application for En-Route Air-Traffic Control , 1998, DSV-IS.

[4]  Fabio Paternò,et al.  Computer-Aided Analysis of Cooperative Applications , 1999, CADUI.

[5]  K. Kuutti.  Activity theory as a potential framework for human-computer interaction research , 1995 .

[6]  Alan J. Dix,et al.  Managing the Ecology of Interaction , 2002, TAMODIA.

[7]  V. Kaptelinin.  Activity theory: implications for human-computer interaction , 1995 .

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

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

[10]  Jean Vanderdonckt,et al.  Task Modelling in Multiple Contexts of Use , 2002, DSV-IS.

[11]  Christian Stary.  Interaktive Systeme - Software-Entwicklung und Software-Ergonomie , 1994, Vieweg Lehrbuch Informatik.

[12]  A. N. Leont’ev,et al.  Activity, consciousness, and personality , 1978 .

[13]  Gerrit C. van der Veer,et al.  GTA: Groupware task analysis — Modeling complexity , 1996 .

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

[15]  B. Nardi.  Context and consciousness: activity theory and human-computer interaction , 1995 .

[16]  Andreas Dittmar.  More precise descriptions of temporal relations within task models , 2000, ICSE 2000.

[17]  Gerrit C. van der Veer,et al.  An ontology for task models , 1998 .

[18]  Miguel Gea Megías,et al.  A Coloured Petri Net Formalisation for a UML-Based Notation Applied to Cooperative System Modelling , 2002, DSV-IS.

[19]  Jean Vanderdonckt,et al.  Task Modelling for Context-Sensitive User Interfaces , 2001, DSV-IS.

[20]  Nuno Jardim Nunes,et al.  Interactive Systems. Design, Specification, and Verification , 2003, Lecture Notes in Computer Science.

[21]  Fabio Paternò,et al.  ConcurTaskTrees: A Diagrammatic Notation for Specifying Task Models , 1997, INTERACT.

[22]  J. Hackman,et al.  Toward understanding the role of tasks in behavioral research. , 1969, Acta psychologica.

[23]  Herbert A. Simon,et al.  The Sciences of the Artificial , 1970 .