Diagnosis of the significance of inconsistencies in software designs: a framework and its experimental evaluation

Spanoudakis, George and Kim, Hyoseob (2002) Diagnosis of the significance of inconsistencies in software designs: a framework and its experimental evaluation. Journal of systems and software, 64 (1). pp. 3-22. ISSN 0164-1212

Documents
jss02.pdf
[img]
[Download]
[img]
Preview
PDF
jss02.pdf

153Kb

Official URL: http://dx.doi.org/10.1016/S0164-1212(02)00018-3

Abstract

This paper presents: (a) a framework for assessing the significance of inconsistencies which arise in object-oriented design models that describe software systems from multiple perspectives, and (b) the findings of a series of experiments conducted to evaluate it. The framework allows the definition of significance criteria and measures the significance of inconsistencies as beliefs for the satisfiability of these criteria. The experiments conducted to evaluate it indicate that criteria definable in the framework have the power to create elaborate rankings of inconsistencies in models.

Item Type:Article
Additional Information:This paper presents: (a) a framework for assessing the significance of inconsistencies which arise in object-oriented design models that describe software systems from multiple perspectives, and (b) the findings of a series of experiments conducted to evaluate it. The framework allows the definition of significance criteria and measures the significance of inconsistencies as beliefs for the satisfiability of these criteria. The experiments conducted to evaluate it indicate that criteria definable in the framework have the power to create elaborate rankings of inconsistencies in models.
Keywords:Diagnosis of inconsistencies, UML, OCL, Dempster–Shafer beliefs
Subjects:G Mathematical and Computer Sciences > G610 Software Design
G Mathematical and Computer Sciences > G400 Computer Science
G Mathematical and Computer Sciences > G622 Object Oriented Programming
Divisions:College of Science > School of Computer Science
ID Code:42
Deposited By: Bev Jones
Deposited On:11 Jan 2005
Last Modified:13 Mar 2013 08:21

Repository Staff Only: item control page