TAME: an integrated environment for task-based knowledge and specification acquisition

A knowledge acquisition framework in which both domain knowledge and specification elicited and refined can interact with a knowledge engineer is proposed. TAME, a hypertext-based knowledge acquisition assistant supporting the framework in an integrated environment, is described. TAME supports a task-based specification methodology (TBSM) in knowledge acquisition and specification elicitation in the following ways. First, TAME´s templates provide the building blocks and autolinks in the acquisition process. Second, TAME´s browsing and retrieval aids allow users to navigate in the knowledge document using search, navigation links, etc. Finally, TAME generates feedback to inform users about incomplete refinements, duplications, and inconsistent composition of task state expressions (TSEs)