Read Me

How to use the Processor Of OCL2.0 Expressions
==============================================

Double click on OCLprocessor.jar or execute in a terminal the following command:

java -jar OCLprocessor.jar

Then, the GUI will be shown. First of all, create a new project and load
an XMI file. Be sure that the XMI file is placed inside the models directory.

After that you can write constraints directly into the constraints area of
the window, or load a file containing these expressions. Be sure that this
file must be placed inside the ocl directory.

Last step consists on parse the expressions and check the output.

How to obtain an XMI file
=========================
A complete explanation of this task can be found in the chapter 5 of the
avillegaspfc.pdf document (found it in my web page)

Contact me
==========
I'll be pleased to answer any question about this tool. Furthermore, if you
find some bugs plase contact me. My email address is avillegas@lsi.upc.edu
and my website is www.lsi.upc.edu/~avillegas