### Abstract

Original language | Undefined |
---|---|

Place of Publication | Amsterdam |

Publisher | Faculty of Mathematics and Computer Science, Vrije Universiteit |

Number of pages | 77 |

Publication status | Published - 21 Dec 1993 |

### Publication series

Name | Technical Report / Faculty of Mathematics and Computer Science |
---|---|

Publisher | Free University, Faculty of Mathematics and Computer Science |

No. | IR-344 |

### Keywords

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

### Cite this

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

}

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

Research output: Book/Report › Report › Other 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 -