Reconciliation of Object Interaction Models

Abstract

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.

Differencing logical UML models

“…Egyed (2001) has investigated a suite of rule-and constraint-based and transformational comparative methods for checking the consistency of the evolving UML diagrams of a software system. Spanoudakis and Kim (2001) developed a probabilistic message-matching algorithm that detects the overlaps between messages that are likely to signify the invocation of operations and check whether the overlapping messages are inconsistent. However, they cannot surface the specific types of changes as reported by UMLDiff and these projects have not explored the product of their analyses in service of software evolution understanding and future decision making.…”

Diagnosis of the significance of inconsistencies in object-oriented designs: a framework and its experimental evaluation

“…The ability to specify the process model along with the ability to specify the criteria for the assessment of violations of individual consistency rules makes the activities of diagnosing and handling inconsistencies fully tailorable to the needs of specific projects when using Reconciliation. More details on the specification and enactment of the process model of the method may be found in (Spanoudakis and Kim, 2001). …”

“…Reconciliation supports the entire range of the activities of what has been termed in the literature as "inconsistency management", including the detection of overlaps and inconsistencies in software models, the diagnosis of the significance of inconsistencies, and the handling of detected inconsistencies Spanoudakis and Zisman, 2001). A full description of this method is however beyond the scope of this paper and can be found in (Spanoudakis and Finkelstein, 1997;Spanoudakis and Kim, 2001). …”