A conceptual model specification language (CMSL Version 2)

Roelf J. Wieringa

    Research output: Book/ReportReportOther research output

    40 Downloads (Pure)


    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.
    Original languageUndefined
    Place of PublicationAmsterdam
    PublisherVrije Universiteit Amsterdam
    Number of pages54
    Publication statusPublished - 30 Jun 1992

    Publication series

    NameTechnical Report / Faculty of Mathematics and Computer Science
    PublisherFree University, Faculty of Mathematics and Computer Science


    • EWI-10720
    • IR-80480
    • SCS-Services

    Cite this