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
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
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