Skip to main content


Eclipse Community Forums
Forum Search:

Search      Help    Register    Login    Home
Home » Modeling » OCL » RE: How OCL works?
RE: How OCL works? [message #65838] Tue, 13 January 2009 16:40 Go to next message
Mark Melia is currently offline Mark MeliaFriend
Messages: 142
Registered: July 2009
Senior Member
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 19: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 15:41 Go to previous message
Mark Melia is currently offline Mark MeliaFriend
Messages: 142
Registered: July 2009
Senior Member
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 19 01:01:43 GMT 2024

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

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

Back to the top