[Kuml-cvs] ocl

[Lorenzo D. <ld...@li...>]

what's about...

Hi, I had opened a project (eumltool.sourceforge.net) times ago... but, I 
would to join some open projects instead of starting from scratch.

What you think about an OCL Compiler ?

the UML 1.3 Specs are filled of this OCL to improve the correctness of the 
specifications limiting the ambiguities... should not be a good idea to 
implements an OCL compiler (like sablecc, but for C++) that can transform an 
OCL expression into a contraints object that can be evaluated on the fly ?

I suppose, there are two main way to do this:
1) develop an ocl compiler compiler that generate C++ code that insert onto 
kUMLlib, for each _impl member that have some contraints. 
2) (more desiderable) to have an OCL Class that have interconnection with the 
UML metamodel through Reflective module; based on it the OCL Class know all 
classes and can evaluate the contraints when y want.... For example, can be 
evaluated at run-time when the metaclass is used, so if the contraint fails 
an error like "internal lib error occurred" is showed.

Another point on favor for the OCL Class system is that y can use the OCL 
from the kUML when it run.

bye
Lore

PS. if the kUML developers wants to do something in this way I can support 
with my C/C++ experience and Software Engineering knowledge, but y don't 
surprise if my background isn't well enstablished with a rigour formalism.:)
My other interests are:
- CORBA programming (with MICO)
- GUI development (with QT/KDE)
- XMI and metamodel interchange