O2, an object-oriented data model
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
The Z notation: a reference manual
The Z notation: a reference manual
A Formal Approach To Large Software Construction
Proceedings of the International Conference on Mathematics of Program Construction, 375th Anniversary of the Groningen University
| Hi-index | 0.00 |
Semantic abstraction mapping establishing a correspondence between an information resource and an application is considered to be a basic notion providing for the study of semantic interoperability of heterogeneous information resources. The structure and necessary properties of a resource class application abstraction are considered. Intensional model-based properties of the abstraction mapping are introduced as provable conditions of a class assertion abstraction and an operation concretization