LCM 3.0: A Language for describing Conceptual Models

Remco Feenstra, Roelf J. Wieringa

Research output: Book/ReportReportOther research output

14 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

Feenstra, R., & Wieringa, R. J. (1993). LCM 3.0: A Language for describing Conceptual Models. (Technical Report / Faculty of Mathematics and Computer Science; No. IR-344). Amsterdam: Faculty of Mathematics and Computer Science, Vrije Universiteit.
Feenstra, Remco ; Wieringa, Roelf J. / LCM 3.0: A Language for describing Conceptual Models. Amsterdam : Faculty of Mathematics and Computer Science, Vrije Universiteit, 1993. 77 p. (Technical Report / Faculty of Mathematics and Computer Science; IR-344).
@book{ab0effa91f834c83810dbfa24cea40ac,
title = "LCM 3.0: A Language for describing Conceptual Models",
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.",
keywords = "EWI-10715, IR-80478, SCS-Services",
author = "Remco Feenstra and Wieringa, {Roelf J.}",
year = "1993",
month = "12",
day = "21",
language = "Undefined",
series = "Technical Report / Faculty of Mathematics and Computer Science",
publisher = "Faculty of Mathematics and Computer Science, Vrije Universiteit",
number = "IR-344",

}

Feenstra, R & Wieringa, RJ 1993, LCM 3.0: A Language for describing Conceptual Models. Technical Report / Faculty of Mathematics and Computer Science, no. IR-344, Faculty of Mathematics and Computer Science, Vrije Universiteit, Amsterdam.

LCM 3.0: A Language for describing Conceptual Models. / Feenstra, Remco; Wieringa, Roelf J.

Amsterdam : Faculty of Mathematics and Computer Science, Vrije Universiteit, 1993. 77 p. (Technical Report / Faculty of Mathematics and Computer Science; No. IR-344).

Research output: Book/ReportReportOther research output

TY - BOOK

T1 - LCM 3.0: A Language for describing Conceptual Models

AU - Feenstra, Remco

AU - Wieringa, Roelf J.

PY - 1993/12/21

Y1 - 1993/12/21

N2 - 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.

AB - 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.

KW - EWI-10715

KW - IR-80478

KW - SCS-Services

M3 - Report

T3 - Technical Report / Faculty of Mathematics and Computer Science

BT - LCM 3.0: A Language for describing Conceptual Models

PB - Faculty of Mathematics and Computer Science, Vrije Universiteit

CY - Amsterdam

ER -

Feenstra R, Wieringa RJ. LCM 3.0: A Language for describing Conceptual Models. Amsterdam: Faculty of Mathematics and Computer Science, Vrije Universiteit, 1993. 77 p. (Technical Report / Faculty of Mathematics and Computer Science; IR-344).