A conceptual model specification language (CMSL Version 2)

Research output: Book/ReportReportOther research output

11 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

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.
Wieringa, Roelf J. / A conceptual model specification language (CMSL Version 2). Amsterdam : Free University, Faculty of Mathematics and Computer Science, 1992. 54 p. (Technical Report / Faculty of Mathematics and Computer Science; IR-248).
@book{6ebdbf6594944394916d4f28861ca1f4,
title = "A conceptual model specification language (CMSL Version 2)",
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.",
keywords = "EWI-10720, IR-80480, SCS-Services",
author = "Wieringa, {Roelf J.}",
year = "1992",
month = "6",
day = "30",
language = "Undefined",
series = "Technical Report / Faculty of Mathematics and Computer Science",
publisher = "Free University, Faculty of Mathematics and Computer Science",
number = "IR-248",

}

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

A conceptual model specification language (CMSL Version 2). / Wieringa, Roelf J.

Amsterdam : Free University, Faculty of Mathematics and Computer Science, 1992. 54 p. (Technical Report / Faculty of Mathematics and Computer Science; No. IR-248).

Research output: Book/ReportReportOther research output

TY - BOOK

T1 - A conceptual model specification language (CMSL Version 2)

AU - Wieringa, Roelf J.

PY - 1992/6/30

Y1 - 1992/6/30

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

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

KW - EWI-10720

KW - IR-80480

KW - SCS-Services

M3 - Report

T3 - Technical Report / Faculty of Mathematics and Computer Science

BT - A conceptual model specification language (CMSL Version 2)

PB - Free University, Faculty of Mathematics and Computer Science

CY - Amsterdam

ER -

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