Computer-Aided Design of User Interfaces III

Computer-Aided Design of User Interfaces III

Sponsors Official CADUI WWW site: http://www.isvs.ucl.ac.be/bchi/cadui Universite de Valenciennes et du Hainaut-Cambresis http://www.univ-valenciennes.fr/ UVHC^ Laboratoire d'automatique, de Mecanique et d'informatique, industrielles et Humaines (LAMIH) http://www.univ-valenciennes.fr/lamih/ Institut des Sciences et Techniques de Valenciennes http://www.univ-valenciennes.fr/istv/ Region Nord-Pas de Calais http://www.cr-npdc.fr/ Ville de Valenciennes http://www.ville-valenciennes.fr Ff mm JtttVKuqsi* PM««EMM! MINISTER.«KtCHbRCHt IN RIA The XML Forum http://www.ximl.org/ Ministere de la Recherche http://www.recherche. gouv.fr/ Centre National de la Recherche Scientifique (CNRS) http://www.cnrs.fr Institut National de Recherche en Automatique et en Informatique (INRIA) http://www.inria.fr Association Francophone d'interaction Homme-Machine (AFIHM) http://www.afihm.org mm BelCHl IAG ACM Belgian SIGCHI Chapter (BelCHl) http://www.belchi.be Institut d'administration et de Gestion http://www.iag.ucl.ac.be/ Universite catholique de Louvain http://www.ucl.ac.be

COMPUTER-AIDED DESIGN OF USER INTERFACES III Proceedings of the Fourth International Conference on Computer-Aided Design of User Interfaces 15-17 May 2002, Valenciennes, France edited by Christophe Kolski Universite de Valenciennes et du Hainaut-Cambresis, Valenciennes, France and Jean Vanderdonckt Universite catholique de Louvain, Louvain-la-Neuve, Belgium II 1 SPRINGER-SCIENCE+BUSINESS MEDIA, B.V.

A CLP. Catalogue record for this book is available from the Library of Congress. ISBN 978-94-010-3915-4 DOI 10.1007/978-94-010-0421-3 ISBN 978-94-010-0421-3 (ebook) Printed on acid-free paper All Rights Reserved 2002 Springer Science+Business Media Dordrecht Originally published by Kluwer Academic Publishers in 2002 Softcover reprint of the hardcover 1st edition 2002 No part of this work may be reproduced, stored in a retrieval system, or transmitted in any form or by any means, electronic, mechanical, photocopying, microfilming, recording or otherwise, without written permission from the Publisher, with the exception of any material supplied specifically for the purpose of being entered and executed on a acomputer system, for exclusive use by the purchaser of the work.

TABLE OF CONTENTS Invited speakers 1. Computer-Aided Design of User Interfaces by Example... 1 H Lieberman 2. Foundations for a Theory of Contextors... 13 1. Coutaz and G. Rey 3. WSXL: A Web Services Language for Integrating End-User Experience... 35 D. Chamberlain, A. Diaz, D. Gisolji, R Konuru, 1. Lucassen, 1. Macnaught, S. Maes, R Merrick, D. Mundel, TV Raman, S. Ramaswamy, T Schaeck, R Thompson, and Ch. Wiecha Specification of User Interfaces 4. From Formal Specifications to Secure Implementations... 51 F Jambon 5. Just-UI: A User Interface Specification Model... 63 P.J. Molina, S. Melia, and 0. Pastor 6. DTS-Edit: an Interactive Development Environment for Structured Dialog Applications... 75 F Depaulis, S. Maiano, and G. Texier Task Scenarios: Elicitation and Derivation 7. Automatically Eliciting Task Models from Written Task Narratives... 83 M Brasser and K Vander Linden 8. From Usage Scenarios to User Interface Elements in a Few Steps... 91 H. Kaindl and R. Jezek 9. Exploring Design Heuristics for User Interface Derivation from Task and Domain Models...... 103 C. Pribeanu and 1. Vanderdonckt Model-Based Approaches 1O.A User Modeling Design Tool Based on a Cognitive Architecture for Comparing Interfaces... III FR Ritter, D. Van Rooy, and R. St. Amant 11.A Model-Guided and Task-Based Approach to User Interface Design Centered in a Unified Interaction and Architectural Model 119 C. V Serey Guerrero and B. Lula Jr. 12. Using User Interface Models in Design... 131 H. Trcetteberg

