Lecture Notes in Computer Science 4323

Transcription

1 Lecture Notes in Computer Science 4323 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University, UK Takeo Kanade Carnegie Mellon University, Pittsburgh, PA, USA Josef Kittler University of Surrey, Guildford, UK Jon M. Kleinberg Cornell University, Ithaca, NY, USA Friedemann Mattern ETH Zurich, Switzerland John C. Mitchell Stanford University, CA, USA Moni Naor Weizmann Institute of Science, Rehovot, Israel Oscar Nierstrasz University of Bern, Switzerland C. Pandu Rangan Indian Institute of Technology, Madras, India Bernhard Steffen University of Dortmund, Germany Madhu Sudan Massachusetts Institute of Technology, MA, USA Demetri Terzopoulos University of California, Los Angeles, CA, USA Doug Tygar University of California, Berkeley, CA, USA Moshe Y. Vardi Rice University, Houston, TX, USA Gerhard Weikum Max-Planck Institute of Computer Science, Saarbruecken, Germany

2 Gavin Doherty Ann Blandford (Eds.) Interactive Systems Design, Specification, and Verification 13th International Workshop, DSVIS 2006 Dublin, Ireland, July 26-28, 2006 Revised Papers 13

3 Volume Editors Gavin Doherty Department of Computer Science Trinity College Dublin Dublin 2, Ireland Ann Blandford UCL Interaction Centre University College London London, WC1E 7DP, U.K. Library of Congress Control Number: CR Subject Classification (1998): H.5.2, H.5, I.3, D.2, F.3 LNCS Sublibrary: SL 2 Programming and Software Engineering ISSN ISBN Springer Berlin Heidelberg New York ISBN Springer Berlin Heidelberg New York This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, re-use of illustrations, recitation, broadcasting, reproduction on microfilms or in any other way, and storage in data banks. Duplication of this publication or parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965, in its current version, and permission for use must always be obtained from Springer. Violations are liable to prosecution under the German Copyright Law. Springer is a part of Springer Science+Business Media springer.com Springer-Verlag Berlin Heidelberg 2007 Printed in Germany Typesetting: Camera-ready by author, data conversion by Scientific Publishing Services, Chennai, India Printed on acid-free paper SPIN: /

4 Preface We present here the proceedings of the 13th International Workshop on the Design, Specification and Verification of Interactive Systems, held in Trinity College, Dublin. The workshop provides a forum where researchers at the intersection of software engineering and human computer interaction can present and discuss their ideas. The different perspectives and concerns of these two communities were exemplified by the thought-provoking contributions of the invited speakers Jan Gulliksen, who looked at the nature of contact between developers and end users (keynote paper included in this volume), and Ian Sommerville, who looked at construction by configuration as the de-facto paradigm for many real-world development projects. All papers were reviewed by at least three reviewers. We present here 19 out of 57 submissions, along with a keynote paper and two working group reports. The healthy number of submissions reflects the continuing interest and commitment of researchers in this area. The accepted papers came from a wide range of locations Belgium, Canada, France, Ireland, Italy, Norway, Portugal, Spain, Sweden and the UK. Model-driven development remains a strong theme, with papers by Penichet et al., Van den Bergh et al., and Koninx et al. The sophistication and power of the tools now available compared to those presented at earlier editions of the workshop were clearly evident from these presentations. Other uses of models in development are investigated in the papers by Silva et al., which looked at reverse engineering, Lepreux et al., which looks at the visual design of user interfaces, and Potter and Wright, which looks at visualization resource management. Formal perspectives on cognitive aspects of interaction were explored in papers by Roast and Khazaei and Rukšėnas et al. The design of safety-critical systems was the subject of several papers this year, both in terms of engineering (Barboni et al.), requirements (Santos et al.), and evaluation (Thimbleby). There were also two papers on bringing rigorous approaches to bear on the design and development of haptic and multi-modal interfaces, both in terms of specification (Smith) and analysis (Faconti and Massink). Prototyping and evaluation are always a concern in the development of interactive systems, and work in this area was presented by Petrie and Schneider on mixed fidelity prototyping, by González et al., who looked at modelling early prototype evaluation, and O Neill et al. who looked at a VR-based approach to evaluation. On the theme of supporting user interface development, a patternsbased approach to adaptive user interfaces was presented by Nilsson et al. Consideration of computer games by Graham et al. was a new topic for the event, and was the subject of a lively working group discussion. The critique of validity in published HCI research presented by Thimbleby struck a chord with many of the participants, with discussion continuing in a working group. One concrete

5 VI Preface result of this was a strong impetus on presenters to comment on the availability of their software and repeatability of their results! The interest in the work presented at this year s workshop was evident from the number of questions for each speaker and the many discussions which took place over the three days. Trinity College provided an attractive setting for the conference, and the friendly atmosphere of the event helped to make it an enjoyable as well as an intellectually rewarding experience. October 2006 Gavin Doherty and Ann Blandford

