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

M. van Keulen, J. Skowronek, P.M.G. Apers, H. Balsters, H. Blanken, R.A. de By, R.A. de By, J. Flokstra

Research output: Book/ReportReportOther research output

13 Downloads (Pure)

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
Place of PublicationEnschede, The Netherlands
PublisherUniversity of Twente
Number of pages11
Publication statusPublished - 1995

Publication series

NameMemoranda Informatica
PublisherUniversity of Twente, Department of Computer Science
No.INF 95-37
ISSN (Print)0924-3755

    Fingerprint

Keywords

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

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 Database Application Semantics. (Memoranda Informatica; No. INF 95-37). Enschede, The Netherlands: University of Twente.