A conceptual model specification language (CMSL Version 2)
Roelf J. Wieringa · University of Twente Research Information · 1992
Version 2 of a language (CMSL) to specify conceptual models is defined. Version 1 was defined in may 1990 [22]. CMSL consists of two parts, the value specification language VSL and the object specification language OSL. In chapter 1, an informal explanation of the difference between objects and values is given, after which VSL and OSL are introduced by means of small examples in chapters 2 and 3. There is a formal semantics of CMSL and an inference system for CMSL [29, 23, 24, 22, 26], but research on this still continues. A method for developing CMSL models is also being developed [25, 27]. A start has been made with a workbench for CMSL [11, 17, 18, 19, 20]. This report is a working document to keep track of the current results and research problems of CMSL and is not intended for publication.