1.
Reconciliation of object interaction models - Spanoudakis, George; Kim, Hyoseob
This paper presents Reconciliation+, a
tool-supported method which identifies overlaps
between models of different object interactions
expressed as UML sequence and/or collaboration
diagrams, checks whether the overlapping elements
of these models satisfy specific consistency rules,
and guides developers in handling these
inconsistencies. The method also keeps track of the
decisions made and the actions taken in the process
of managing inconsistencies.
(application/pdf) - 01-may-2009
2.
Supporting the reconciliation of models of object behaviour - Spanoudakis, George; Kim, Hyoseob
This paper presents Reconciliation+, a method which identifies overlaps between models of software systems behaviour expressed as UML object interaction diagrams (i.e., sequence and/or collaboration diagrams), checks whether the overlapping elements of these models satisfy specific consistency rules and, in cases where they violate these rules, guides software designers in handling the detected inconsistencies. The method detects overlaps between object interaction diagrams by using a probabilistic message matching algorithm that has been developed for this purpose. The guidance to software designers on when to check for inconsistencies and how to deal with them is delivered by enacting a built-in process...
(application/pdf) - 06-may-2009
3.
Diagnosis of the significance of inconsistencies in software designs: a framework and its experimental evaluation - Spanoudakis, George; Kim, Hyoseob
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.
(application/pdf) - 29-abr-2009
1.
