1994 Volume 2 Issue 3 Pages 21-37
Our group has been developing a DSS generator, which is called actDSS(III). Its model management system(MMS) is aimed to achieve the goal that a user can build and manipulate models freely by himself. The MMS generates two types of internal representations from a model written in the model description language of it. One is a network form representation of referential relations among variables in the model, that is, the causal structure of the model. The other is a representation of calculation process of the model. The MMS handles models using these internal representations.
This paper, in order to develop a formal theory of MMS, describes the model description language of the MMS and how a model described with it is processed in model theoretic way. Especially, desirable properties of the MMS are deduced through focusing the causality structure of a model. Finally, its implementation on actDSS(III) is discussed.
