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
Full content URL: http://dx.doi.org/10.1016/S0164-1212(02)00018-3
Documents |
|
![]()
|
PDF
jss02.pdf 157kB |
Item Type: | Article |
---|---|
Item Status: | Live Archive |
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.
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 On: | 11 Jan 2005 |
Repository Staff Only: item control page