Model-driven prototyping — prototype-driven modeling for knowledge-based systems

Abstract

The language MoMo combines modeling and prototyping in the development of knowledge-based systems. It strictly separates application-specific domain knowledge from the generic problem solving method. Hence both parts of a MoMo description are reusable. In MoMo, a prototype is obtained by building an executable KADS-like model of the expertise. The model provides the structure and a high level vocabulary for generating the prototype. Thus, prototype development is model-driven. Vice versa, with growing complexity it is increasingly difficult to validate one’s model. Here, executable models of expertise are as helpful as executable specifications in conventional software engineering. Insofar, modeling is prototype-driven in MoMo.