A Framework for Representation, Validation and Implementation of Databases Application Semantics

Maurice van Keulen, J. Skowronek, Peter M.G. Apers, H. Balsters, Henk Blanken, R.A. de By, Jan Flokstra

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Abstract

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.
Original languageUndefined
Title of host publicationProceedings of the IFIP WG 2.6 Working Conference on Database Applications Semantics (DS-6)
EditorsR meersman, L. Mark
Place of PublicationLondon
PublisherSpringer
Pages526-546
Number of pages21
ISBN (Print)978-1-5041-2946-6
DOIs
Publication statusPublished - Jun 1995
Event6th IFIP WG 2.6 Working Conference on Database Semantics (DS-6) 1995 - Stone Mountain, Atlanta, United States
Duration: 30 May 19952 Jun 1995
Conference number: 6

Publication series

NameIFIP Advances in Information and Communication Technology
PublisherSpringer Verlag
ISSN (Print)1868-4238

Conference

Conference6th IFIP WG 2.6 Working Conference on Database Semantics (DS-6) 1995
Abbreviated titleDS-6
CountryUnited States
CityStone Mountain, Atlanta
Period30/05/952/06/95

Keywords

  • EWI-7673
  • DB-OODB: OBJECT-ORIENTED DATABASES

Cite this

van Keulen, M., Skowronek, J., Apers, P. M. G., Balsters, H., Blanken, H., de By, R. A., & Flokstra, J. (1995). A Framework for Representation, Validation and Implementation of Databases Application Semantics. In R. meersman, & L. Mark (Eds.), Proceedings of the IFIP WG 2.6 Working Conference on Database Applications Semantics (DS-6) (pp. 526-546). (IFIP Advances in Information and Communication Technology). London: Springer. https://doi.org/10.1007/978-0-387-34913-8_23
van Keulen, Maurice ; Skowronek, J. ; Apers, Peter M.G. ; Balsters, H. ; Blanken, Henk ; de By, R.A. ; Flokstra, Jan. / A Framework for Representation, Validation and Implementation of Databases Application Semantics. Proceedings of the IFIP WG 2.6 Working Conference on Database Applications Semantics (DS-6). editor / R meersman ; L. Mark. London : Springer, 1995. pp. 526-546 (IFIP Advances in Information and Communication Technology).
@inproceedings{63cb3710b5f848228a21118391ff624f,
title = "A Framework for Representation, Validation and Implementation of Databases Application Semantics",
abstract = "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.",
keywords = "EWI-7673, DB-OODB: OBJECT-ORIENTED DATABASES",
author = "{van Keulen}, Maurice and J. Skowronek and Apers, {Peter M.G.} and H. Balsters and Henk Blanken and {de By}, R.A. and Jan Flokstra",
year = "1995",
month = "6",
doi = "10.1007/978-0-387-34913-8_23",
language = "Undefined",
isbn = "978-1-5041-2946-6",
series = "IFIP Advances in Information and Communication Technology",
publisher = "Springer",
pages = "526--546",
editor = "R meersman and L. Mark",
booktitle = "Proceedings of the IFIP WG 2.6 Working Conference on Database Applications Semantics (DS-6)",

}

van Keulen, M, Skowronek, J, Apers, PMG, Balsters, H, Blanken, H, de By, RA & Flokstra, J 1995, A Framework for Representation, Validation and Implementation of Databases Application Semantics. in R meersman & L Mark (eds), Proceedings of the IFIP WG 2.6 Working Conference on Database Applications Semantics (DS-6). IFIP Advances in Information and Communication Technology, Springer, London, pp. 526-546, 6th IFIP WG 2.6 Working Conference on Database Semantics (DS-6) 1995, Stone Mountain, Atlanta, United States, 30/05/95. https://doi.org/10.1007/978-0-387-34913-8_23

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 proceedingConference contributionAcademicpeer-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 -

van Keulen M, Skowronek J, Apers PMG, Balsters H, Blanken H, de By RA et al. A Framework for Representation, Validation and Implementation of Databases Application Semantics. In meersman R, Mark L, editors, Proceedings of the IFIP WG 2.6 Working Conference on Database Applications Semantics (DS-6). London: Springer. 1995. p. 526-546. (IFIP Advances in Information and Communication Technology). https://doi.org/10.1007/978-0-387-34913-8_23