Abstract
| Original language | Undefined |
|---|---|
| Title of host publication | Proceedings of the IFIP WG 2.6 Working Conference on Database Applications Semantics (DS-6) |
| Editors | R meersman, L. Mark |
| Place of Publication | London |
| Publisher | Springer |
| Pages | 526-546 |
| Number of pages | 21 |
| ISBN (Print) | 978-1-5041-2946-6 |
| DOIs | |
| Publication status | Published - Jun 1995 |
| Event | 6th IFIP WG 2.6 Working Conference on Database Semantics (DS-6) 1995 - Stone Mountain, Atlanta, United States Duration: 30 May 1995 → 2 Jun 1995 Conference number: 6 |
Publication series
| Name | IFIP Advances in Information and Communication Technology |
|---|---|
| Publisher | Springer Verlag |
| ISSN (Print) | 1868-4238 |
Conference
| Conference | 6th IFIP WG 2.6 Working Conference on Database Semantics (DS-6) 1995 |
|---|---|
| Abbreviated title | DS-6 |
| Country | United States |
| City | Stone Mountain, Atlanta |
| Period | 30/05/95 → 2/06/95 |
Keywords
- EWI-7673
- DB-OODB: OBJECT-ORIENTED DATABASES
Cite this
}
A Framework for Representation, Validation and Implementation of Databases Application Semantics. / van Keulen, Maurice; Skowronek, J.; Apers, Peter M.G.; Balsters, H.; Blanken, Henk; de By, R.A.; Flokstra, Jan.
Proceedings of the IFIP WG 2.6 Working Conference on Database Applications Semantics (DS-6). ed. / R meersman; L. Mark. London : Springer, 1995. p. 526-546 (IFIP Advances in Information and Communication Technology).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
TY - GEN
T1 - A Framework for Representation, Validation and Implementation of Databases Application Semantics
AU - van Keulen, Maurice
AU - Skowronek, J.
AU - Apers, Peter M.G.
AU - Balsters, H.
AU - Blanken, Henk
AU - de By, R.A.
AU - Flokstra, Jan
PY - 1995/6
Y1 - 1995/6
N2 - New application domains in data-processing environments pose new requirements on the methodologies, techniques and tools used to design them. The applications’ semantics should be fully represented at an increasingly high level, and the representation should be subject to rigorous validation and verification. We present a semantic representation framework (including the language, methods and tools) for design of data-processing applications. The new features of the framework include a small number of precisely defined domain-independent concepts, high-level possibilities for describing behavioural semantics (methods and constraints) and the validation and verification tools included in the framework. We present examples of the use of the framework, including the use of its tools.
AB - New application domains in data-processing environments pose new requirements on the methodologies, techniques and tools used to design them. The applications’ semantics should be fully represented at an increasingly high level, and the representation should be subject to rigorous validation and verification. We present a semantic representation framework (including the language, methods and tools) for design of data-processing applications. The new features of the framework include a small number of precisely defined domain-independent concepts, high-level possibilities for describing behavioural semantics (methods and constraints) and the validation and verification tools included in the framework. We present examples of the use of the framework, including the use of its tools.
KW - EWI-7673
KW - DB-OODB: OBJECT-ORIENTED DATABASES
U2 - 10.1007/978-0-387-34913-8_23
DO - 10.1007/978-0-387-34913-8_23
M3 - Conference contribution
SN - 978-1-5041-2946-6
T3 - IFIP Advances in Information and Communication Technology
SP - 526
EP - 546
BT - Proceedings of the IFIP WG 2.6 Working Conference on Database Applications Semantics (DS-6)
A2 - meersman, R
A2 - Mark, L.
PB - Springer
CY - London
ER -