资 源 简 介
Latest version: [Processor of OCL 2.0 expressions v1.3](http://www.lsi.upc.edu/~avillegas/Resources/ProcessorOfOCL2.0Expressions.zip)
Our aim is to develop a tool that converts textual constraints written in the OCL 2.0 language into instances of the OCL 2.0 metamodel. To do this we base our design in the existent tool called Dresden OCL2 Toolkit, from the Dresden University.
By now, our implementation support almost all OCL 2.0 constructions, including the inverse conversion from metamodel instances to textual constraints.
We use as a conceptual modeling environment the EINA GMC tool, which can be found in http://guifre.lsi.upc.edu/eina_GMC/
Such tool is developed by the GMC Research Group of the Technical University of Catalonia (UPC), from Spain. It provides the possibility of creating and storing metamodel instances into a MDR repository.
The steps of our processor are the followings:
Load an XM