vi Table of Contents User Interfaces for Multiple Contexts of Use 13.0ne Model, Many Interfaces... 143 F. Paterno and C. Santoro 14.Combining Handcrafting and Automatic Generation of User- Interfaces for Pervasive Devices... 155 L.D. Bergman, G. Banavar, D. Soroker, and l. Sussman 15.Concepts for Generating Multi-User Interfaces Including Graphical Editors... 167 A. Brandl Domain-Oriented Model-Based Approaches 16.DIGBE: Online Model-Based Design Automation... 179 R. Penner and E. Steinmetz 17.Meeting Activity Theory through Task-Based and User-Oriented Development of User Interfaces... 193 Ch. Stary 18.Model-Based Interactive Prototyping of Highly Interactive Applications... 205 D. Navarre, Ph. Palanque, and R. Bastide Innovative Model-Based Approaches 19.Modeling Style of Work as an Aid to the Design and Evaluation of Interactive Systems... 217 l. Wu, T. C.N. Graham, K. Everitt, D. Blostein, and E. Lank 20.An Online Multimedia System for Learning to Design User Interfaces... 229 E. Furtado, V. Furtado, K. Sousa, and A. Belchior 21.UML and Interactive Systems, Another Step Forward... 243 l.r. Ruault UIML- and XML-Based User Interfaces 22.Building Multi-Platform User Interfaces with UIML... 255 M.F. Ali, M.A. Perez-Quinones, M. Abrams, and E. Shell 23.Development of an UIML Renderer for Different Target Languages 267 C. Binnig and A. Schmidt 24.Generic Interface Descriptions using XML... 275 K. Richter

Table of Contents Vll User Interface Migration: Forward and Backward 25.Specifying User Interfaces for Runtime Modal Independent Migration... 283 K. Luyten, T. Van Laerhoven, K. Coninx, and F. Van Reeth 26.Reverse Engineering Interaction Plans for Legacy Interface Migration... 295 E. Stroulia and R. V. Kapoor 27.Recovering Alternative Presentation Models of a Web Page with V AQUIT A... 311 L. Bouillon, 1. Vanderdonckt, and N. Souchon Usability Engineering and the Web 28.Evidence-Based Usability Engineering... 323 E. Metzker and H. Reiterer 29.A Framework and a Language for Usability Automatic Evaluation of Web Sites by Static Analysis ofhtml Source Code... 337 A. Beirekdar, 1. Vanderdonckt, and M. Noirhomme-Fraiture 30.First Steps Towards Task-Related Web User Interfaces... 349 B. Bomsdorf Agent.Based User Interfaces 3 1. Cooperative Agents Design in a Technological Watch Context... 357 L. lonnequin, E. Adam, Ch. Kolski, and R. Mandiau 32.A Multi-Agent Approach to Cooperative Work... 367 1. C. Routier and P. Mathieu 33.Agent Oriented Specification of Interactive Systems: Basic Principles and Industrial Case Study... 381 F. Cartegnie, H. Ezzedine, and Ch. Kolski

PROGRAMME COMMITTEE MEMBERS Mourad Abed, Univ. de Valenciennes et du Hainaut-Cambresis, France Demosthenes Akoumianakis, ICS-FORTH, Greece Ghassan AI-Qaimari, RMIT University, Australia Thomas Baudel, ILOG, France Alain Derycke, Universite des Sciences et Technologies de Lille, France Houcine Ezzedine, Univ. de Valenciennes et du Hainaut-Cambresis, France Jean-Daniel Fekete, Ecole des Mines de Nantes, France Peter Forbrig, University of Rostock, Germany Elizabeth Furtado, University of Fortaleza, Brazil Patrick Girard, LISIlENSMA, France Emmanuelle Grislin-Le Strugeon, Universite de Valenciennes et du Hainaut Cambresis, France Peter Johnson, University of Bath, UK Christophe Kolski, Univ. de Valenciennes et du Hainaut-Cambresis, France Henri Lieberman, MIT, USA Frank Lonczewski, BetaResearch, Germany Claude Machgeels, Universite Libre de Bruxelles, Belgium Mark Maybury, The MITRE Corp., USA Faouzi Moussa, ENSI Tunis, Tunisia Jocelyne Nanard, Universite de Montpellier, France Philippe Palanque, Universite Paul Sabatier, France Fabio Paterno, ISTI-CNR, Italy Norman Paton, University of Manchester, UK Angel Puerta, RedWhale Software Corp., USA Anthony Savidis, ICS-FORTH, Greece Dominique Scapin, INRIA, France Egbert Schlungbaum, University of Rostock, Germany Robert St. Amant, North Carolina State University, USA Constantine Stephanidis, ICS-FORTH, Greece Eleni Stroulia, University of Alberta, Canada Pedro Szekely, University of Southern California, USA Jean Vanderdonckt, Universite catholique de Louvain, Belgium Charles Wiecha, IBM TJ. Watson Research Centre, USA

CONFERENCE ADDITIONAL REVIEWERS Emmanuel Adam, Univ. de Valenciennes et du Hainaut-Cambresis, France Ayman Ammoura, University of Alberta, Canada Remi Bastide, LIHS, Universite Toulouse 1, France Pablo Figueroa, University of Alberta, Canada Murielle Florins, Universite catholique de Louvain, Belgium Nick Graham, Queen's University, Canada Tony Griffiths, University of Manchester, UK Maurine Hatch, University of Alberta, Canada Quentin Limbourg, Universite catholique de Louvain, Belgium Celine Mariage, Universite catholique de Louvain, Belgium Panos Markopoulos, Technische Univ. Eindhoven, The Netherlands Andre Peninou, lut Blagnac, France Paulo Pinheiro da Silva, University of Manchester, UK Chris Roast, Sheffield Hallam University, UK Carmen Santoro, lsti-cnr, Italy Yiqiao Wang, University of Alberta, Canada