Engineering Interactive Systems EIS 2007 Joint Working Conferences, EHCI 2007, DSV-IS 2007, HCSE 2007, Salamanca, Spain, March 22-24, 2007 : Selected Papers

• Main Authors: Hutchison, David, Kanade, Takeo, Kittler, Josef, Veer, Gerrit C. van der, Wesson, Janet
• Format: eBook
• Language: English
• Published: Berlin/Heidelberg Springer Berlin / Heidelberg 2008; Springer
• Edition: 1
• Series: Lecture Notes in Computer Science
• Subjects: Congresses; Database searching; Human-computer interaction; Interactive computer systems; Software engineering
• ISBN: 9783540926979; 3540926976

Engineering Interactive Systems 2007 is an IFIP working conference that brings together researchers and practitioners interested in strengthening the scientific foun- tions of user interface design, examining the relationship between software engine- ing (SE) and human-computer interaction (HCI) and...

Table of Contents:

• Intro -- Preface -- Table of Contents -- Performance Analysis of an Adaptive User Interface System Based on Mobile Agents -- Combining Human Error Verification and Timing Analysis -- Formal Testing of Multimodal Interactive Systems -- Knowledge Representation Environments: An Investigation of the CASSMs between Creators, Composers and Consumers -- Consistency between Task Models and Use Cases -- Task-Based Design and Runtime Support for Multimodal User Interface Distribution -- A Comprehensive Model of Usability -- Suitability of Software Engineering Models for the Production of Usable Software -- A Model-Driven Engineering Approach for the Usability of Plastic User Interfaces -- Model-Driven Prototyping for Corporate Software Specification -- Getting SW Engineers on Board: Task Modelling with Activity Diagrams -- Considering Context and Users in Interactive Systems Analysis -- XSED - XML-Based Description of Status-Event Components and Systems -- Identifying Phenotypes and Genotypes: A Case Study Evaluating an In-Car Navigation System -- Factoring User Experience into the Design of Ambient and Mobile Systems -- Visualisation of Personal Communication Patterns Using Mobile Phones -- Integration of Distributed User Input to Extend Interaction Possibilities with Local Applications -- Reverse Engineering Cross-Modal User Interfaces for Ubiquitous Environments -- Intelligent Support for End-User Web Interface Customization -- Improving Modularity of Interactive Software with the MDPC Architecture -- Toward Quality-Centered Design of Groupware Architectures -- Programs = Data + Algorithms + Architecture: Consequences for Interactive Software Engineering -- Towards an Extended Model of User Interface Adaptation: The ISATINE Framework -- Towards a Universal Toolkit Model for Structures -- Exploring Human Factors in Formal Diagram Usage
• 'Aware of What?' A Formal Model of Awareness Systems That Extends the Focus-Nimbus Model -- Service-Interaction Descriptions: Augmenting Services with User Interface Models -- A Design-Oriented Information-Flow Refinement of the ASUR Interaction Model -- On the Process of Software Design: Sources of Complexity and Reasons for Muddling through -- Applying Graph Theory to Interaction Design -- Mathematical Mathematical User Interfaces -- Coupling Interaction Resources in Ambient Spaces: There Is More Than Meets the Eye! -- Building and Evaluating a Pattern Collection for the Domain of Workflow Modeling Tools -- Do We Practise What We Preach in Formulating Our Design and Development Methods? -- Engaging Patterns: Challenges and Means Shown by an Example -- Organizing User Interface Patterns for e-Government Applications -- Including Heterogeneous Web Accessibility Guidelines in the Development Process -- Author Index
• References -- Consistency between Task Models and Use Cases -- Introduction -- Background -- Use Cases -- Task Models -- Use Cases vs. Task Models -- Formal Definition of Consistency -- Related Work -- Mathematical Preliminaries -- Mapping Use Cases to Finite State Machines -- Mapping CTT Task Models to Finite State Machines -- A Formal Definition of Consistency -- Conclusion -- References -- Task-Based Design and Runtime Support for Multimodal User Interface Distribution -- Introduction -- Overview of the Extended DynaMo-AID Development Process -- Developing Context-Aware User Interfaces -- Supporting the Design of Distributed and Multimodal User Interfaces -- Interaction Environment Ontology -- Runtime Support: Prototyping and Deployment of the User Interface -- Overview of the Runtime Architecture -- Rendering Engine -- Constructing a Distribution Plan -- Related Work -- Conclusions and Future Work -- References -- A Comprehensive Model of Usability -- Introduction -- Related Work -- Quality Models for Usability -- Principles and Guidelines -- Consolidated Quality Models for Usability -- Summary -- A 2-Dimensional Approach to Model Quality -- The 2-Dimensional Quality Meta-model -- Facts, Activities, Attributes, and Impacts -- Tool Support -- Usability Quality Model -- Goals -- The Activity Subtree "Interacting with the Product" -- The Fact Subtree "Logical User Interface" -- Examples -- Case Study: Modeling the ISO 15005 -- Approach -- Examples -- Observations and Improvements -- Discussion -- Conclusion -- References -- Suitability of Software Engineering Models for the Production of Usable Software -- Introduction -- Linear Sequential Model -- Evolutionary Development -- Spiral Model -- V-Model -- Standards in Software Engineering -- Usability Engineering -- Standards in Usability Engineering -- Motivation -- Proceedings
• Intro -- Title Page -- Preface -- Table of Contents -- Performance Analysis of an Adaptive User Interface System Based on Mobile Agents -- Introduction -- ADUS: Adaptive User Interface System -- User Interaction Monitoring and Application: The Learning Process -- Predicting User Behavior -- Task Models -- Learning Models in ADUS -- Applications of Learning Features to the User Interface -- Using ADUS in a Sample Application -- The Software Retrieval Service (SRS) -- Using ADUS with the Software Retrieval Service -- The Learning Process in the SRS -- Performance Evaluation -- State of the Art and Related Work -- Conclusions and Future Work -- References -- Combining Human Error Verification and Timing Analysis -- Introduction -- Related Work -- HUM-GOMS Architecture -- Cognitive Principles -- Cognitive Architecture in SAL -- Timing Aspects -- An Example -- Cash Machine -- User Model -- KLM Timing -- Verification and Timing Analysis -- Error Analysis -- Timing Analysis -- Modified Design -- Conclusion -- References -- Formal Testing of Multimodal Interactive Systems -- Introduction -- Multimodal Interaction: The CARE Properties -- Formal Approach for Testing Multimodal Systems -- Lutess: A Testing Environment for Synchronous Programs -- Using Lutess for Testing Multimodal Systems -- Illustration: The Memo Multimodal System -- Connection between Lutess and Memo -- Memo Test Oracle -- Memo Test Input Generation -- Conclusion and Future Work -- References -- Knowledge Representation Environments: An Investigation of the CASSMs between Creators, Composers and Consumers -- Introduction -- Creators, Composers and Consumers -- CASSM and Misfit Analysis -- Tallis Composer and Enactor -- Tallis and PROforma -- Tallis Users -- CASSM Analysis of Tallis Composer and Engine -- Data Collection -- Analysis and Results -- Comparing the CASSM Models -- Discussion
• Mobile Visualisation of Personal Communication Patterns -- Design -- Functional Requirements -- Implementation Tools -- Architecture -- Data Design -- User Interface Design -- Implementation -- Functional Implementation -- Ambient Display -- Certification, Performance and Integration Issues -- Evaluation -- Evaluating Ambient Displays -- User Testing -- Lessons Learned -- Conclusions -- References -- Integration of Distributed User Input to Extend Interaction Possibilities with Local Applications -- Introduction -- Use Case and Requirements -- Use Case -- Requirements -- Architecture of the System -- Architecture -- Details of the Input Receiver -- Creation of Application-Dependent Input Commands -- Prototype -- Related Work -- Conclusion and Outlook -- References -- Reverse Engineering Cross-Modal User Interfaces for Ubiquitous Environments -- Introduction -- Related Work -- Background -- Architecture -- XHTML/CSS-to-Desktop or Mobile Concrete Descriptions Transformation -- VoiceXML to Vocal Concrete Description Transformation -- Concrete Descriptions to Abstract Description Transformation -- Example Applications -- Abstract Description to Task Model Transformation -- Application of Reverse Engineering in Ubiquitous Environments -- Conclusions and Future Work -- References -- Intelligent Support for End-User Web Interface Customization -- Introduction -- Related Work -- Our End-User Approach -- Interface Knowledge Modelling and Construction -- The Software Architecture -- Verification and Experimental Results -- Rule Activation -- Comparative Example -- Conclusions and Future Work -- References -- Improving Modularity of Interactive Software with the MDPC Architecture -- Introduction -- The Need to Externalize Picking -- Display View and Picking View -- Example 1: The Scrollbar in Depth
• Analysis of Standards -- Analyzed SE Models -- Gap-Analysis of SE Models -- Interpretation and Results -- Summary and Outlook -- References -- A Model-Driven Engineering Approach for the Usability of Plastic User Interfaces -- Introduction -- Motivations for an MDE Approach -- MDE for UI Plasticity -- The Home Heating Control System: Overall Description -- Mappings in HHCS -- Formal Definition of Mapping -- Conclusion and Perspectives -- References -- Model-Driven Prototyping for Corporate Software Specification -- Introduction -- Corporate Software Development -- Challenges for Corporate Engineering Processes -- Shortcomings of Current Requirements Engineering Practice -- Prototyping for Visual Specification -- The Interaction Layer: Where SE and UE Meet -- Prototyping for the Visual Specification of Interactive Systems -- Compliance with Agile Software Development -- A Model-Driven Tool-Chain for Visual Specification -- Model-Driven Concepts as a Cornerstone for Structured RE -- Modularization and Abstraction as a Key for Interdisciplinary Cooperation -- Developing a Model-Driven Tool Chain for UI Specification -- Lessons Learned and Conclusion -- References -- Getting SW Engineers on Board: Task Modelling with Activity Diagrams -- Introduction -- Background -- Task Modelling -- Activity Diagrams in UML 2.0 -- Related Work -- Transformation from Task Models to Activity Diagrams -- Transformation Rules for CTT-Like Tasks -- Transformation of an Example Task Model -- Handling of Extensions to CTT-Like Task Models -- Model-Based Development of Tool Support -- General Development Approach -- Tool Support for the Transformation from Task Models into Activity Diagrams -- Animation of Task Models and Corresponding Activity Diagrams -- Summary and Future Work -- References -- Considering Context and Users in Interactive Systems Analysis -- Introduction
• Invariance to Geometrical Transform and Relative Layout Transform
• Devices and Users in Context -- Device Model (or, Devices in Context) -- Modelling -- Analysis -- On User and Other User Related Models -- Modelling -- Analysis -- Impact of Context in the Analysis -- Context -- Context in the MCP -- Discussion -- Relevance of Context -- Different Models/Different Analysis -- Information Resources -- Conclusion -- References -- XSED - XML-Based Description of Status-Event Components and Systems -- Introduction -- Status-Event Analysis -- What Is It? -- Does It Matter? -- Existing Status-Event Systems/Notations -- The XSED Notation -- Individual Components -- XML Specification -- Transforming and Executing the Specification -- Configuration -- Binding -- Annotation -- Applying SE Components in Status/Event Infrastructures -- Existing Status/Event Architectures -- Generating SE Components to ECT Platform -- Summary -- References -- Identifying Phenotypes and Genotypes: A Case Study Evaluating an In-Car Navigation System -- Introduction -- Background -- Method -- Car Navigation System -- Analytical Techniques -- Cognitive Walkthrough -- UAN (User Action Notation) -- EMU - Evaluation Multi-modal Usability -- Design Guidelines -- Empirical Study -- Results from Analytical and Empirical Evaluations -- Analysis of the Results -- Conclusion -- References -- Factoring User Experience into the Design of Ambient and Mobile Systems -- Introduction -- Factoring in Experience -- Experience Elicitation -- Experience Articulation -- A Stimulus for Experience Recognition -- The Role of Scenarios -- The Role of the Snapshots -- Modeling the System -- Characteristics of the Airport Model -- Checking the Properties -- Conclusions -- References -- Visualisation of Personal Communication Patterns Using Mobile Phones -- Introduction -- Related Work -- Ambient Displays -- Personal Communication Patterns