Abstract
This paper discusses the nature of research in specifying and verifying interactive systems; it argues that researchers must assess the relevance of the models they propose to the concerns of user interface designers. The paper outlines a semi-formal representation of user interface software and reports a case study which assesses the relevance of the representation to the designer who is interested in the usability of a system. The paper discusses this case study and its findings, and discusses some methodological concerns about the validation of design representations of interactive systems.
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
Abowd, G.D. (1992) Formal Aspects of Human Computer Interaction, PhD thesis, University of Oxford, Technical Report YCS 161, University of York.
Bodart, F. & Vanderdonckt, J. (Eds.) Design, Specification and Verification of Interactive Systems ‘96, Springer(Wien), 1996.
Bowen, J.P. & Hinchey, M.G. (1995) Seven more myths of formal methods. IEEE Software, Vol. 12, No. 4, pp. 34–41.
Coutaz, J. (1987) PAC, an Object Oriented Model for Dialog Design. Proceedings INTERACT-’87, North-Holland: Elsevier, 431–436.
Coutaz, J., Nigay, L. & Salber, D. (1995). Agent based modelling for interactive systems. AMODEUS project report, System Modelling, WP53, ftp://ftp.mrc-apu.cam.ac.uk/pub/amodeus/pub/amodeus, 1995.
Dix, A. (1991) Formal Methods for Interactive Systems, Cambridge University Press, 1991.
Dix, A. & Abowd, G. (1996) Modelling status and event behaviour of interactive systems. Software Engineering Journal, Vol. 11, No 6, pp 334–346.
Duke, D., Faconti, F., Harrison, M.D. & Paternó, F. (1994) Unifying Views of Interactors. In Proceedings of the Workshop on Advanced Visual Interfaces ‘94, Bari, ACM Press, pp. 143–152.
Fields, B., Merriam, N., & Dearden, A. (1997) DMVIS: Design, Modelling and Validation of Interactive Systems. In [14].
Graham, M. (1997) Validation of the ADC model as an implementation architecture for user interface software. MSc Project Report, Dpt. of Computer Science, Queen Mary and Westfield College, University of London.
Green, M. (1986) A Survey of Three Dialogue Models. ACM Transactions on Graphics, Vol. 5, No. 3, pp. 244–275.
Hall, A. (1997) Do interactive systems need specifications? In [14]
Hartson R.H., Siochi, A.C. & Hix, D. (1990) The UAN: A user oriented representation for direct manipulation systems. ACM Transactions on Information Systems, Vol. 8, 181–203.
Harrison, M.D. & Torres, J-C. (Eds.) Design, Specification and Verification of Interactive Systems ‘97, Springer (Wien), 1997.
Hill, R.D., Brinck, T., Rohall, S.L., Patterson, J.F. & Wilner, W. (1994) The Rendezvous architecture and language for constructing multiuser applications, ACM Transactions on Computer Human Interaction, Vol. 1, No. 2, pp. 81–125.
Johnson, C. (1996) The Namur Principles: Criteria for the evaluation of user interface notations. Report on working-group discussion, DSV-IS’96, http://www.info.fundp.ac.be/~jvd/dsvis/table96.html.
Krasner, G.E., & Pope, S.T. (1988) A Cookbook For Using the Model-View-Controller User Interface Paradigm in The Smalltalk-80 System. Journal of Object Oriented Programming, 1, 3, 26–49.
ISO (1989) Information Processing Systems-Open Systems Interconnection-LOTOS-A Formal Description Technique based on the Temporal Ordering of Observational Behaviour, ISO/IEC 8807, International Organisation for Standardisation, Geneva.
Markopoulos, P, (1995) On the Expression of Interaction Properties within an Interactor Model. In [24].
Markopoulos, P. (1997) A formal compositional model for the specification of user interfaces. PhD Thesis, Queen Mary and Westfield College, University of London, June 1997.
Monk, A., Wright, P., Haber, J. & Davenport, L. (1993). Improving your Human-Computer Interface, BCS Practitioners Series, Prentice-Hall.
Newman, W.M. & Lamming, M.G. (1995) Interactive Systems Design, Addison-Wesley.
Nielsen, J. & Molich, R. (1990) Heuristic evaluation of user interfaces, Proceedings CHI’90, ACM Press.
Palanque, P. & Bastide, R. (Eds.) Design, Specification and Verification of Interactive Systems ‘95, Springer (Wien), 1995.
Papatzanis, G. (1997) Validation of Semi-Formal Representations for User-Interface Specification. MSc Project Report, Department of Computer Science, Queen Mary and Westfield College, University of London.
Paternó, F. & Faconti, G. (1992) On the use of LOTOS to describe graphical interaction. In Monk, A., Diaper, D. & Harrison, M.D. (Eds.) People and Computers VII, Proc. HCI’92, Cambridge University Press, pp. 155–173.
Paternó, F. (Ed.) Interactive Systems: Design, Specification and Verification, Springer, 1994.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1998 Springer-Verlag Wien
About this paper
Cite this paper
Markopoulos, P., Papatzanis, G., Johnson, P., Rowson, J. (1998). Validating semi-formal specifications of interactors as design representations. In: Markopoulos, P., Johnson, P. (eds) Design, Specification and Verification of Interactive Systems ’98. Eurographics. Springer, Vienna. https://doi.org/10.1007/978-3-7091-3693-5_8
Download citation
DOI: https://doi.org/10.1007/978-3-7091-3693-5_8
Publisher Name: Springer, Vienna
Print ISBN: 978-3-211-83212-7
Online ISBN: 978-3-7091-3693-5
eBook Packages: Springer Book Archive