Automatic generation of task-oriented help

摘要

This work presents an approach to the design of thesoftware conponent of an Interactive System, which supports the generation of automatic tsk-oriented help. Help can easily be generated frm the abstract formal specificatin of the associated system witout a ny further effort. The architectural description is obtained in a task-driven way, where tasks are specified by indicating temporal ordering constraints suing operators of a concurrent formal notation. The a ssociation of user tasks with software interaction objects, which intherit constraints of related tasks, gives the information to structure task-oriented help in an immediate way. The hel given is thus more expressive with a conseuuent improvment in the usability o f an Interactive System.