Version 2 of a language (CMSL) to specify conceptual models is defined. CMSL consists of two parts, the value specification language VSL and the object spercification language OSL. There is a formal semantics and an inference system for CMSL but research on this still continues. A method for developing CMSL models is being developed. A start has been made with a workbench for CMSL. This report is intended to keep track of current results and open research problems.
|Place of Publication||Amsterdam|
|Publisher||Vrije Universiteit Amsterdam|
|Number of pages||54|
|Publication status||Published - 30 Jun 1992|
|Name||Technical Report / Faculty of Mathematics and Computer Science|
|Publisher||Free University, Faculty of Mathematics and Computer Science|