Models of interactive systems: a case study on programmable user modelling

doi:10.1016/j.ijhcs.2003.08.004

2004-02-01

Ann Blandford

Richard Butterworth

Paul Curzon

DOI：10.1016/j.ijhcs.2003.08.004

原文链接

查看原文

摘要

En 中文

Models of interactive systems can be used to answer focused questions about those systems. Making the appropriate choice of modelling technique depends on what questions are being asked. We present two styles of interactive system model and associated verification method. We show how they contrast in terms of tractability, inspectability of assumptions, level of abstraction and reusability of model fragments. These trade-offs are discussed. We discuss how they can be used as part of an integrated formal approach to the analysis of interactive systems where the different formal techniques focus on specific problems raised by empirical investigations. Explanations resulting from the formal analyses can be validated with respect to the empirical data. The first modelling style, which we term 'operational', is derived directly from principles of rationality that constrain which user behaviours are modelled. Modelling involves laying out user knowledge of the system and task, and their goals, then applying the principles to reason about the space of rational behaviours. This style supports reasoning about user knowledge and the consequences of particular knowledge in terms of likely behaviours. It is well suited to reasoning about interactions where user knowledge is a key to successful interaction. Such models can readily be implemented as computer programs; one such implementation is presented here. Models of the second style, 'abstract', are derived from the operational models and thus retain important aspects of rationality. As a result of the simplification, mathematical proof about selected properties of the interactive system, such as safety properties, can be tractably applied to these models. This style is well suited to cases where the user adopts particular strategies that can be represented succinctly within the model. We demonstrate the application of the two styles for understanding a reported phenomenon, using a case study on electronic diaries. (C) 2003 Elsevier Ltd. All rights reserved.

Keyword:

SPECIAL-ISSUE

CALENDARS

AI总结

对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。

期刊

International Journal of Human-Computer Studies

IF:

5.1

论文数:

2.9K

被引数:

8.9K

机构

暂无机构信息

引用论文

The Effects of Glyburide on Apoptosis and Endoplasmic Reticulum Stress in INS-1 Cells in a Glucolipotoxic Condition

Diabetes & Metabolism Journal

IF0

2011-01-01

OAAI

Min Jeong Kwon; Hye Suk Chung; Chang Shin Yoon; Jung Hae Ko; Hae Jung Jun; Tae Kyun Kim; Soon Hee Lee; Kyung Soo Ko; Byoung Doo Rhee; Mi Kyung Kim; Jeong Hyun Park

MAGNET CONSOLE DESIGN OF AN NMR-BASED SENSOR TO DETECT RIPENESS OF FRUIT

Transactions of the ASAE

IF0

1990-01-01

PREAI

S. I. Cho; G. W. Krutz; H. G. Gibson; K. Haghighi

Surface Triangular Mesh and Volume Tetrahedral Mesh Generations for Biomolecular Modeling

Lecture Notes in Computational Vision and Biomechanics

IF0

2013-01-01

PREAI

Minxin Chen; Bin Tu; Benzhuo Lu