Citation Context

...properties even though they disagree about specific details. Viewpoints-based approaches have been proposed as a way of managing inconsistent and incomplete information gathered from multiple sources =-=[10]-=-. These approaches separate the descriptions provided by different stakeholders, and concentrate on identifying and resolving conflicts between them. A key advantage to the use of viewpoints is that i...

Citation Context

... [Design]: Validation General Terms Measurement, Documentation, Design, Languages, Verification. Keywords Incremental Analysis, Consistency, Design Feedback. 1. INTRODUCTION The UML [19] is a collection of loosely-connected, diagramcentric design notations. It allows engineers to explore the design of a software system through independent views. However, our work with engineers from industry (e.g., Boeing Company, SwRI) has shown that it is all too easy to make contradictory design decisions and that it is hard to recognize these inconsistencies. After decades of progress on model consistency [8] and consistency rules [18], this revelation is disturbing. Some are quick to blame industry for its failure to adopt existing solutions. Yet, we observed that the problem was not the lack of consistency checking but the timeliness and quality of its feedback. Consistency checking on the larger models took hours and was thus performed occasionally only. At the end, the engineers were presented with many inconsistencies (the worst industrial model we investigated contained 1650 inconsistencies) but were not told all the model elements that were involved in any given inconsistency (needed for fi...

Citation Context

... directly provide inconsistency management support, where multiple views need to be inconsistent for some time, but this inconsistency needs to be recorded and resolved at a later date. An example is =-=[21]-=-, which uses logic predicates to record inconsistencies between different viewpoints on software designs. Some software development tools, such as Mjølner environments [49], take the approach of preve...

Citation Context

...es by which they are used independently and together. Most importantly, the framework tolerates inconsistency, with no requirement for changes to one ViewPoint to be consistent with other ViewPoints (=-=Finkelstein, et al., 1994-=-). Consistency checking is performed through a set of inter-ViewPoint rules, defined by the method, which express the relationships that should hold between particular ViewPoints. These rules define p...