Integrating model checking and HCI tools to help designers verify user interface properties

Authors:
Fabio Paternò;Carmen Santoro
Affiliations:
Istituto CNUCE, Consiglio Nazionale delle Ricerche, Ghezzano, Pisa, Italia;Istituto CNUCE, Consiglio Nazionale delle Ricerche, Ghezzano, Pisa, Italia
Venue:
DSV-IS'00 Proceedings of the 7th international conference on Design, specification, and verification of interactive systems
Year:
2000

Citing 12
Cited 8

Survey on user interface programming

CHI '92 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
On the use of LOTOS to describe graphical interaction

HCI'92 Proceedings of the conference on People and computers VII
An action-based framework for verifying logical and behavioural properties of concurrent systems

Computer Networks and ISDN Systems - Special issue on tools for FDTs
A formal technique for automated dialogue development

Proceedings of the 1st conference on Designing interactive systems: processes, practices, methods, & techniques
The Unified Modeling Language reference manual

The Unified Modeling Language reference manual
Helping the automated validation process of user interfaces systems

Proceedings of the 20th international conference on Software engineering
Computer-aided analysis of cooperative applications

Proceedings of the third international conference on Computer-aided design of user interfaces
Model-Based Design and Evaluation of Interactive Applications

Model-Based Design and Evaluation of Interactive Applications
Formal Methods in Human-Computer Interaction

Formal Methods in Human-Computer Interaction
Using Formal Methods to Develop an ATC Information System

IEEE Software
A Model-Based Interface Development Environment

IEEE Software
CADP - A Protocol Validation and Verification Toolbox

CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification

Towards a Ubiquitous Semantics of Interaction: Phenomenology, Scenarios, and Traces

DSV-IS '02 Proceedings of the 9th International Workshop on Interactive Systems. Design, Specification, and Verification
Analyzing Interaction Orderings with Model Checking

Proceedings of the 19th IEEE international conference on Automated software engineering
Combining test case generation for component and integration testing

Proceedings of the 3rd international workshop on Advances in model-based testing
Model-based dependability analysis of programmable drug infusion pumps

FORMATS'11 Proceedings of the 9th international conference on Formal modeling and analysis of timed systems
Task models for safe software evolution and adaptation

TAMODIA'09 Proceedings of the 8th international conference on Task Models and Diagrams for User Interface Design
Generating phenotypical erroneous human behavior to evaluate human-automation interaction using model checking

International Journal of Human-Computer Studies
V&V of lexical, syntactic and semantic properties for interactive systems through model checking of formal description of dialog

HCI'13 Proceedings of the 15th international conference on Human-Computer Interaction: human-centred design approaches, methods, tools, and environments - Volume Part I
Automatic validation and failure diagnosis of human-device interfaces using task analytic models and model checking

Computational & Mathematical Organization Theory

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we present a method that aims to integrate the use of formal techniques in the design process of interactive applications, with particular attention to those applications where both usability and safety are main concerns. The method is supported by a set of tools. We will also discuss how the resulting environment can be helpful in reasoning about multi-user interactions using the task model of an interactive application. Examples are provided from a case study in the field of air traffic control.