Formal analysis and automatic generation of user interfaces: Approach, methodology, and an algorithm

Human Factors

Volumn 49, Issue 2, 2007, Pages 311-330

  Heymann, Michael ^a   Degani, Asaf ^b  

^a TECHNION ISRAEL INSTITUTE OF TECHNOLOGY   (Israel)

^b NASA AMES RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; AUTOMATION; HUMAN COMPUTER INTERACTION; INFORMATION ANALYSIS; MATHEMATICAL MODELS; USER INTERFACES;

FORMAL ANALYSIS; HUMAN-AUTOMATION INTERACTION;

HUMAN ENGINEERING;

ALGORITHM; ARTICLE; AUTOMATION; COMPUTER INTERFACE; CONCEPTUAL FRAMEWORK; DATA ANALYSIS; HUMAN; HUMAN FACTORS RESEARCH; MAN MACHINE INTERACTION; TASK PERFORMANCE;

ALGORITHMS; COMPUTER USER TRAINING; HUMANS; MAN-MACHINE SYSTEMS; MANUALS; MODELS, THEORETICAL; USER-COMPUTER INTERFACE;

EID: 33947708353     PISSN: 00187208     EISSN: None     Source Type: Journal    
DOI: 10.1518/001872007X312522     Document Type: Article

References (38)

