Validating semi-formal specifications of interactors as design representations

  • P. Markopoulos
  • G. Papatzanis
  • P. Johnson
  • J. Rowson
Conference paper
Part of the Eurographics book series (EUROGRAPH)


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.


User Interface Formal Method Interactive System Design Issue Design Representation 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Abowd, G.D. (1992) Formal Aspects of Human Computer Interaction, PhD thesis, University of Oxford, Technical Report YCS 161, University of York.Google Scholar
  2. [2]
    Bodart, F. & Vanderdonckt, J. (Eds.) Design, Specification and Verification of Interactive Systems ‘96, Springer(Wien), 1996.MATHGoogle Scholar
  3. [3]
    Bowen, J.P. & Hinchey, M.G. (1995) Seven more myths of formal methods. IEEE Software, Vol. 12, No. 4, pp. 34–41.CrossRefGoogle Scholar
  4. [4]
    Coutaz, J. (1987) PAC, an Object Oriented Model for Dialog Design. Proceedings INTERACT-’87, North-Holland: Elsevier, 431–436.Google Scholar
  5. [5]
    Coutaz, J., Nigay, L. & Salber, D. (1995). Agent based modelling for interactive systems. AMODEUS project report, System Modelling, WP53,, 1995.Google Scholar
  6. [6]
    Dix, A. (1991) Formal Methods for Interactive Systems, Cambridge University Press, 1991.Google Scholar
  7. [7]
    Dix, A. & Abowd, G. (1996) Modelling status and event behaviour of interactive systems. Software Engineering Journal, Vol. 11, No 6, pp 334–346.CrossRefGoogle Scholar
  8. [8]
    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.CrossRefGoogle Scholar
  9. [9]
    Fields, B., Merriam, N., & Dearden, A. (1997) DMVIS: Design, Modelling and Validation of Interactive Systems. In [14].Google Scholar
  10. [10]
    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.Google Scholar
  11. [11]
    Green, M. (1986) A Survey of Three Dialogue Models. ACM Transactions on Graphics, Vol. 5, No. 3, pp. 244–275.CrossRefGoogle Scholar
  12. Hall, A. (1997) Do interactive systems need specifications? In [14]Google Scholar
  13. [13]
    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.CrossRefGoogle Scholar
  14. [14]
    Harrison, M.D. & Torres, J-C. (Eds.) Design, Specification and Verification of Interactive Systems ‘97, Springer (Wien), 1997.MATHGoogle Scholar
  15. [15]
    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.CrossRefGoogle Scholar
  16. Johnson, C. (1996) The Namur Principles: Criteria for the evaluation of user interface notations. Report on working-group discussion, DSV-IS’96, Scholar
  17. [17]
    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.Google Scholar
  18. [18]
    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.Google Scholar
  19. Markopoulos, P, (1995) On the Expression of Interaction Properties within an Interactor Model. In [24].Google Scholar
  20. [20]
    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.Google Scholar
  21. [21]
    Monk, A., Wright, P., Haber, J. & Davenport, L. (1993). Improving your Human-Computer Interface, BCS Practitioners Series, Prentice-Hall.Google Scholar
  22. [22]
    Newman, W.M. & Lamming, M.G. (1995) Interactive Systems Design, Addison-Wesley.Google Scholar
  23. [23]
    Nielsen, J. & Molich, R. (1990) Heuristic evaluation of user interfaces, Proceedings CHI’90, ACM Press.Google Scholar
  24. [24]
    Palanque, P. & Bastide, R. (Eds.) Design, Specification and Verification of Interactive Systems ‘95, Springer (Wien), 1995.MATHGoogle Scholar
  25. [25]
    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.Google Scholar
  26. [26]
    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.Google Scholar
  27. [27]
    Paternó, F. (Ed.) Interactive Systems: Design, Specification and Verification, Springer, 1994.Google Scholar

Copyright information

© Springer-Verlag Wien 1998

Authors and Affiliations

  • P. Markopoulos
    • 1
  • G. Papatzanis
    • 1
  • P. Johnson
    • 1
  • J. Rowson
    • 1
  1. 1.Department of Computer Science Queen Mary and Westfield CollegeUniversity of LondonLondonUK

Personalised recommendations