Tool Support for OCL and Related Formalisms - Needs and Trends