An Algebraic Framework for Merging Incomplete and Inconsistent Views

  • Authors:
  • Mehrdad Sabetzadeh;Steve Easterbrook

  • Affiliations:
  • University of Toronto;University of Toronto

  • Venue:
  • RE '05 Proceedings of the 13th IEEE International Conference on Requirements Engineering
  • Year:
  • 2005

Quantified Score

Hi-index 0.00

Visualization

Abstract

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 uni?ed perspective, to understand interactions between views, or to perform various types of end-to-end analysis. View merging is complicated by 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 annotated graphs, which incorporates a systematic annotation scheme capable of modeling incompleteness and inconsistency as well as providing a built-in mechanism for stakeholder traceability. We show how structure-preserving maps can capture the relationships between disparate views modeled as annotated graphs, and provide a general algorithm for merging views with arbitrary interconnections. We use the i* modeling language [31] as an example to demonstrate how our approach can be applied to existing graphbased modeling languages.