Incremental OCL is a prototype tool that assist you in the efficient implementation of OCL constraints in any final technology-platform.
It gives you information about the kind of changes over the system state that can violate a constraint, the instances must be verified after each change and possible redefinitions of the original constriant that result in a better efficiency of the integrity checking process.
More information in : www.lsi.upc.edu/~jcabot/research/IncrementalOCL