Abstract
| Original language | Undefined |
|---|---|
| Place of Publication | Amsterdam |
| Publisher | Free University, Faculty of Mathematics and Computer Science |
| Number of pages | 54 |
| Publication status | Published - 30 Jun 1992 |
Publication series
| Name | Technical Report / Faculty of Mathematics and Computer Science |
|---|---|
| Publisher | Free University, Faculty of Mathematics and Computer Science |
| No. | IR-248 |
Keywords
- EWI-10720
- IR-80480
- SCS-Services
Cite this
}
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/Report › Report › Other 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 -