• DocumentCode
    2393438
  • Title

    iVuBlender: a tool for merging incomplete and inconsistent views

  • Author

    Sabetzadeh, Mehrdad ; Easterbrook, Steve

  • Author_Institution
    Dept. of Comput. Sci., Toronto Univ., Ont., Canada
  • fYear
    2005
  • fDate
    29 Aug.-2 Sept. 2005
  • Firstpage
    453
  • Lastpage
    454
  • Abstract
    View merging is an important activity in any conceptual modeling language. It is often desirable to combine a set of views to gain a unified perspective, to test hypotheses about how views are related, or to perform various types of analysis. A major challenge for view merging is toleration of incompleteness and inconsistency: views may be inconclusive, and may have conflicts over the concepts being modeled or how they are structured. Drawing on the theory developed in our earlier work (2003), we present a view merging tool, called iVuBlender, that allows for explicit modeling of incompleteness and inconsistency and provides a framework for interconnecting and merging incomplete and inconsistent views.
  • Keywords
    formal specification; software tools; conceptual modeling language; iVuBlender; view merging; Computer science; Erbium; Libraries; Lightning; Logic; Merging; Performance analysis; Performance evaluation; Performance gain; Testing;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Requirements Engineering, 2005. Proceedings. 13th IEEE International Conference on
  • Print_ISBN
    0-7695-2425-7
  • Type

    conf

  • DOI
    10.1109/RE.2005.35
  • Filename
    1531071