Extending the User Action Notation (UAN) for Specifying Interfaces with MultipleInput Devices and Parallel Path Structure

摘要

Many modern computer applications provide the user with a choice of severaldifferent methods of completing the same task. These options are afforded the user by the implementation of multiple input devices (e.g., a mouse and a keyboard) and keyboard shortcuts, or hot keys, into the interface. Although these options can be described by current interface specification methods, there is a need for a notation that can clearly represent this type of interface design in a meaningful format. A survey of formal specification methods was conducted in an