The OCL constraints in the current UML meta-models have never been tool checked, so they contain many errors. These were of no real consequence, particularly since there was a disconnect between the ...