Title :
Formal specification of human-computer interaction by graph grammars under consideration of information resources
Author :
Sucrow, Bettina Eva
Author_Institution :
Dept. of Math. & Comput. Sci., Essen Univ., Germany
Abstract :
A successful design of an interactive system requires a clear understanding of human-machine interaction. For the specification of such a system a precise consideration of the user´s context during each step of the development process is therefore necessary. Moreover, a formal specification method for expressing interaction is highly desirable in order to achieve a precise and continuous specification process between the requirements and design stages. In this paper several of the environmental cues influencing the user during the interaction with a system are considered. These environmental cues are modelled using the concept of information resources. Interaction is described using these resources and formally specified by the notation of graph grammars in order to be able to reason about a system, to assess a system wrt important properties and, finally to achieve a continuous specification process between the requirements and design stages. This approach will be demonstrated by specifying a safety-critical system concerning the interaction between the pilot and the flight management system on the flight deck of an aircraft
Keywords :
aircraft control; formal specification; graph grammars; human factors; safety-critical software; user interfaces; aircraft; design stages; environmental cues; flight deck; flight management system; formal specification; graph grammars; human-computer interaction; information resources; interactive system; safety-critical system; Aircraft; Computer science; Formal specifications; Human resource management; Information resources; Interactive systems; Knowledge management; Knowledge representation; Mathematics; User interfaces;
Conference_Titel :
Automated Software Engineering, 1997. Proceedings., 12th IEEE International Conference
Conference_Location :
Incline Village, NV
Print_ISBN :
0-8186-7961-1
DOI :
10.1109/ASE.1997.632821