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

Share/Save/Bookmark

Keulen van, M. and Skowronek, J. and Apers, P.M.G. and Balsters, H. and Blanken, H.M. and By de, R.A. and Flokstra, J. (1995) A Framework for Representation, Validation and Implementation of Database Application Semantics. [Report]

[img]
Preview
PDF
143Kb
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.
Item Type:Report
Faculty:
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/66450
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page