An Algebraic Framework for Merging Incomplete and Inconsistent Views

View merging, also called view integration, is a key problem in conceptual modeling. Large models are often constructed and accessed by manipulating individual views, but it is important to be able to consolidate a set of views to gain a unified perspective, to understand interactions between views, or to perform various types of end-to-end analysis. View merging is complicated by incompleteness and inconsistency of views. Once views are merged, it is useful to be able to trace the elements of the merged view back to their sources. In this paper, we propose a framework for merging incomplete and inconsistent graph-based views. We introduce a formalism, called poset-annotated graphs, which incorporates a systematic annotation scheme capable of modeling incompleteness and inconsistency as well as providing a built-in mechanism for ownership traceability. We show how structure-preserving maps can capture the relationships between disparate views modeled as poset-annotated graphs, and pr...

• Type: Conference
• Year: 2005
• Where: RE
• Authors: Mehrdad Sabetzadeh, Steve M. Easterbrook
• Keywords: Inconsistent Graph-based Views, Individual Views, RE 2005, Software Engineering, View Merging