Towards a framework for managing inconsistency between multiple views
Bashar Nuseibeh · 1996
esses the relationship between development objects [9]. In order to identify such a relationship, particularly in the context of multiple views, areas of overlaps between these views must also be identified. Such overlaps may be made explicit by the development methods deployed (e.g., syntactic overlaps) or may require (domain) analysis in order to discover and express them. It is worth noting at this point however that the notion of inconsistency described above provides a technical basis for detecting, deriving and analysing logical inconsistencies. We have also studied the notion of conflicts which do not always manifest themselves as logical inconsistencies. The pre-requisites for conflicts to occur are also overlaps (expressible by some rule(s)), but conceptually one could regard them as different. In fact the term "interference" has been used to cover the "problems" arising from these different kinds of overlap [11].