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

Preview

PDF jss02.pdf Download (153Kb)

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 Sciences > Faculty of Science > Lincoln School of Computer Science
Depositing User:	Bev Jones
Date Deposited:	11 Jan 2005
Last Modified:	13 Mar 2013 08:21
URI:	http://eprints.lincoln.ac.uk/id/eprint/42

Actions (login required)

View Item