Specifying multiple time granularities in interactive systems

Authors:
Maria Kutar;Carol Britton;Chrystopher Nehaniv
Affiliations:
University of Hertfordshire, College Lane, Hatfield, Herts, UK;University of Hertfordshire, College Lane, Hatfield, Herts, UK;University of Hertfordshire, College Lane, Hatfield, Herts, UK
Venue:
DSV-IS'00 Proceedings of the 7th international conference on Design, specification, and verification of interactive systems
Year:
2000

Citing 11
Cited 3

Response time and display rate in human performance with computers

ACM Computing Surveys (CSUR)
The myth of the infinitely fast machine

Proceedings of Third Conference of the British Computer Society Human-Interactio on People and computers III
A performance model of system delay and user strategy selection

CHI '92 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Pace and interaction

HCI'92 Proceedings of the conference on People and computers VII
Coupling the user interfaces of a multiuser program

ACM Transactions on Computer-Human Interaction (TOCHI)
Que Sera Sera: the problem of the future perfect in open and cooperative systems

HCI '94 Proceedings of the conference on People and computers IX
Delays and temporal incoherence due to the mediated status-status mappings

ACM SIGCHI Bulletin
Introduction to Default Logic

Introduction to Default Logic
Dealing with different time scales in formal specifications

IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Understanding calendar use

Human-Computer Interaction
Preferred subtheories: an extended logical framework for default reasoning

IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2

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
The Cognitive Dimensions of an Artifact vis-à-vis Individual Human Users: Studies with Notations for the Temporal Specification of Interactive Systems

CT '01 Proceedings of the 4th International Conference on Cognitive Technology: Instruments of Mind
Representation of time in digital calendars: An argument for a unified, continuous and multi-granular calendar view

International Journal of Human-Computer Studies

Quantified Score

Hi-index	0.00

Visualization

Abstract

Time plays an important role in interactive systems, but can be difficult to specify, particularly where temporal properties exist at several different time granularities. The relationship between different time granularities is complex and translation between them can be difficult. In this paper, we discuss this relationship and highlight the way in which translation between different time granularities within a single specification may have important consequences for system behaviour. Using the notation TRIO≠, we provide examples from an interactive case study of the ways in which system behaviour may be influenced, and illustrate some of the potential difficulties which arise in the specification of temporal properties such as pace and regularity.