Willink, E. Modeling the OCL Standard Library. eceasst 2011, 44.