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 influ enced, and illustrate some of the potential difficulties which arise in the specification of temporal properties such as pace and regularity.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Byrne, A. and Picking, R. (1997) Is Time Out to be the Big Issue? Presented at Time and the Web, Staffordshire University 19 June 1997. Available at: http://www.soc.staffs.ac.uk/seminars/web97/papers/picking.html
Corsetti, F., Crivelli, E., Mandrioli, D., Montanari, A., Morzenti, A., San Pietro, P., Ratto, E. (1991) “Dealing with different time scales in formal specifications”, 10th IEEE-ACM International Workshop on Software Specification and Design, Como, Italy, October 1991
Dix, A. J. (1987) The Myth of the infinitely Fast Machine. In People and Computers III Diaper and Winder (Eds.) CUP
Dix, A. J. (1992) Pace and Interaction. In People and Computers VII. Monk, Diaper and Harrison (Eds.) CUP
Dix, A. J. (1994a). Que Sera Sera — The Problem of Future Perfect in Open and Cooperative Systems. In People and Computers IX. Draper and Weir (Eds.) CUP
Dix, A. J. (1994b) Seven Years On, The Myth Continues. University of Huddersfield Research Report RR9405
Dix, A. J. (1996a) Natural Time. Position Paper for CHI 96 Basic Research Symposium, April 1996, Vancouver, BC. Available at: http://www.soc.staffs.ac.uk/~cmtajd/papers/natural/natural.html
Dix, A. J. (1996b) Temporal Aspects of Usability. Delays and temporal Incoherence Due to Mediated Status-Status Mappings. In SIGCHI Bulletin, Vol. 28 No 3, April 1996 Available at: http://www1.acm.org:82/sigs/sigchi/bulletin/1996.2/Alan-Dix.html
Dix, A. J., Ramduny, D. and Wilkinson, J. (1998) Interaction in the Large. In Interacting With Computers, Special Issue on Temporal Aspects of Usability
Johnson, C. (1995) The Challenge Of Time. In “The Design, Specification And Verification Of Interactive Systems”, Palanque, P. and Bastide, R. (Eds.) Springer Verlag 1995 pp345–357
Montanari, A. (1996) Metric and Layered Logic for Time Granularity. ILLC Dissertation Series 1996–02, Institute for Logic, Language and Computation, University of Amsterdam, 1996
Montanari A., Peron A. Policriti A., (1999) “Theories of Omega-Layered Metric Temporal Structures: Expressiveness and Decidability”. The Logic Journal of IGPL, vol.7, no.1, January 1999, pp. 79–102.
Näätänen, R., Muranen, V. and Merisalo, A. (1974) Timing of Expectancy Peak in Simple Reaction Time Situation. Actua Psychologica 38(6), 461–470
O’Donnell, P. and Draper, S. W. How Machine delays Change User Strategies. In Papers From A Workshop on Temporal Aspects of Usability. Johnson, C. and Gray, P. (Eds) University if Glasgow GIST Technical Report G95-1.
Parker, H. (1997) The User’s Experience of Time During Interaction. Technical Report CRC-97-1, Computing Research Centre, School of Computing and Management Sciences, Sheffield Hallam University, 1997.
Payne, S. J. (1993) Understanding Calendar Use. In Human Computer Interaction, Vol 8 pp83–100, 1993
Shneiderman, B. (1984) Response Time and Display Rate in Human Performance with Computers. In ACM Computing Surveys, Vol. 16, No 3, pp 265–285, September 1984
Teal, S. L. and Rudnicky, A. I. (1992) A Performance Model of System Delay and User Strategy Selection. In Proceedings of CHI 1992 (Monterey, California, May 3–7, 1992). ACM, New York.
Wickens, C. D. (1984) Engineering, Psychology and Human Performance. Glenview, IL: Scott, Foresman and Company
Besnard, P. (1989) An Introduction to Default Logic. Springer-Verlag 1989
Brewka, G. (1989) Preferred Subtheories: An extended logical framework for default reasoning. In Proceedings of the Eleventh International Joint Conference on Artificial Intelligence 1989, pp 1043–1048
Dewan, P. and Choudhary, R. Coupling the User Interfaces of a Multiuser Program. ACM Transactions on Computer Human Interaction. March 1995, Vol. 2, No. 1, pp 1–39.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kutar, M., Britton, C., Nehaniv, C. (2001). Specifying Multiple Time Granularities in Interactive Systems. In: Palanque, P., Paternò, F. (eds) Interactive Systems Design, Specification, and Verification. DSV-IS 2000. Lecture Notes in Computer Science, vol 1946. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44675-3_4
Download citation
DOI: https://doi.org/10.1007/3-540-44675-3_4
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-41663-0
Online ISBN: 978-3-540-44675-0
eBook Packages: Springer Book Archive