type navig qualifi type qualifi ocl type except classifi ocl type except attempt access featur qualifi ocl type except qualifi associ support type type basic navig qualifi qualifi type type object assoc type attrib type classifi set sequenc bag search appropri attribut collect attribut model core helper attribut inh classifi iter iter attribut iter iter attrib type object attr iter model facad attr equal attrib type model facad type attr look associ collect associ end model core helper associ end inh classifi iter ascit associ end iter ascit assoc type object ae ascit associ end model facad ae equal model facad ae assoc type model facad type ae model facad ae model facad ae equal opposit model facad model facad type ae opposit lower opposit opposit substr lower lower opposit opposit substr lower opposit equal assoc type model facad type ae assoc type object multipl model facad multipl ae multipl model facad upper multipl model facad upper multipl model extens mechan helper stereotyp ae order sequenc set assoc type attrib type ocl type except access featur classifi attribut associ end object type assoc type type attrib type type assoc type type ocl type except attribut classifi type result ocl represent type set result tudresden ocl check type collect tudresden ocl check type collect set result sequenc result tudresden ocl check type collect tudresden ocl check type collect sequenc result result 