Contextualization as an independent abstraction mechanism for conceptual modeling |
| |
Authors: | Anastasia Analyti Manos Theodorakis Nicolas Spyratos Panos Constantopoulos |
| |
Affiliation: | 1. Institute of Computer Science, FORTH-ICS, Crete, P.O. Box 1385, 71110 Heraklion Crete, Greece;2. KOMVOS, Avenue Adolphe Lacomble 29, 1030 Brussels, Belgium;3. Laboratoire de Recherche en Informatique, Universite de Paris-Sud, France;4. Department of Informatics, Athens University of Economics and Business, Greece |
| |
Abstract: | The notion of context appears in computer science, as well as in several other disciplines, in various forms. In this paper, we present a general framework for representing the notion of context in information modeling. First, we define a context as a set of objects, within which each object has a set of names and possibly a reference: the reference of the object is another context which “hides” detailed information about the object. Then, we introduce the possibility of structuring the contents of a context through the traditional abstraction mechanisms, i.e., classification, generalization, and attribution. We show that, depending on the application, our notion of context can be used as an independent abstraction mechanism, either in an alternative or a complementary capacity with respect to the traditional abstraction mechanisms. We also study the interactions between contextualization and the traditional abstraction mechanisms, as well as the constraints that govern such interactions. Finally, we present a theory for contextualized information bases. The theory includes a set of validity constraints, a model theory, as well as a set of sound and complete inference rules. We show that our core theory can be easily extended to support embedding of particular information models in our contextualization framework. |
| |
Keywords: | Conceptual modeling Contextualization Viewpoints Abstraction mechanisms Model theory Inference rules |
本文献已被 ScienceDirect 等数据库收录! |
|