City Research Online

Consistency management with repair actions

Nentwich, C., Emmerich, W. & 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


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
SWORD Depositor:
[thumbnail of Consistency management with repair actions.pdf]
Text - Accepted Version
Download (175kB) | Preview


Add to AnyAdd to TwitterAdd to FacebookAdd to LinkedinAdd to PinterestAdd to Email


Downloads per month over past year

View more statistics

Actions (login required)

Admin Login Admin Login