In this paper we present DSTM, a framework that enables the operationalization and the refinement of problem-solving methods modelled within the Task–Method paradigm. DSTM proposes an operational kernel, i.e. operational but flexible high-level constructions: modelling 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 operationalized. 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 modelling phase, the model refinement phase and the operationalization phase that are achieved when constructing a KBS. (http://www.sciencedirect.com/science?_ob=MImg&_imagekey=B6V03-438KFRF-3-R&_cdi=5635&_user=544933&_orig=browse&_coverDate=02%2F28%2F1999&_sk=999839997&view=c&wchp=dGLbVlz-zSkWW&md5=386b9db868e1e48b9889891acecb91c9&ie=/sdarticle.pdf)