Re: OCL tool

Re: OCL tool

From: Dan CHIOREAN <>
Date: Wed, 20 May 2009 23:40:25 -0700 (PDT)
Message-ID: <>
The OCL specification is not complete and contains some ambiguities - 
therefore each tool producer has implemented more or less its 
understanding (vision).  Please read “How My Favorite Tool Supporting 
OCL Must Look Like”
In order to chose the right tool, you must know what are the functionalities
you intend to use.
As I know, in OCLE, excepting that "def" requires an additional "let" 
(like in previous versions of OCL), the tool works fine.  OCLE give 
users the opportunity to do partial evaluations (sub-expression 
evaluation) and even the partial evaluation of different other 
operations or def's included in the evaluated expression by 
composition.  Could you give an example showing that in OCLE, this, 
does not work properly.
A tool I like is XMF Mosaic.  It implements XOCL (an extended version 
of OCL).  I didn’t test def in XMF, but I think that it worth to do 
Best wishes,

--- On Wed, 5/20/09, Jakub Moskal <> wrote:

From: Jakub Moskal <>
Subject: OCL tool
To: "pUML Group" <>
Date: Wednesday, May 20, 2009, 10:56 PM


I've been looking for a working OCL 2.0 parser for a while now. I have
tried the following with no success:

Dresden OCL Toolkit,

Each one of them either doesn't seem to work properly, or doesn't
accept "def" statements in OCL. I also tried the Eclipse MDT OCL, but
I can't find a suitable tutorial with instructions on how to use it.

Can you recommend any good OCL 2.0 tool that would accept "def"
statements and parse an OCL code? Most of the tools mentioned above
seem abandoned, which tool is the most up-to-date?


To remove yourself from this list please mail
with a message containing the word "unsubscribe".
Received on Thu 21 May 2009 - 07:40:33 BST