In Jordi Cabot's Modeling LAnguages portal you can find an actuall entry about Dresden OCL. Dresden OCL is being developed towards an IDE for OCL. If you are interested read more ...