An Executor for KBSSF

During the last years several formal development methodologies became available in the area of software engineering. However, only recently formal methods entered the field of knowledgebased system development. Some of these methods support a formal functional specification of knowledge-based systems. In order to make an effective and efficient use of formal functional models, we believe a simulation tool is needed which displays the specified functionality. We present a formal development methodology for knowledge-based systems called VITAL, and we describe the design and implementation of a simulator for K BS SF, the formal functional specification language of VITAL. In the design and implementation of the K BS SF simulator we took a transformational approach which makes use of existing programming languages (C ++ and Prolog) and a transformator generator. Keywords: knowledge-based systems, formal development methodologies, system validation, simulation. 1 Introduction K BS SF is ..