Value Reconciliation in Mediators of Heterogeneous Information Collections Applying Well-Structured Context Specifications
نویسندگان
چکیده
Method for value reconciliation in Local as Views (LAV) mediators of heterogeneous information collections applying well-structured specifications is presented. This approach extends a procedure for heterogeneous information sources registration at subject mediators with LAV organization. Conflicts in value semantics and representation in contexts of the mediator and a collection should be recognized and explicitly specified. According to the proposed method, value semantics contexts should be defined for the mediator and for a collection. In such context for each value kind a type is to be specified that includes a generic function converting values from a collection context into the mediator context (and/or back). Each type attribute having the respective value semantics is to be typed with such type definition. Such structuring of type attribute semantics definition gives significant economy in development of value conversion functions needed to reconcile values between the mediator and collection contexts.
منابع مشابه
Towards Rule-Based Context Transformation in Mediators
Mediators are used for the integration of heterogeneous information sources. Rule{based mediators map the sources to an integrated view by transformation rules reconciling structural heterogeneity problems. But the reconciliation of semantic heterogeneity problems play a subordinate role. In this paper, we present an approach that extends rule{based mediators for the reconciliation of semantic ...
متن کاملH ETS User Guide –
The Heterogeneous Tool Set (HETS) is the main analysis tool for the specification language heterogeneous CASL. Heterogeneous CASL (HETCASL) combines the specification language CASL [6, 28] with CASL extensions and sublanguages, as well as completely different logics and even programming languages such as Haskell. HETCASL (see Fig. 1 for a simple subset) extends the structuring mechanisms of CAS...
متن کاملH ETS User Guide – Version 0 . 85 –
The Heterogeneous Tool Set (HETS) is the main analysis tool for the specification language heterogeneous CASL. Heterogeneous CASL (HETCASL) combines the specification language CASL [6, 28] with CASL extensions and sublanguages, as well as completely different logics and even programming languages such as Haskell. HETCASL (see Fig. 1 for a simple subset) extends the structuring mechanisms of CAS...
متن کاملH ETS User Guide – Version 0 . 96 –
The central idea of the Heterogeneous Tool Set (HETS) is to provide a general framework for formal methods integration and proof management. One can think of HETS acting like a motherboard where different expansion cards can be plugged in, the expansion cards here being individual logics (with their analysis and proof tools) as well as logic translations. Individual logics and their analysis an...
متن کاملMedMaker: A Mediation System Based on Declarative Specifications
Speci cations Yannis Papakonstantinou, Hector Garcia-Molina, Je rey Ullman Computer Science Department Stanford University Stanford, CA 94305-2140, USA Abstract Mediators are used for integration of heterogeneous information sources. In this paper we present a system for declaratively specifying mediators. It is targeted for integration of sources with unstructured or semi-structured data and/o...
متن کامل