Supporting the reconciliation of models of object behaviour

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

Documents
sosym04.pdf
[img]
[Download]
[img]
Preview
PDF
sosym04.pdf

569Kb

Official URL: http://dx.doi.org/10.1007/s10270-004-0054-1

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 Science > School of Computer Science
ID Code:41
Deposited By: Bev Jones
Deposited On:11 Jan 2005
Last Modified:13 Mar 2013 08:21

Repository Staff Only: item control page