Language Support for Knowledge-Based Systems Design
Herausgeber: H. Voss and R. Studer
Buchtitel: Proceedings of the 4th KADS Meeting (St. Augustin, Germany, March 24-25)
Reihe: Arbeitspapiere der GMD
Verlag: St. Augustin, 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 which span the range from the informal specification of requirements to an implementation-biased representation. 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 includes additional primitives for the documentation of design decisions and their underlying rationale.