Framework for Representation, Validation and Implementation of DatabaseApplication Semantics

摘要

The authors 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 behavioral semantics (methods and constraints) and the validation and verification tools included in the framework. The authors present examples of the use of the framework, including the use of its tools.