object intern ocl object subject map object vt ocl object old self vt self vt self subject object ret ocl evalu instanc evalu vt uml mi ocl vt self old self ret invalid ocl except defin log lp log granular type statement log error except endif 