Modelling a Design Task in DESIRE: The VT Example

摘要

In this document the use of the DESIRE framework for modelling the SISYPHUS '93elevator configuration task, for short the VT task (Yost, 1994), is described. DESIRE is a framework for formal specification of compositional architectures. Task decomposition, the result of task analysis, is the basis for a DESIRE specification. One of the generic task models specified in DESIRE, the generic task model of design, has been specialized and instantiated for the VT task. The resulting specific task model includes the ontology of the VT domain and the task structure of the generic task model of design.