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
Link To Document :
بازگشت