Towards a logical reconstruction of structured modeling

摘要

Structured modeling (SM) is a modeling framework designed to represent a wide range of models. The ability to model a variety of data and mathematical relationships in it makes it interesting in the decision support system (DSS) context. This paper develops a logic-based executable modeling language called LSM for SM. Our approach differs from previous research on the development of languages and environments for SM in its ability to represent and manipulate information about structured models (e.g., assumptions). This has been achieved through the use of the embedded languages technique. We illustrate the representational features of LSM, and describe how functions defined in our formalism may be used to support model development.