论文信息 - FORMAL SPECIFICATION OF HCI FOR INCREASING SOFTWARE'S ERGONOMICS

FORMAL SPECIFICATION OF HCI FOR INCREASING SOFTWARE'S ERGONOMICS

This paper aims at asserting the impact of formal specifications on the ergonomics of software user interfaces. It is shown that the use of an object-oriented design methodology featuring a formal specification and integrating human factors in the design process, is the best way to ensure quality both in the software and ergonomics domain. The method we propose is based both on Petri nets and on the object oriented approach. The use of such a method allow to ensure predictability of commands, absence of deadlocks and offers the possibility to automatically generate both contextual help and contextbased guidance.

Philippe Palanque

[1] Richard Rubinstein,et al. The Human Factor: Designing Computer Systems for People , 1984 .

[2] John M. Carroll,et al. The answer is in the question: a protocol study of intelligent help , 1987 .

[3] Philippe A. Palanque,et al. Petri net objects for the design, validation and prototyping of user-driven interfaces , 1990, INTERACT.

[4] Johannes J. De Graaff,et al. Automatic Generation of Context-Sensitive "Show and Tell" Help , 1992 .

[5] K Y Lim,et al. Integrating human factors with the Jackson System Development method: an illustrated overview. , 1992, Ergonomics.

[6] Donald A. Norman,et al. User Centered System Design: New Perspectives on Human-Computer Interaction , 1988 .

[7] Philippe A. Palanque,et al. Contextual Help for Free with Formal Dialogue Design , 1993, HCI.

[8] Mark Green,et al. Report on Dialogue Specification Tools , 1984, Comput. Graph. Forum.

[9] Philippe A. Palanque,et al. Design of User-Driven Interfaces Using Petri Nets and Objects , 1993, CAiSE.

[10] Peter Radford,et al. Petri Net Theory and the Modeling of Systems , 1982 .

[11] Anthony I. Wasserman,et al. Extending State Transition Diagrams for the Specification of Human–Computer Interaction , 1985, IEEE Transactions on Software Engineering.