Abstract
Many existing interface specification notations cannot capture the temporal properties that characterise interaction with distributed systems, such as the Internet browsers Mosaic and Netscape. This paper presents a range of formalisms that avoid this limitation. We present a spectrum of approaches that range from the purely textual constructs of branching time logics, through the mixed graphical and textual notation of Extended User Action Notation (XUAN) to the fully graphical representations of Petri Nets. It is concluded that each notation highlights different aspects of the interaction problems that arise when using distributed systems. It is also argued that these notations all suffer from significant usability problems. The paper ends by presenting an agenda for future research into the development of temporal notations for the design of human computer interfaces.
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
Bastide, R. and Palanque, P. (1990) Petri Net Objects For The Design, Validation And Prototyping Of User-Driven Interfaces. In D. Diaper, D. Gilmore, G. Cockton and B. Shackel, editors, Interact’90, pages 625–631, Elsevier Science Publishers, North Holland.
Berners-Lee, T.J., Cailliau, R. and Groff, J.-F. (1992) The World Wide Web, Computer Networks And ISDN Systems, (25): 454–459.
Clarke, E.M. and Emerson, E.A. (1982) The Design And Synthesis Of Synchronisation Skeletons Using Branching Time Temporal Logic. In D. Kozen (ed.) Logic Of Programs 1981, 52–71, LNCS 131, Springer Verlag, Berlin, Germany.
Coulouris, G., Dollimore, J. and Kindberg, T. (1994) Distributed Systems: Concepts And Design, Addison Wesley, Wokingham, United Kingdom.
Deng, Y., Perkusich, A., Figueired, J. and Chang, S.K. (1993) Integrating Software Engineering Methods And Petri Nets For The Specification And Prototyping Of Complex Information Systems. In Proceedings of the 1.4th International Conference On The Application And Theory Of Petri Nets, Chicago, USA, June 1993, pp. 206–223.
Dix, A. (1991) Formal Methods For Interactive Systems, Academic Press, London, United Kingdom.
Gray, P.D., England, D. and McGowan, S. (1994) XUAN: Enhancing UAN To Capture Temporal Relations Among Actions. In G. Cockton, S.W. Draper and G.R.S. Weir, editors, People And Computers IX, pages 301–312, Cambridge University Press, Cambridge, United Kingdom.
Hix, D. and Hartson, H.R. (1993), Developing User Interfaces, John Wiley and Sons, London, 1993.
Johnson, C.W., McCarthy, J. and Wright, P.C. (1995) Using Petri Nets To Support Natural Language In Accident Reports. To appear in Ergonomics.
Johnson, C.W. (1991) Declarative Graphics And Dynamic Interaction. In F.H. Post and W. Barth, editors, Eurographics ‘81, 195–207. Elsevier, North Holland.
Johnson, C.W. (1992) A Formal Approach To The Integration Of Human Factors And Systems Engineering, DPhil thesis, University Of York, York, United Kingdom. Available as technical report YCST 95 /05.
Johnson, C.W. (1993) A Formal Approach To The Presentation of CSCW Systems. In J.L. Alty, D. Diaper and S. Guest, editors, People And Computers VIII, 335–352, Cambridge University Press, Cambridge, United Kingdom.
Johnson, C.W. (1993a) A Probabilistic Logic For The Development Of Safety-Critical Interactive Systems, International Journal of Man-Machine Studies, (38)2: 333–351.
Johnson, C.W. (1995) Using Z To Support The Design Of Interactive, Safety-Critical Systems. The Software Engineering Journal, (10)2: 49–60.
Kramer, B. (1991) Introducing The GRASPIN Specification Language SEGRAS, Journal Of Systems And Software, 15 (1): 17–31.
Kuhmann, W. (1989) The Stress Inducing Properties Of System Response Times, Ergonomics, (32)3: 271–280.
Martin, J.L. (1993) Travels With Gopher, IEEE Computer, (26)5: 84–7.
Miles, V., Johnson, C.W., McCarthy, J. and Harrison, M. (1991) Supporting Prediction In Complex Dynamic Systems. In D. Diaper and N. Hammond (editors), People And Computers VI, 133–144, Cambridge University Press, Cambridge; United Kingdom.
Palanque, P. (1995), Integrating UAN and Object Petri Nets, Personal Correspondence.
Pejtersen, A.M., (1989) A. Library System For Information Retrieval Based On A Cognitive Task Analysis And Supported By An Icon Based Interface. In ACM SIGIR Proceedings, Boston. ACM Press, New York, United States of America.
Peterson, J.L. (1977), Petri Nets, Computing Surveys, 9 (3): 223–252.
Sharratt, B. (1990), Memory-Cognition-Action Tables: A Pragmatic Approach To Analytical Modelling. In D. Diaper, D. Gilmore, G. Cockton and B. Shackel, editors, Interact’90, pages 271–275, Elsevier Science Publishers, North Holland.
Sufrin, B. and He, J. (1990), Specification, Refinement And Analysis Of Interactive Processes. In M. D. Harrison and H. W. Thimbleby, editors, Formal Methods in Human Computer Interaction, pages 153–200, Cambridge University Press, Cambridge, United Kingdom, 1990.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1995 Springer-Verlag/Wien
About this paper
Cite this paper
Gray, P., Johnson, C. (1995). Requirements For The Next Generation Of User Interface Specification Languages. In: Palanque, P., Bastide, R. (eds) Design, Specification and Verification of Interactive Systems ’95. Eurographics. Springer, Vienna. https://doi.org/10.1007/978-3-7091-9437-9_8
Download citation
DOI: https://doi.org/10.1007/978-3-7091-9437-9_8
Publisher Name: Springer, Vienna
Print ISBN: 978-3-211-82739-0
Online ISBN: 978-3-7091-9437-9
eBook Packages: Springer Book Archive