• Increase font size
  • Default font size
  • Decrease font size

Incremental OCL

Print PDF

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

Last Updated on Friday, 03 November 2006 10:20