1. Bauer, B. (1996). Generating user interface from formal specifications of the application. In J. Vanderdonckt (Ed.), Proceedings of the 1996 Computer-Aided Design of User Interfaces Conference (pp. 141-152). Namur, Belgium: Presses Universitaires de Namur.
2. Bösser, T., & Melchoir, E. M. (1992). The SANE toolkit for cognitive modelling and user-centered design. In M. Galer, S. Harker, & J. Ziegler (Eds.), Methods and Tools in User-Centred Design for Information Technology (pp. 93-126). Amsterdam: North-Holland.
3. Browne, T., Davila, D., Rugaber, S., & Stirewalt, K. (1997). Using declarative descriptions to model user interfaces with MASTERMIND. In F. Paternò & P. Palanque (Eds.), Formal methods in human-computer interaction (pp. 93-120). London: Springer-Verlag.
4. Degani, A. (1996). Modeling human-machine systems: On modes, error, and patterns of interaction. Unpublished doctoral dissertation, Georgia Institute of Technology, Atlanta.
5. Degani, A. (2004). Taming HAL: Designing interfaces beyond 2001. New York: Palgrave Macmillan.
6. Degani, A., & Heymann, M. (2002). Formal verification of human-automation interaction. Human Factors, 44, 28-43.
7. Degani, A., Heymann, M., & Shafto, M. (1999). Formal aspects of procedures: The problem of sequential correctness. In Proceedings of the Human Factors ana Ergonomics Society 43rd Annual Meeting (pp. 1113-1117). Santa Monica, CA: Human Factors and Ergonomics Society.
8. Dix, A. J. (1991). Formal methods for interactive systems. London: Academic Press.
9. Doherty, G. J., Campos, J. C., & Harrison, M. D. (2000) Representational reasoning and verification. Formal Aspects of Computing, 3, 260-277.
10. Duke, D. J., Fields, B., & Harrison, M. D. (1999). A case study in the specification and analysis of design alternatives for a user interface. Formal Aspects of Computing, 11, 107-131.
11. Foley, J. D., & Wallace, V. L. (1974). The art of natural graphic man-machine conversation. Proceedings of the IEEE, 62, 462-471.
12. Harel, D. (1987). Statecrafts: A visual formalism for complex systems. Science of Computer Programming, 8, 231-274.
13. Harel, D., & Politi, M. (1998). Modeling reactive systems with State-charts: The STATEMATE approach. New York: McGraw-Hill.
14. Harrison, M., & Thimbleby, H. (1990). Formal methods in human-computer interaction. Cambridge, UK: Cambridge University Press.
15. Heymann, M., & Degani, A. (2002). On abstractions and simplifications in the design of human-automation interfaces (NASA Tech. Memorandum 2002-211397). Moffett Field, CA: NASA Ames Research Center.
16. Jacob, R. J. K. (1983). Using formal specifications in the design of human-computer interfaces. Communications of the ACM, 26, 259-264.
17. Jacob, R. J. K. (1986). A specification language for direct-manipulation user interface. ACM Transactions on Graphics, 5, 283-317.
18. Kam, T., Villa, T., Brayton, R., & Sangiovanni-Vincentelli, A. (1997). Implicit computation of compatible sets for state minimization of ISFSM's. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 16, 657-676
19. Kieras, D. E., & Poison, P. G. (1985). An approach to the formal analysis of user complexity. International Journal of Man-Machine Studies, 22, 365-394.
20. Kohavi, Z. (1978). Switching and finite automata theory. New York: McGraw-Hill.
21. Krzystrof, G., & Weld, D. (2004). SUPPLE: Automatically generating user interfaces. In Proceedings of the 2004 International Conference on Intelligent User Interfaces (pp. 93-100). New York: Association for Computing Machinery.
22. Leveson, N. (1995). Safeware: System safety and computers. New York: Addison-Wesley.
23. National Transportation Safety Board. (1997). Grounding of the Panamanian passenger ship Royal Majesty on Rose and Crown shoal near Nantucket, Massachusetts on June 10, 1995. Washington, DC: Author. (NTIS No. PB97-916401)
24. Norman, D. (1983). Design rules based on analysis of human error. Communications of the ACM, 26, 254-258.
25. Norman, D. (2004). Emotional design. Cambridge, MA: Basic Books.
26. Oishi, M., Tomlin, C., & Degani, A. (2003). Discrete abstraction of hybrid systems: Verification of safety and application to user-interfaces (NASA Tech. Memorandum 212803). Moffett Field, CA: NASA Ames Research Center.
27. Palanque, P., & Paternò, F. (1998). Formal methods in human computer interaction. London: Springer-Verlag.
28. Parasuraman, R., Sheridan, T. B., & Wickens, C. D. (2000). A model for the types and levels of human interaction with automation. IEEE Transaction on Systems, Man, and Cybernetics - Part A: Systems and Humans, 30, 286-297.
29. Parnas, D. (1969). On the use of transition diagrams in the design of a user interface for an interactive computer system. In Proceedings of the 24th Annual ACM Conference (pp. 379-385). New York: Association for Computing Machinery.
30. Paternò, F., & Santoro, C. (2002). Preventing user errors by systematic analysis of deviations from the system task model. International Journal of Human-Computer Studies, 56, 225-245.
31. Paull, M. C., & Unger, S. H. (1959). Minimizing the number of states in incompletely specified sequential switching functions. Institute of Radio Engineers Transactions on Electronic Computers, EC-8. 356-367.
32. Rodriguez, M., Zimmerman, M., Katahira, M., de Villepin, M., Ingram, B., & Leveson, N. (2000, October). Identifying mode confusion potential in software design. Paper presented at the 19th Digital Aviation Systems Conference held in Philadelphia, Pennsylvania.
33. Rushby, J. (1999, June). Using model checking to help discover mode confusions and other automation surprises. Presented at the Third Workshop on Human Error, Safety, and System Development, Liege, Belgium.
34. Rushby, J. (2001). Analyzing cockpit interfaces using formal methods. Electronic Notes in Theoretical Computer Science, 43(May), 1-14.
35. Shiffman, S., Degani, A., & Heymann, M. (2005). Ulverify - A Web-based tool for verification and automatic generation of user interfaces. In Proceedings of the 8th Annual Applied Ergonomics Conference [CD-ROM]. Norcross, GA: Institute of Industrial Engineers.
36. Szekely, P., Sukaviriya, P., Castells, P., Muthukumarasamy, E., & Slacher, E. (1996). Declarative interface models for user interface construction tools: The MASTERMIND approach. In L. Bass, & C. Unger (Eds.), Engineering for Human-Computer Interaction, Proceedings of the IFIP TC2/WG2.7 Working Conference on Engineering for Human-Computer Interaction (pp. 120-150). London: Chapman & Hall.
37. Thimbleby, H., Blandford, A., Cairns, P., Curzon, P., & Jones, M. (2002). User interface design as systems design. In X. Faulkner, J. Finlay, & F. Détienne (Eds.), Proceedings of People and Computers XVI Conference (pp. 281-301). London: Springer-Verlag.
38. Wasserman, A. I. (1985). Extending state transition diagrams for the specification of human-computer interaction. IEEE Transactions on Software Engineering, 11, 699-713.