The development and user documentation of Dresden OCL