Spanoudakis, George and Kim, Hyoseob (2004) Supporting the reconciliation of models of object behaviour. Software and systems modelling, 3 (4). pp. 273-293. ISSN 16191366

Preview

PDF sosym04.pdf Download (569Kb)

Abstract

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.

Item Type:	Article
Additional Information:	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.
Keywords:	Consistency management, Software design models, Object interaction diagrams
Subjects:	G Mathematical and Computer Sciences > G400 Computer Science
Divisions:	College of Sciences > Faculty of Science > Lincoln School of Computer Science
Depositing User:	Bev Jones
Date Deposited:	11 Jan 2005
Last Modified:	13 Mar 2013 08:21
URI:	http://eprints.lincoln.ac.uk/id/eprint/41

Actions (login required)

View Item