LCM 3.0: A Language for describing Conceptual Models

Remco Feenstra, Roelf J. Wieringa

    Research output: Book/ReportReportOther research output

    22 Downloads (Pure)

    Abstract

    The syntax of the conceptual model specification language LCM is defined. LCM uses equational logic to specify data types and order-sorted dynamic logic to specify objects with identity and mutable state. LCM specifies database transactions as finite sets of atomic object transitions.
    Original languageUndefined
    Place of PublicationAmsterdam
    PublisherFaculty of Mathematics and Computer Science, Vrije Universiteit
    Number of pages77
    Publication statusPublished - 21 Dec 1993

    Publication series

    NameTechnical Report / Faculty of Mathematics and Computer Science
    PublisherFree University, Faculty of Mathematics and Computer Science
    No.IR-344

    Keywords

    • EWI-10715
    • IR-80478
    • SCS-Services

    Cite this