6 Organization Programme Chairs Gavin Doherty Ann Blandford Trinity College Dublin, Ireland University College London, UK Programme Committee Rémi Bastide Ann Blandford Jose Campos Anke Dittmar Alan Dix Simon Dobson Peter Forbrig Nicholas Graham Michael Harrison Chris Johnson Joaquim Jorge Rick Kazman Panos Markopoulos Mieke Massink Laurence Nigay Philippe Palanque Fabio Paternò Chris Roast Kevin Schneider Alistair Sutcliffe Harold Thimbleby Université Paul Sabatier, Toulouse, France University College London, UK University of Minho, Portugal University of Rostock, Germany University of Lancaster, UK UCD Dublin, Ireland University of Rostock, Germany Queen s University, Canada University of Newcastle, UK University of Glasgow, UK INESC-ID, Lisbon, Portugal SEI, Carnegie Mellon University, USA Eindhoven University of Technology, Netherlands ISTI-CNR, Pisa, Italy Université Joseph Fourier, France Université Paul Sabatier, Toulouse, France ISTI-CNR, Pisa, Italy Sheffield-Hallam University, UK University of Saskatchewan, Canada University of Manchester, UK University of Swansea, Wales Reviewers Sophie Dupuy-Chessa Eduardo Calvillo Gámez Yamine Ait-Ameur Giorgio Faconti Joelle Coutaz CLIPS-IMAG, University of Grenoble 1, France University College London, UK LISI-ENSMA, University of Poitiers, France ISTI-CNR, Pisa, Italy CLIPS-IMAG, University of Grenoble 1, France

7 VIII Organization Local Organization Gavin Doherty Alena Moison Kris McGlinn Simon Dobson Trinity College Dublin, Ireland Trinity College Dublin, Ireland Trinity College Dublin, Ireland UCD Dublin, Ireland Supporting Organizations ACM SIGCHI The British Computer Society HCI Group IFIP WG 13.5 The Eurographics Association Department of Computer Science, Trinity College Dublin

8 Table of Contents Keynote How Do Developers Meet Users? Attitudes and Processes in Software Development... 1 Jan Gulliksen HCI Research Validity and Cross-Validity in HCI Publications Harold Thimbleby Critical Systems Model-Based Engineering of Widgets, User Applications and Servers Compliant with ARINC 661 Specification Eric Barboni, Stéphane Conversy, David Navarre, and Philippe Palanque Usability Requirements for Improving the Infection Module of a Hospital Intensive Care Unit Information System Mónica Sara Santos, João Falcão e Cunha, and Altamiro da Costa Pereira Interaction Walkthrough: Evaluation of Safety Critical Interactive Systems Harold Thimbleby Model Based Development Collaborative Social Structures and Task Modelling Integration Victor M.R. Penichet, Fabio Paternò, J.A. Gallud, and Maria D. Lozano Towards Model-Driven Development of Staged Participatory Multimedia Events Jan Van den Bergh, Steven Huypens, and Karin Coninx Integrating Support for Usability Evaluation into High Level Interaction Descriptions with NiMMiT Karin Coninx, Erwin Cuppens, Joan De Boeck, and Chris Raymaekers

9 X Table of Contents Cognitive Aspects of Interaction An Investigation into the Validation of Formalised Cognitive Dimensions Chris Roast and Babak Khazaei Formal Modelling of Cognitive Interpretation Rimvydas Rukšėnas, Paul Curzon, Jonathan Back, and Ann Blandford Use of Models Combining Formal Methods and Functional Strategies Regarding the Reverse Engineering of Interactive Applications J.C. Silva, José Creissac Campos, and João Saraiva An Ontological Approach to Visualization Resource Management Richard Potter and Helen Wright Visual Design of User Interfaces by (De)composition Sophie Lepreux, Jean Vanderdonckt, and Benjamin Michotte Haptics and Multimodality Exploring the Specification of Haptic Interaction Shamus P. Smith Analysis of Pointing Tasks on a White Board G. Faconti and Mieke Massink Prototyping and Evaluation Mixed-Fidelity Prototyping of User Interfaces Jennifer N. Petrie and Kevin A. Schneider A Hybrid Approach for Modelling Early Prototype Evaluation Under User-Centred Design Through Association Rules María Paula González, Toni Granollers, and Jesús Lorés Rapid User-Centred Evaluation for Context-Aware Systems Eleanor O Neill, David Lewis, Kris McGlinn, and Simon Dobson Supporting User Interface Development Using a Patterns-Based Modelling Language and a Model-Based Adaptation Architecture to Facilitate Adaptive User Interfaces Erik G. Nilsson, Jacqueline Floch, Svein Hallsteinsen, and Erlend Stav

10 Table of Contents XI Toward Quality-Driven Development of 3D Computer Games T.C. Nicholas Graham and Will Roberts Group Discussions Processes: Working Group Report Stéphane Chatty, José Creissac Campos, María Paula González, Sophie Lepreux, Erik G. Nilsson, Victor M.R. Penichet, Mónica Santos, and Jan Van den Bergh Usability and Computer Games: Working Group Report T.C. Nicholas Graham, Paul Curzon, Gavin Doherty, Philippe Palanque, Richard Potter, Christopher Roast, and Shamus P. Smith Author Index