OCLE is a UML CASE Tool offering full OCL support both at the UML metamodel and model level. In the beginning, our main target was to design and implement a tool useful for people working with UML. In this respect, the first objective was to implement the support needed for checking the well formedness of UML models against the WFR specified in UML 1.5. In order to do this we corrected the Additional Operations and the Well Formedness Rules. In the examples directory included in this distribution, all the AO and WFR we used in different tests are specified. We can check your models using these specifications or your own ones. OCLE offers a very strong support for compiling and debugging OCL specifications. You can use UML models saved in XMI 1.0 or 1.1, regardless of the tools and parsers used in producing and transferring the models. Apart from the OCL support offered at the metamodel level, OCLE helps users in realizing both static and dynamic checking at the user model level. Dynamic support is offered by means of the generated Java source code. In this context it is worth mentioning the quality of the code generated for the model architecture and for OCL specifications and of the glue supporting the use of all the generated code. Semantic checking of XML documents described using DTDs is one of the straightforward applications of UML model checking. To facilitate this, OCLE enables the reverse engineering of DTD files. Last but not least, the graphical interface was conceived and implemented with the aim of supporting the use of OCLE in a natural and intuitive manner. Apart form the new features implemented in version 2.0, a very useful User Manual and some detailed examples were included in the distribution package.