https://9dok.org/document/q2n97k9e-formalizing-the-evaluation-of-ocl-constraints.html