Improving Interactive Systems Usability Using Formal Description Techniques: Application to HealthCare

  • Philippe Palanque
  • Sandra Basnyat
  • David Navarre
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4799)


In this paper we argue that the formal analysis of an interactive medical system can improve their usability evaluation such that potential erroneous interactions are identified and improvements can be recommended. Typically usability evaluations are carried out on the interface part of a system by human-computer interaction/ergonomic experts with or without end users. Here we suggest that formal specification of the behavior of the system supported by mathematical analysis and reasoning techniques can improve usability evaluations by proving usability properties. We present our approach highlighting that formal description techniques can support in a consistent way usability evaluation, contextual help and incident and accident analysis. This approach is presented on a wireless patient monitoring system for which adverse event (including fatalities) reports are publicly available from the US Food and Drug Administration (FDA) Manufacturer and User Facility Device Experience (MAUDE) database.


Human–Computer Interaction Incident and Accident Investigation Formal Description Techniques Medical Informatics Patient Monitoring 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Adolf, J.A., Holden, K.L.: Touchscreen usability in microgravity. In: Tauber, M.J. (ed.) CHI 1996. Conference Companion on Human Factors in Computing Systems: Common Ground, ACM Press, New York (1996)Google Scholar
  2. 2.
    Barboni, E., Navarre, D., Palanque, P., Basnyat, S.: Exploitation of Formal Specification Techniques for ARINC 661 Interactive Cockpit Applications. In: HCI Aero 2006. Proceedings of HCI aero conference, Seatle, USA (September 2006)Google Scholar
  3. 3.
    Basnyat, S., Chozos, N., Palanque, P.: Multidisciplinary perspective on accident investigation. Reliability Engineering & System Safety 91(12), 1502–1520 (2006)CrossRefGoogle Scholar
  4. 4.
    Basnyat, S., Chozos, N., Johnson, C., Palanque, P.: Redesigning an Interactive Safety-Critical System to Prevent an Accident from Reoccurring. In: 24th European Annual Conference on Human Decision Making and Manual Control (EAM) Organized by the Institute of Communication and Computer Systems, Athens, Greece (October 17-19, 2005)Google Scholar
  5. 5.
    Bastide, R., Palanque, P., Sy, O., Le, D.-H., Navarre, D.: Petri Net Based Behavioural Specification of CORBA Systems. In: ATPN 1999. International Conference on Application and Theory of Petri nets. LNCS, Springer, Heidelberg (1999)Google Scholar
  6. 6.
    Bastien, C., Scapin, D.: International Journal of Human-Computer Interaction.  7(2), 105–121 (1995)Google Scholar
  7. 7.
    Bernonville, S., Leroy, N., Kolski, C., Beuscart-Zéphir, M.: Explicit combination between Petri Nets and ergonomic criteria: basic principles of the ErgoPNets method. In: EAM 2006. European Annual Conf. on Human Decision-Making and Manual Control, Universitaires de Valenciennes (2006) ISBN 2-905725-87-7Google Scholar
  8. 8.
    Bernhaupt, R., Navarre, D., Palanque, P., Winckler, M.: Model-Based Evaluation: A New Way to Support Usability Evaluation of Multimodal Interactive Applications. In: Law, E., Thora Hvannberg, E., Cockton, G. (eds.) Maturing Usability: Quality in Software, Interaction and Quality, Springer, Heidelberg (2007) (Accepted for publication)( to appear)Google Scholar
  9. 9.
    Bredereke, J., Lankenau, A.: A Rigorous View of Mode Confusion. In: Anderson, S., Bologna, S., Felici, M. (eds.) SAFECOMP 2002. LNCS, vol. 2434, pp. 19–31. Springer, Heidelberg (2002)Google Scholar
  10. 10.
    Coutaz, J., Bérard, F., Carraux, E., Crowley, J.L.: Early Experience with the Mediaspace CoMedi. In: Proceedings of the IFIP Tc2/Tc13 Wg2.7/Wg13.4 Seventh Working Conf. on Engineering For Human-Computer interaction, pp. 57–72. Kluwer Academic Publishers, Dordrecht (1999)Google Scholar
  11. 11.
    Fourney, D., Carter, J.: Proceedings of GOTHI-05 Guidelines On Tactile and Haptic Interactions. In: Fourney, D., Carter, J. (eds.) USERLab, Univ. of Saskatchewan (2005),
  12. 12.
    Furnas, G.W.: Generalized Fisheye Views. In: Proc of ACM CHI 1986, pp. 16–23. ACM, New York (1986)Google Scholar
  13. 13.
    Holzinger, A.: Usability Engineering for Software Developers. Communications of the ACM 48(1), 71–74 (2005)CrossRefGoogle Scholar
  14. 14.
    Holzinger, A., Errath, M.: Designing Web-Applications for Mobile Computers: Experiences with Applications to Medicine. In: Stary, C., Stephanidis, C. (eds.) User-Centered Interaction Paradigms for Universal Access in the Information Society. LNCS, vol. 3196, pp. 262–267. Springer, Heidelberg (2004)Google Scholar
  15. 15.
    Holzinger, A.: Finger Instead of Mouse: Touch Screens as a means of enhancing Universal Access. In: Carbonell, N., Stephanidis, C. (eds.) Universal Access. Theoretical Perspectives, Practice, and Experience. LNCS, vol. 2615, pp. 387–397. Springer, Heidelberg (2003)Google Scholar
  16. 16.
    Holzinger, A., Sammer, P., Hofmann-Wellenhof, R.: Mobile Computing in Medicine: Designing Mobile Questionnaires for Elderly and Partially Sighted People. In: Miesenberger, K., Klaus, J., Zagler, W., Karshmer, A.I. (eds.) ICCHP 2006. LNCS, vol. 4061, pp. 732–739. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  17. 17.
    Kohn, L., Corrigan, J., Donaldson, M.: To Err Is Human: Building a Safer Health System. In: Institute of Medicine.Committee on Quality of Health Care in America, National Academy Press, Washington DC (1999)Google Scholar
  18. 18.
    Lamping, J., Rao, R.: Laying out and visualizing large trees using a hyperbolic space. In: ACM Symp User Interface Software and Technology, pp. 13–14. ACM Press, New York (1994)Google Scholar
  19. 19.
    Loer, K., Harrison, M.: Formal interactive systems analysis and usability inspection methods: Two incompatible worlds? In: Palanque, P., Paternó, F. (eds.) DSV-IS 2000. LNCS, vol. 1946, pp. 169–190. Springer, Heidelberg (2001)Google Scholar
  20. 20.
    Mackinlay, J.D., Robertson, G.G., Card, S.K.: Perspective Wall: Detail and Context Smoothly Integrated. In: Proceedings of SIGCHI 1991, pp. 173–179 (1991)Google Scholar
  21. 21.
    Memmel, T., Reiterer, H., Holzinger, A.: Agile Methods and Visual Specification in Software Development: a chance to ensure Universal Access. In: Coping with Diversity in Universal Access, Research and Development Methods in Universal Access. LNCS, vol. 4554, Springer, Heidelberg (2007)CrossRefGoogle Scholar
  22. 22.
    Mori, G., Paternò, F., Santoro, C.: CTTE: Support for Developing and Analyzing Task Models for Interactive System Design. IEEE Transactions on Software Engineering , 797–813 (August 2002)Google Scholar
  23. 23.
    Navarre, D.: Contribution à l’ingénierie en Interaction Homme Machine - Une technique de description formelle et un environnement pour une modélisation et une exploitation synergiques des tâches et du système. PhD Thesis. Univ. Toulouse I (July 2001)Google Scholar
  24. 24.
    Navarre, D., Palanque, P., Bastide, R., Sy, O.: Structuring Interactive Systems Specifications for Executability and Prototypability. In: Palanque, P., Paternó, F. (eds.) DSV-IS 2000. LNCS, vol. 1946, Springer, Heidelberg (2001)Google Scholar
  25. 25.
    Navarre, D., Palanque, P., Bastide, R.: Reconciling Safety and Usability Concerns through Formal Specification-based Development Process. In: HCI-Aero 2002, MIT Press, USA (2002)Google Scholar
  26. 26.
    NHS Expert Group on Learning from Adverse Events in the NHS. An organisation with a memory. Technical report, National Health Service, London, United Kingdom (2000),
  27. 27.
    Nielsen, J., Molich, R.: Heuristic evaluation of user interfaces. In: Proceedings of CHI 1990, pp. 249–256. ACM, New York (1990)Google Scholar
  28. 28.
    Nielsen, J.: Heuristic evaluation. In: Nielsen, J., Mack, R.L. (eds.) Usability Inspection Methods, John Wiley & Sons, New York (1994)Google Scholar
  29. 29.
    Nielsen, J. (2005) last accessed 21/06/2007 Google Scholar
  30. 30.
    Norman, D.A., Draper, S.W. (eds.): User-Centred System Design: New Perspectives on Human-Computer Interaction. Lawrence Earlbaum Associates, Hillsdale (1986)Google Scholar
  31. 31.
    Palanque, P., Bastide, R.: Formal specification of HCI for increasing software’s ergonomics. In: ERGONOMICS 1994, Warwick, England, 19-22 April 1994 (1994)Google Scholar
  32. 32.
    Palanque, P., Bernhaupt, R., Navarre, D., Ould, M., Winckler, M.: Supporting Usability Evaluation of Multimodal Man-Machine Interfaces for Space Ground Segment Applications Using Petri net Based Formal Specification. In: Ninth International Conference on Space Operations, Rome, Italy (June 18-22, 2006)Google Scholar
  33. 33.
    Palanque, P., Farenc, C., Bastide, R.: Embedding Ergonomic Rules as Generic Requirements in a Formal Development Process of Interactive Software. In: proceedings of IFIP TC 13 Interact 99 conference, Edinburg, Scotland, 1-4 September 1999 (1999)Google Scholar
  34. 34.
    Palanque, P., Bastide, R., Dourte, L.: Contextual Help for Free with Formal Dialogue Design. In: Proc. of HCI International 93. 5th Int. Conf. on Human-Computer Interaction joint with 9th Symp. on Human Interface (Japan), North Holland (1993)Google Scholar
  35. 35.
    Pierotti, D.: Heuristic Evaluation - A System Checklist, Xerox Corporation (1995), Available onlineat
  36. 36.
    Scapin, D. L.: Guide ergonomique de conception des interfaces homme-machine (Rapport de Recherche No. 77). INRIA - Rocquencourt – France (1986)Google Scholar
  37. 37.
    Spence, R., Apperley, M.: Data Base Navigation: An Office Environment for the Professional Behaviour and Information Technology 1(1), 43–54 (1982)Google Scholar
  38. 38.
    Thimbleby, H.: Interaction walkthrough - a method for evaluating interactive systems. In: The XIII International Workshop on Design, Specification and Verification of Interactive Systems, July 26-8, 2006 Trinity College, Dublin(2006)Google Scholar
  39. 39.

Copyright information

© Springer-Verlag Berlin Heidelberg 2007

Authors and Affiliations

  • Philippe Palanque
    • 1
  • Sandra Basnyat
    • 1
  • David Navarre
    • 1
  1. 1.LIIHS-IRIT, Université Paul Sabatier – Toulouse III, 118 route de Narbonne, 31062, Toulouse Cedex 4 

Personalised recommendations