Abstract
Temporal ambiguities occur in user interface specifications when the application of multiple requirements can be interpreted in more than one way depending on when their conditions are evaluated. This paper discusses the resolution of temporal ambiguities using two approaches. The first approach involves the writer clarifying the intention of statements in an informal natural language specification. The second approach involves the use of a principle of ordered events to guide the writing and rewriting of the specification to avoid the ambiguity. A method for automatically detecting such ambiguities is presented, using an abstract specification model based on the language FLUID.
This is a preview of subscription content, log in via an institution to check access.
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
Alexander, H. (1990), Structuring Dialogues using CSP, in M. D. Harrison & H. W. Thimbleby (eds.), Formal Methods in Human–Computer Interaction, Cambridge Series on Human–Computer Interaction, Cambridge University Press, chapter 9, pp. 273–95.
Chesson, P. & Johnston, L (1996), FLUID: Specifying Data Flow and Control for User Interfaces, in L. Yong, L. Herman, Y. Leung & J. Moyes (eds.), Proceedings of the First Asia-Pacific Conference on Computer–Human Interaction,Information Technology Institute, pp.171–80.
Chesson, P., Johnston, L. & Dart, P. (1997), Detecting and Resolving Temporal Ambiguities in User Interface Specifications, Technical Report 97/29, Department of Computer Science, The University of Melbourne.
Curry, M. & Monk, A. (1995), “Dialogue Modelling of Graphical User Interfaces with a Production System”, Behaviour & Information Technology 14 (1), 41–55.
Elwert, T. & Schlungbaum, E. (1995), Modelling and Generation of Graphical User Interfaces in the TADEUS Approach, in P. Palanque & R. Bastide (eds.), Design, Specification and Verification of Interactive Systems, Springer-Verlag, pp. 193–208.
Hartson, H. & Gray, P. (1992), `Temporal Aspects of Tasks in the User Action Notation“, Human–Computer Interaction 7, 1–45.
Hill, R. (1986), “Supporting Concurrency, Communication, and Synchronization in Human–Computer Interaction — The Sassafras UIMS”, ACM Transactions on Graphics 5 (3), 179–210.
Jacob, R. (1986), “A Specification Language for Direct-manipulation User Interfaces”, ACM Transactions on Graphics 5 (4), 283–317.
Johnson, C. (1990), Using Temporal Logic to Prototype Interactive Systems, in D. Diaper, D. Gilmore, G. Cockton & B. Shackel (eds.), Proceedings of INTERACT’90 — Third IFIP Conference on Human–Computer Interaction, Elsevier Science, pp. 1019–20.
Olsen, D. (1990), Propositional Production Systems for Dialog Description., in J. C. Chew & J. Whiteside (eds.), Proceedings of CHI’90: Human Factors in Computing Systems, ACM Press, pp.57–63.
Paterno’, F., Mancini, C. & Meniconi, S. (1997), ConcurTaskTrees: A Diagrammatic Notation for Specifying Task Models, in S. Howard, J. Hammond & G. K. Lindgaard (eds.), Human–Computer Interaction — INTERACT’97: Proceedings of the Fifth IFIP Conference on Human–Computer Interaction, Chapman & Hall, pp. 362–9.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1998 Springer-Verlag London
About this paper
Cite this paper
Chesson, P., Johnston, L., Dart, P. (1998). Detecting and Resolving Temporal Ambiguities in User Interface Specifications. In: Johnson, H., Nigay, L., Roast, C. (eds) People and Computers XIII. Springer, London. https://doi.org/10.1007/978-1-4471-3605-7_11
Download citation
DOI: https://doi.org/10.1007/978-1-4471-3605-7_11
Publisher Name: Springer, London
Print ISBN: 978-3-540-76261-4
Online ISBN: 978-1-4471-3605-7
eBook Packages: Springer Book Archive