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

doi:10.1007/978-0-387-34913-8_23

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

Databases (Former)

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

2 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 language	English
Title of host publication	Database applications semantics
Subtitle of host publication	proceedings of the IFIP WG 2.6 Working Conference on Database Applications Semantics (DS-6), Stone Mountain, Ga : May 30-June 2, 1995
Editors	Leo Mark, Robert Meersman
Place of Publication	London
Publisher	Chapman & Hall
Chapter	22
Pages	526-546
ISBN (Electronic)	978-0-387-34913-8
ISBN (Print)	978-0-4127-2600-2, 978-1-5041-2946-6
DOIs	https://doi.org/10.1007/978-0-387-34913-8_23
Publication status	Published - 30 May 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	IFIP
ISSN (Print)	1868-4238
ISSN (Electronic)	1868-422X

Conference

Conference	6th IFIP WG 2.6 Working Conference on Database Semantics (DS-6) 1995
Abbreviated title	DS-6
Country/Territory	United States
City	Stone Mountain, Atlanta
Period	30/05/95 → 2/06/95

Keywords

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

Access to Document

10.1007/978-0-387-34913-8_23

A Framework for Representation, Validation and Implementation of Database Application Semantics
van Keulen, M., Skowronek, J., Apers, P. M. G., Balsters, H., Blanken, H. M., de By, R. A. & Flokstra, J., 1995, Enschede, The Netherlands: University of Twente. 11 p. (Memoranda Informatica; no. INF 95-37)
Research output: Book/Report › Report › Other research output

Open Access
File

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). Chapman & Hall. https://doi.org/10.1007/978-0-387-34913-8_23

van Keulen, M. ; Skowronek, J. ; Apers, P.M.G. et al. / A Framework for Representation, Validation and Implementation of Database Application Semantics. 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. editor / Leo Mark ; Robert Meersman. London : Chapman & Hall, 1995. pp. 526-546 (IFIP Advances in Information and Communication Technology).

@inproceedings{8c97fb7fc7fa4bdeb875d1644e517cb4,

title = "A Framework for Representation, Validation and Implementation of Database 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{\textquoteright} 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 = "Requirements/specifications, Logical design, Languages, Tools and techniques, DB-OODB: OBJECT-ORIENTED DATABASES",

author = "\{van Keulen\}, M. and J. Skowronek and P.M.G. Apers and H. Balsters and \{de By\}, R.A. and J. Flokstra",

year = "1995",

month = may,

day = "30",

doi = "10.1007/978-0-387-34913-8\_23",

language = "English",

isbn = "978-0-4127-2600-2",

series = "IFIP Advances in Information and Communication Technology",

publisher = "Chapman \& Hall",

pages = "526--546",

editor = "Leo Mark and Robert Meersman",

booktitle = "Database applications semantics",

address = "United Kingdom",

note = "6th IFIP WG 2.6 Working Conference on Database Semantics (DS-6) 1995, DS-6 ; Conference date: 30-05-1995 Through 02-06-1995",

}

van Keulen, M, Skowronek, J, Apers, PMG, Balsters, H, de By, RA & 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. IFIP Advances in Information and Communication Technology, Chapman & Hall, London, pp. 526-546, 6th IFIP WG 2.6 Working Conference on Database Semantics (DS-6) 1995, Stone Mountain, Atlanta, Georgia, United States, 30/05/95. https://doi.org/10.1007/978-0-387-34913-8_23

A Framework for Representation, Validation and Implementation of Database Application Semantics. / van Keulen, M.; Skowronek, J.; Apers, P.M.G. et al.
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. ed. / Leo Mark; Robert Meersman. London: Chapman & Hall, 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 Database Application Semantics

AU - van Keulen, M.

AU - Skowronek, J.

AU - Apers, P.M.G.

AU - Balsters, H.

AU - de By, R.A.

AU - Flokstra, J.

N1 - Conference code: 6

PY - 1995/5/30

Y1 - 1995/5/30

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 - Requirements/specifications

KW - Logical design

KW - Languages

KW - Tools and techniques

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-0-4127-2600-2

SN - 978-1-5041-2946-6

T3 - IFIP Advances in Information and Communication Technology

SP - 526

EP - 546

BT - Database applications semantics

A2 - Mark, Leo

A2 - Meersman, Robert

PB - Chapman & Hall

CY - London

T2 - 6th IFIP WG 2.6 Working Conference on Database Semantics (DS-6) 1995

Y2 - 30 May 1995 through 2 June 1995

ER -

van Keulen M, Skowronek J, Apers PMG, Balsters H, de By RA , Flokstra J. A Framework for Representation, Validation and Implementation of Database Application Semantics. In Mark L, Meersman R, editors, 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. London: Chapman & Hall. 1995. p. 526-546. (IFIP Advances in Information and Communication Technology). doi: 10.1007/978-0-387-34913-8_23

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

Abstract

Publication series

Conference

Keywords

Access to Document

Fingerprint

Research output

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

Cite this