The editor developed at the University of Innsbruck enables writing OCL expressions in easy, error-free and efficient way. The editor supports libraries of OCL expressions (our OCL extension proposal), it enables unit testing of OCL expressions and documentation generation.
For more information about our tool please visit the editor's homepage.