[news.eclipse.modeling.mdt.uml2.ocl] Re: OCL Debugging ?

[German Vega <vega@xxxxxxx>]

Hello,

Regarding your post to mdt.uml2.ocl ...

Andreas Maier wrote:
> Is there some way to debug OCL ?


I just wanted to point you out to a tool called "USE : A UML-based 
Specification Environment". It's open source, written in Java, and 
available at http://www.db.informatik.uni-bremen.de/projects/USE/

Unfortunately, it is not integrated into Eclipse or the EMF ecosystem, 
but I have found it very valuable when starting writing and testing my 
OCL constraints.

It allows you to write some scripts (in a proprietary action language) 
to populate an in-memory collection of objects (like the tests cases you 
mention) and then verifies your class invariants against this database, 
signaling the faulting objects, and showing you the evaluation of your 
expression. It also allows you to type an OCL expression directly and 
evaluate it against the object collection, showing you the intermediate 
results.

Hopefully we would have something like this for mdt.uml2.ocl

Regards



--
Germán VEGA

Equipe Adèle
Laboratoire LSR, Institut Imag, Universite Joseph Fourier
Bat. C, 220 rue de la Chimie, Domaine Universitaire
BP 53, 38041 Grenoble Cedex 9, France

Tel : +33 4 76 63 55 75           Fax : +33 4 76 63 55 50

email's Certificate Authority: 
http://igc.services.cnrs.fr/Doc/General/trust.html