Model-Based Support for Specifying eService eGovernment Applications

Model-based approaches are a suitable alternative to cope with the increasing complexity of eServices made available in the last years by eGovernment applications. However, up to now, only a few studies have investigated which are the requirements for notations and tools devoted to support eService modeling. The main goal of this paper is to make a state of knowledge on the specification of user activity and processes in eGovernment eServices. Our results advocated for a hybrid approach for modeling combining task models and process models.

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

[2]  Wil M.P. van der Aalst,et al.  YAWL: yet another workflow language , 2005, Inf. Syst..

[3]  Ivar Jacobson,et al.  The unified modeling language reference manual , 2010 .

[4]  Gerrit C. van der Veer,et al.  Euterpe - Tool support for analyzing cooperative environments , 1998 .

[5]  SWCEDITOR: a Model-Based Tool for Interactive Modelling of Web Navigation , 2004, CADUI.

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

[7]  Hallvard Trætteberg.  Modelling Work: Workflow and Task Modelling , 1999, CADUI.

[8]  Anastasia Ailamaki,et al.  Scientific workflow management by database management , 1998, Proceedings. Tenth International Conference on Scientific and Statistical Database Management (Cat. No.98TB100243).

[9]  Graham Storrs.  The Notion of Task in Human-Computer Interaction , 1995, BCS HCI.

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

[11]  Fabio Paternò,et al.  CTTE: Support for Developing and Analyzing Task Models for Interactive System Design , 2002, IEEE Trans. Software Eng..

[12]  Peter Johnson,et al.  Towards a composite modelling approach for multitasking , 2004, TAMODIA '04.

[13]  Marie-France Barthet,et al.  The DIANE+ Method , 1996, CADUI.

[14]  Peter Johnson,et al.  Human computer interaction: Psychology, task analysis, and software engineering , 1992 .

[15]  P. Barnard,et al.  Interacting cognitive subsystems: A systemic approach to cognitive-affective interaction and change , 1991 .

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

[17]  Marco Winckler,et al.  Modélisation orientée tâche de la navigation d'une application web: catalogue des thèses de I'AFIHM , 2005, IHM '05.

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

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

[20]  S. Carlsen.  Action Port Model: a mixed paradigm conceptual workflow modeling language , 1998, Proceedings. 3rd IFCIS International Conference on Cooperative Information Systems (Cat. No.98EX122).

[21]  Philippe A. Palanque,et al.  A model-based tool for interactive prototyping of highly interactive applications , 2002, CHI Extended Abstracts.

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

[23]  Hallvard Trætteberg,et al.  Model-based User Interface Design , 2002 .

[24]  Wil M. P. van der Aalst,et al.  Workflow Patterns , 2004, Distributed and Parallel Databases.

[25]  Cristina Chisalita,et al.  Introduction to Groupware Task Analysis , 2002, TAMODIA.

[26]  Fabio Paternò,et al.  Supporting interactive workflow systems through graphical web interfaces and interactive simulators , 2005, TAMODIA '05.

[27]  Marco Winckler,et al.  StateWebCharts: A Formal Description Technique Dedicated to Navigation Modelling of Web Applications , 2003, DSV-IS.

[28]  Allen Newell,et al.  The psychology of human-computer interaction , 1983 .

[29]  Peter Johnson,et al.  ADEPT: Advanced Design Environment for Prototyping with Task Models , 1993, INTERCHI.

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

[31]  Amnon Naamad,et al.  The STATEMATE semantics of statecharts , 1996, TSEM.

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

[33]  Michel Gendreau,et al.  Towards Electronic Marketplaces: A Progress Report , 2001 .

[34]  David V. Beard,et al.  QGOMS: a direct-manipulation tool for simple GOMS models , 1996, CHI Conference Companion.

[35]  Hallvard Trætteberg.  Modeling Work: Workflow and Task Modeling , 1999 .