Published: 1994 April
Institution: University of Karlsruhe, Institute AIFB
Erscheinungsort / Ort: 76128 Karlsruhe, Germany
Model-based approaches to the development of knowledge-based systems require appropriate description formalisms for representing intermediate results of the development. In the MIKE approach, several such formalisms have been developed spanning the range from the informal specification of requirements to a representation focusing on the realization of the system. In this paper, one of these formalisms, DesignKARL, is presented in some detail. DesignKARL is intended to support the transition from knowledge acquisition to implementation, i.e. the design phase. Besides language primitives for describing the design product, DesignKARL also includes primitives for documenting design decisions and the underlying rationale.