Incremental Evaluation of OCL Constraints

  • Jordi Cabot
  • Ernest Teniente
Conference paper

DOI: 10.1007/11767138_7

Part of the Lecture Notes in Computer Science book series (LNCS, volume 4001)
Cite this paper as:
Cabot J., Teniente E. (2006) Incremental Evaluation of OCL Constraints. In: Dubois E., Pohl K. (eds) Advanced Information Systems Engineering. CAiSE 2006. Lecture Notes in Computer Science, vol 4001. Springer, Berlin, Heidelberg


Integrity checking is aimed at determining whether an operation execution violates a given integrity constraint. To perform this computation efficiently, several incremental methods have been developed. The main goal of these methods is to consider as few of the entities in an information base as possible, which is generally achieved by reasoning from the structural events that define the effect of the operations. In this paper, we propose a new method for dealing with the incremental evaluation of the OCL integrity constraints specified in UML conceptual schemas. Since our method works at a conceptual level, its results are useful in efficiently evaluating constraints regardless of the technology platform in which the conceptual schema is to be implemented.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Jordi Cabot
    • 1
  • Ernest Teniente
    • 2
  1. 1.Estudis d’Informàtica i MultimèdiaUniversitat Oberta de Catalunya 
  2. 2.Dept. Llenguatges i Sistemes InformàticsUniversitat Politècnica de Catalunya 

Personalised recommendations