A conceptual model specification language (CMSL Version 2)

Roelf J. Wieringa

    Research output: Book/Report › Report › Other research output

    15 Downloads (Pure)

    Abstract

    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
    PublisherFree University, Faculty of Mathematics and Computer Science
    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
    No.IR-248

    Keywords

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

    Access to Document

      Cite this

      Wieringa, R. J. (1992). A conceptual model specification language (CMSL Version 2). (Technical Report / Faculty of Mathematics and Computer Science; No. IR-248). Amsterdam: Free University, Faculty of Mathematics and Computer Science.