City Research Online

Consistency management with repair actions

Nentwich, C., Emmerich, W. and Finkelstein, A. ORCID: 0000-0003-2167-9844 (2003). Consistency management with repair actions. 25th International Conference on Software Engineering, 2003, pp. 455-464. doi: 10.1109/ICSE.2003.1201223

Abstract

Comprehensive consistency management requires a strong mechanism for repair once inconsistencies have been detected. In this paper we present a repair framework for inconsistent distributed documents. The core piece of the framework is a new method for generating interactive repairs from full first order logic formulae that constrain these documents. We present a full implementation of the components in our repair framework, as well as their application to the UML and related heterogeneous documents such as EJB deployment descriptors. We describe how our approach can be used as an infrastructure for building higher-level, domain specific frameworks and provide an overview of related work in the database and software development environment community.

Publication Type: Article
Additional Information: © 2003 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other users, including reprinting/ republishing this material for advertising or promotional purposes, creating new collective works for resale or redistribution to servers or lists, or reuse of any copyrighted components of this work in other works.
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Departments: Presidents's Portfolio
Date available in CRO: 28 Jul 2021 10:38
Date deposited: 28 July 2021
Date of first online publication: 28 May 2003
URI: https://openaccess.city.ac.uk/id/eprint/26504
[img]
Preview
Text - Accepted Version
Download (175kB) | Preview

Export

Downloads

Downloads per month over past year

View more statistics

Actions (login required)

Admin Login Admin Login