DSTM: a framework to operationalise and refine a problem solving method modeled in terms of tasks and methods

摘要

In this paper we present DSTM, a framework that enables the operationalisation and the refinement of problem-solving methods modeled within the Task–Method paradigm. DSTM proposes an operational kernel, i.e. operational but flexible high-level constructions: modeling primitives, such as task or method, and manipulation mechanisms, such as select a method. These constructions can be customized in order to better capture the paper-based model to be operationalised. This permits the construction of an implemented system that is an explicit reification of the paper-based model, and, therefore, enables to analyze the model by means of the analysis of the system. In order to support this analysis, DSTM proposes tools that allow the knowledge-engineers to inspect the implemented model from different points of view. This facilitates the conciliation of the initial modeling phase, the model refinement phase and the operationalisation phase that are achieved when constructing a KBS.