OCLE 2.0 - Object Constraint Language Environment

Look at the UML specification! All the UML diagrams are carefully designed and represented using UML CASE Tools. Unfortunately, the UML static semantics expressed using OCL has many syntactical, semantical and conceptual errors. This is mainly due to the lack of appropriate OCL Tool support.

OCLE was specially designed and implemented to help UML users in overcoming this state of facts. Using this tool, mistakes in design models can be detected early, and easily corrected in time.

Why should you use this tool?

OCL is an integrant part of UML
without using OCL you can not benefit from all the power of UML
using this tool you have the opportunity to see that OCL is really a very simple language

checking UML models against the Well Formedness Rules you can catch many design errors
you can check your UML model not only against Well Formedness Rules, but also against Methodological Rules, Profile Rules or Target Implementation Language Rules expressed in OCL
using this tool you can obtain all the metric information you need about your UML models very easily

it is a powerful tool, very simple and intuitive to use
it is in this moment (at least as far as we know) the only OCL tool offering full access at both metamodel and model level
it is completely independent of the tools used in producing UML models in XMI format

OCLE brief description:

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.

Certainly, a lot of possible extensions can be realized and probably enough functions can be improved. We are planning to extend and improve OCLE, to offer a better and complete support for the diagrams editor, a strong support for transforming different models (MDA), and so on.

We are looking forward to receive your opinions and suggestions about OCLE and we will try to implement them as soon as our resources will make this possible.

Enjoy using OCLE 2.0!

The LCI team