Consistency management with repair actions

TLDR

Consistency management requires robust repair mechanisms, and this work positions its framework as a foundation for higher‑level domain‑specific systems, building on prior database and software development research. The paper introduces a repair framework for inconsistent distributed documents, intended as a foundation for higher‑level domain‑specific systems. The framework centers on a novel method that generates interactive repairs from full first‑order logic constraints, and it has been fully implemented and applied to UML and EJB deployment descriptors. The implementation demonstrates successful application to UML and EJB deployment descriptors.

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.