Special section on OOIS 01

Software and Systems Modeling

, Volume 3, Issue 4, pp 273-293

First online:

Supporting the reconciliation of models of object behaviour

  • George SpanoudakisAffiliated withDepartment of Computing, City University Email author 
  • , Hyoseob KimAffiliated withDepartment of Computing, City University

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access


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 model that specifies the consistency rules that can be checked against overlapping models and different ways of handling violations of these rules. Reconciliation+ is supported by a toolkit. It has also been evaluated in a case study. This case study has produced positive results which are discussed in the paper.


Consistency management Software design models Object interaction diagrams