Skip to main content



      Home
Home » Modeling » OCL » RE: How OCL works?
RE: How OCL works? [message #65838] Tue, 13 January 2009 11:40 Go to next message
Eclipse UserFriend
Hi all,

Does anyone know if there are any documents on how the MDT OCL checker
works. I am particuarly interested in whether all the constraints are
converted to Java constraints and then evaluated?

Mark
Re: How OCL works? [message #65858 is a reply to message #65838] Tue, 13 January 2009 14:17 Go to previous messageGo to next message
Eclipse UserFriend
Originally posted by: cdamus.zeligsoft.com

Hi, Mark,

What do you mean by "MDT OCL" checker? The MID OCL component provides
only API for parsing and evaluating constraints and query expressions.

There is no facility for conversion of OCL to Java. This was part of
the OCLTools component's mandate, but it never got off the ground.

MDT OCL doesn't provide a framework for integrating OCL-based validation
into your application, but the EMF Validation Framework component does.

Have you read the Programmer's Guide documentation for MDT OCL and EMF
Validation?

Cheers,

Christian


Mark Melia wrote:
> Hi all,
>
> Does anyone know if there are any documents on how the MDT OCL checker
> works. I am particuarly interested in whether all the constraints are
> converted to Java constraints and then evaluated?
>
> Mark
>
Re: How OCL works? [message #66006 is a reply to message #65858] Wed, 21 January 2009 10:41 Go to previous message
Eclipse UserFriend
Hi Christian,

Thanks for the reply. I think I was slightly confused. I now see its the
validation framework I was talking about, and the validation framework
allows for constraints to be defined using OCL.

Thanks,
Mark

Christian W. Damus wrote:

> Hi, Mark,

> What do you mean by "MDT OCL" checker? The MID OCL component provides
> only API for parsing and evaluating constraints and query expressions.

> There is no facility for conversion of OCL to Java. This was part of
> the OCLTools component's mandate, but it never got off the ground.

> MDT OCL doesn't provide a framework for integrating OCL-based validation
> into your application, but the EMF Validation Framework component does.

> Have you read the Programmer's Guide documentation for MDT OCL and EMF
> Validation?

> Cheers,

> Christian


> Mark Melia wrote:
>> Hi all,
>>
>> Does anyone know if there are any documents on how the MDT OCL checker
>> works. I am particuarly interested in whether all the constraints are
>> converted to Java constraints and then evaluated?
>>
>> Mark
>>
Previous Topic:[Announce] MDT OCL 1.3.0 I200901201600 is available
Next Topic:[Announce] MDT OCL 1.3.0 I200901231238 is available
Goto Forum:
  


Current Time: Fri Apr 25 21:37:14 EDT 2025

Powered by FUDForum. Page generated in 0.04417 seconds
.:: Contact :: Home ::.

Powered by: FUDforum 3.0.2.
Copyright ©2001-2010 FUDforum Bulletin Board Software

Back to the top