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

M. van Keulen, J. Skowronek, P.M.G. Apers, H. Balsters, R.A. de By, J. 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 languageEnglish
Title of host publicationDatabase applications semantics
Subtitle of host publicationproceedings of the IFIP WG 2.6 Working Conference on Database Applications Semantics (DS-6), Stone Mountain, Ga : May 30-June 2, 1995
EditorsLeo Mark, Robert Meersman
Place of PublicationLondon
PublisherChapman & Hall
Chapter22
Pages526-546
ISBN (Electronic)978-0-387-34913-8
ISBN (Print)978-0-4127-2600-2, 978-1-5041-2946-6
DOIs
Publication statusPublished - 30 May 1995

Publication series

NameIFIP Advances in Information and Communication Technology
PublisherIFIP
ISSN (Print)1868-4238
ISSN (Electronic)1868-422X

Keywords

  • Requirements/specifications
  • Logical design
  • Languages
  • Tools and techniques
  • DB-OODB: OBJECT-ORIENTED DATABASES

Fingerprint Dive into the research topics of 'A Framework for Representation, Validation and Implementation of Database Application Semantics'. Together they form a unique fingerprint.

  • Cite this

    van Keulen, M., Skowronek, J., Apers, P. M. G., Balsters, H., de By, R. A., & Flokstra, J. (1995). A Framework for Representation, Validation and Implementation of Database Application Semantics. In L. Mark, & R. Meersman (Eds.), Database applications semantics: proceedings of the IFIP WG 2.6 Working Conference on Database Applications Semantics (DS-6), Stone Mountain, Ga : May 30-June 2, 1995 (pp. 526-546). (IFIP Advances in Information and Communication Technology). London: Chapman & Hall. https://doi.org/10.1007/978-0-387-34913-8_23