Published: 1994 Juni
Buchtitel: Proceedings of the 6th International Conference on Software Engineering and Knowledge Engineering SEKE'94 (Jurmala, Latvia, June 20-23)
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.