On conceptual model specification and verification (Q1100939)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: On conceptual model specification and verification |
scientific article; zbMATH DE number 4045252
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On conceptual model specification and verification |
scientific article; zbMATH DE number 4045252 |
Statements
On conceptual model specification and verification (English)
0 references
1987
0 references
Four classes of conceptual models are classified: pure static, dynamic, temporal and full time perspective models. This paper presents a temporal framework for specifying and verifying a conceptual model. A specification consists of static and temporal constraints, and operation descriptions. Consistency checking of the specification is described. A simple example is used to illustrate the features of the framework.
0 references
information system specification
0 references
conceptual models
0 references
