Software and Systems Modeling

, Volume 3, Issue 4, pp 273–293

Supporting the reconciliation of models of object behaviour

Special section on OOIS 01

DOI: 10.1007/s10270-004-0054-1

Cite this article as:
Spanoudakis, G. & Kim, H. Softw Syst Model (2004) 3: 273. doi:10.1007/s10270-004-0054-1


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 managementSoftware design modelsObject interaction diagrams

Copyright information

© Springer-Verlag 2004

Authors and Affiliations

  1. 1.Department of ComputingCity UniversityLondonUK