Incremental integrity constraint checking in UML conceptual schemas

Abstract

Integrity checking is aimed at efficiently determining whether the state of the information base is consistent after each operation execution. Incremental integrity checking exploits available information about the structural events that define the operation effect to compute integrity constraint violations considering as few entities of the information base as possible. In this paper we propose a new method to cope with incremental integrity checking at the conceptual level, in particular in UML conceptual schemas with OCL integrity constraints. Our method ensures an incremental verification of constraints regardless the concrete syntactic definition chosen by the designer.