On the interplay between inconsistency and incompleteness in multi-perspective requirements specifications

  • Authors:

  • Ana Belén Barragáns Martínez;José J. Pazos Arias;Ana Fernández Vilas;Jorge García Duque;Martín López Nores;Rebeca P. Díaz Redondo;Yolanda Blanco Fernández

  • Affiliations:

  • Telematic Engineering Department, University of Vigo, Vigo, Spain;Telematic Engineering Department, University of Vigo, Vigo, Spain;Telematic Engineering Department, University of Vigo, Vigo, Spain;Telematic Engineering Department, University of Vigo, Vigo, Spain;Telematic Engineering Department, University of Vigo, Vigo, Spain;Telematic Engineering Department, University of Vigo, Vigo, Spain;Telematic Engineering Department, University of Vigo, Vigo, Spain

  • Venue:
  • Information and Software Technology
  • Year:
  • 2008

Quantified Score

Hi-index 0.00

Visualization

Abstract

A major challenge for dealing with multi-perspective specifications, and more concretely, with merging of several descriptions or views is toleration of incompleteness and inconsistency: views may be inconclusive, and may have conflicts over the concepts being modeled. The desire of being able to tolerate both phenomena introduces the need to evaluate and quantify the significance of a detected inconsistency as well as to measure the degree of conflict and uncertainty of the merged view as the specification process evolves. We show in this paper to what extent disagreement and incompleteness are closely interrelated and play a central role to obtain a measure of the level of inconsistency and to define a merging operator whose aim is getting the model which best reflects the combined knowledge of all stakeholders. We will also propose two kinds of interesting and useful orderings among perspectives which are based on differences of behavior and inconsistency, respectively.