Operationalization of a graphical knowledge representation language

: MOISE is a knowledge engineering methodology which includes a knowledge specification stage which separates static knowledge from dynamic knowledge. This stage integrates a graphical knowledge specification language (KRL) that combines a static specification language (semantic networks) and a dynamic specification language (task language). The modelling language KRL is the source language describing knowledge which becomes available for consultation. Some additional tools transform source graphical knowledge descriptions into different target languages: textual descriptions (word), hypertextual descriptions (html) and executable descriptions (SPIRAL). The paper deals with the latter tool. It presents the KRL itself (knowledge-level) and sketches the design model (symbol-level) that corresponds to its executable form and that is implemented in the SPIRAL object-oriented language.