Use of task, user and formal models to support development of multimedia interactive systems

  • M. Mezzanotte
  • F. Paterno
Part of the IFIP Advances in Information and Communication Technology book series (IFIPAICT)


While several works have been developed which take into account either user tasks or user cognition in the design and development of user interfaces, there is a lack of proposals which try to integrate these two aspects in a systematic and precise approach. We have developed some work on task-driven architectural modelling of Interactive Systems, which should be a useful step towards obtaining more usable software. However, users have some specific requirements which cannot be captured by tasks. Here we show a possible approach to take into account both types of requirements in the development of software user interfaces.


User Model Software Architecture User Requirement Cognitive Effort Basic Task 
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.


  1. Anderson, J.R. (1983) The Architecture of Cognition, Hardard University Press.Google Scholar
  2. Bearne, M. and Jones, S. and Sapsford-Francis, J. (1994) Towards Usability Guidelines for Multimedia Systems, Proceedings ACM Multimedia 94, 105–110.Google Scholar
  3. Barnard, P. and May, J. (1995) Interactions with Adavanced Graphical Interfaces and the Deployment of Latent Human Knowledge in F.Paterno’ (ed.) Interactive Systems: Design, Specification, Verification, Springer Verlag, ISBN 3–540–59480–9Google Scholar
  4. Casner, S. (1991) A Task-Analytic Approach to the Automated Design of Graphic Presentations, ACM Transactions on Graphics, 10, N. 2, 111–151.CrossRefGoogle Scholar
  5. Card, S. and Moran, T. and Newell, A. (1983) The Psychology of Human-Computer Interaction, Lawrence Erlbaum Ass. Publ., Hillsdale, N.J.Google Scholar
  6. Duke, D. and Barnard, P. and Duce, D. and May, J. (1995) Systematic Development of the Human Interface, Amodeus Project Document ID/WP44.Google Scholar
  7. van Eijk, P. (1991) The Lotosphere Integrated Tool Environmen, Proceedings 4th International Conference on Formal Description Techniques (FORTE ’91), Sydney, North-Holland, 473–476.Google Scholar
  8. Hartson, R. and Gray, P. (1992), Temporal Aspects of tasks in the User Action Notation, Human-Computer Interaction, 7, 1–45.CrossRefGoogle Scholar
  9. ISO (1988) Information Processing Systems — Open Systems Interconnection — LOTOS — A Formal Description Technique Based on temporal Ordering of Observational Behaviour. ISO/IS 8807, ISO Central Secretariat.Google Scholar
  10. Jacobson, I. (1992) Object-Oriented Software Engineering — A Use Case Driven Approach, Addison Wesley.zbMATHGoogle Scholar
  11. Johnson, P. and Wilson, S. and Markopoulos, P. and Pycock, J. (1993) ADEPT, Advanced Design Environment for Prototyping with Task Models, Proceedings of INTERCHI’93, ACM Press, 56–57.Google Scholar
  12. Paterno’, F. A Theory of User-Interaction Objects, Journal of Visual Language and Computing, 5, N. 3, 227–249.Google Scholar
  13. Paterno, F. and Mezzanotte, M. (1995) Formal Analysis of User and System Interactions in the CERD Case Study, Proceedings EHCI’95 Conference, Chapman&Hall Publisher, Wyoming.Google Scholar
  14. Sutcliffe, A. and Faraday, P. (1994) Designing Presentations in Multimedia Interfaces, Proceedings ACM CHI’94, 92–98.Google Scholar

Copyright information

© IFIP International Federation for Information Processing 1996

Authors and Affiliations

  • M. Mezzanotte
    • 1
  • F. Paterno
    • 1
  1. 1.CNUCE - C.N.RPisaItaly

Personalised recommendations