Skip to main content


Eclipse Community Forums
Forum Search:

Search      Help    Register    Login    Home
Home » Modeling » OCL » Re: [Ecore Tools] Integration with EMF Validation and/or MDT OCL
Re: [Ecore Tools] Integration with EMF Validation and/or MDT OCL [message #530872] Sun, 02 May 2010 09:39 Go to next message
Ed Merks is currently offline Ed MerksFriend
Messages: 33113
Registered: July 2009
Senior Member
This is a multi-part message in MIME format.
--------------060100020905060507010101
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit

Juan,

Probably the new validation support added to EMF along with the OCL
project's exploitation of it will be of interest:
<https://bugs.eclipse.org/bugs/show_bug.cgi?id=216701>

https://bugs.eclipse.org/bugs/show_bug.cgi?id=216701

I think Ed Willink documented how to take advantage of that, but I
couldn't find it on the OCL wiki, so I've added the OCL newsgroup to the
"to" list of the reply.

Cheers,
Ed


Juan Cadavid wrote:
> Hi Ecore Tools dev team,
>
> First of all I want to congratulate you for the tool which keeps
> getting better every time :)
>
> I'd like to ask you about the plans to integrate Ecore Tools with MDT
> OCL. Is this going to be done through the offered components in EMF
> Validation or is the component going to provide its own validation
> mechanism to work with OCL? You mention in the wiki plans to provide
> integration with EMF Validation, but I don't see any open bug for
> that; however https://bugs.eclipse.org/297650 talks about integration
> with org.eclipse.ocl. What is the goal of this integration? Is this
> documented anywhere?
>
> Thanks a lot for your help!
>
> -Juan

--------------060100020905060507010101
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: 8bit

<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<meta content="text/html;charset=UTF-8" http-equiv="Content-Type">
</head>
<body bgcolor="#ffffff" text="#000000">
Juan,<br>
<br>
Probably the new validation support added to EMF along with the OCL
project's exploitation of it will be of interest:<a
href="https://bugs.eclipse.org/bugs/show_bug.cgi?id=216701"><br>
</a>
<blockquote><a
href="https://bugs.eclipse.org/bugs/show_bug.cgi?id=216701">https://bugs.eclipse.org/bugs/show_bug.cgi?id=216701</a><br>
</blockquote>
I think Ed Willink documented how to take advantage of that,  but I
couldn't find it on the OCL wiki, so I've added the OCL newsgroup to
the "to" list of the reply.<br>
<br>
Cheers,<br>
Ed<br>
<br>
<br>
Juan Cadavid wrote:
<blockquote cite="mid:hrihss$kmn$1@build.eclipse.org" type="cite">Hi
Ecore Tools dev team,
<br>
<br>
First of all I want to congratulate you for the tool which keeps
getting better every time :)
<br>
<br>
I'd like to ask you about the plans to integrate Ecore Tools with MDT
OCL. Is this going to be done through the offered components in EMF
Validation or is the component going to provide its own validation
mechanism to work with OCL? You mention in the wiki plans to provide
integration with EMF Validation, but I don't see any open bug for that;
however <a class="moz-txt-link-freetext" href="https://bugs.eclipse.org/297650">https://bugs.eclipse.org/297650</a> talks about integration with
org.eclipse.ocl. What is the goal of this integration? Is this
documented anywhere?
<br>
<br>
Thanks a lot for your help!
<br>
<br>
-Juan
<br>
</blockquote>
</body>
</html>

--------------060100020905060507010101--


Ed Merks
Professional Support: https://www.macromodeling.com/
Re: [Ecore Tools] Integration with EMF Validation and/or MDT OCL [message #531131 is a reply to message #530872] Mon, 03 May 2010 19:44 Go to previous messageGo to next message
Ed Willink is currently offline Ed WillinkFriend
Messages: 7655
Registered: July 2009
Senior Member
Hi Ed, Juan

The write up is at http://wiki.eclipse.org/MDT/OCLinEcore

The first representation part is still valid.

The second editing part is not. It was written about six weeks ago since
when things have moved on a lot.

MDT/OCL 3.0.0M7 (on Wednesday) will include Xtext-based 'example'
editors for

- CompleteOCL which provides a OCL document to complement a meta-model
- OCLinEcore which provides a compound Ecore and OCL textual language
that may optional be loaded from/saved to an *.ecore file
- EssentialOCL a single expression for use in pop-ups
- OCLstdlib to define the OCL standard library

Watch this space/the Wiki for a revised write-up.

NB. The examples do not ship in the Helios Modeling EPP bundle, so you
need to load them from the MDT/OCL Update Site. Hopefully by Helios we
will have sorted out visibility through the Modeling Discovery UI.

Regards

Ed Willink

On 02/05/2010 10:39, Ed Merks wrote:
> Juan,
>
> Probably the new validation support added to EMF along with the OCL
> project's exploitation of it will be of interest:
> <https://bugs.eclipse.org/bugs/show_bug.cgi?id=216701>
>
> https://bugs.eclipse.org/bugs/show_bug.cgi?id=216701
>
> I think Ed Willink documented how to take advantage of that, but I
> couldn't find it on the OCL wiki, so I've added the OCL newsgroup to the
> "to" list of the reply.
>
> Cheers,
> Ed
>
>
> Juan Cadavid wrote:
>> Hi Ecore Tools dev team,
>>
>> First of all I want to congratulate you for the tool which keeps
>> getting better every time :)
>>
>> I'd like to ask you about the plans to integrate Ecore Tools with MDT
>> OCL. Is this going to be done through the offered components in EMF
>> Validation or is the component going to provide its own validation
>> mechanism to work with OCL? You mention in the wiki plans to provide
>> integration with EMF Validation, but I don't see any open bug for
>> that; however https://bugs.eclipse.org/297650 talks about integration
>> with org.eclipse.ocl. What is the goal of this integration? Is this
>> documented anywhere?
>>
>> Thanks a lot for your help!
>>
>> -Juan
Re: [Ecore Tools] Integration with EMF Validation and/or MDT OCL [message #532135 is a reply to message #531131] Fri, 07 May 2010 09:53 Go to previous messageGo to next message
Heiko is currently offline HeikoFriend
Messages: 43
Registered: July 2009
Member
Hi Ed,
today I try to follow your wiki entry.
But I fails in the beginning.
After installing Eclipse 3.6M7 and MDT/OCL 3.0M7 I generate the Library
Example and try to open the ecore model with the OCLinEcore Editor.

I've got an event loop exception:

eclipse.buildId=I20100429-1549
java.version=1.6.0_17
java.vendor=Sun Microsystems Inc.
BootLoader constants: OS=win32, ARCH=x86, WS=win32, NL=de_DE
Command-line arguments: -os win32 -ws win32 -arch x86


Error
Fri May 07 11:39:02 CEST 2010
Unhandled event loop exception

java.lang.AssertionError: Cyclic resolution of lazy links :
TypedTypeRefCS.type->TypedTypeRefCS.type
at
org.eclipse.xtext.linking.lazy.LazyLinkingResource.getEObjec t(LazyLinkingResource.java:76)
at
org.eclipse.emf.ecore.resource.impl.ResourceSetImpl.getEObje ct(ResourceSetImpl.java:219)
at org.eclipse.emf.ecore.util.EcoreUtil.resolve(EcoreUtil.java: 202)
at org.eclipse.emf.ecore.util.EcoreUtil.resolve(EcoreUtil.java: 262)
at
org.eclipse.emf.ecore.impl.BasicEObjectImpl.eResolveProxy(Ba sicEObjectImpl.java:1483)
at
org.eclipse.ocl.examples.xtext.base.baseCST.impl.TypedTypeRe fCSImpl.getType(TypedTypeRefCSImpl.java:96)
at
org.eclipse.ocl.examples.xtext.base.scoping.TypedTypeRefScop eAdapter.createContents(TypedTypeRefScopeAdapter.java:36)
at
org.eclipse.ocl.examples.xtext.base.scope.AbstractScopeAdapt er.getInclusiveInheritedContents(AbstractScopeAdapter.java:1 18)
at
org.eclipse.ocl.examples.xtext.base.scope.FilteredAccesses.a ddElementsOfScope(FilteredAccesses.java:58)
at
org.eclipse.ocl.examples.xtext.oclinecore.scoping.ClassScope Adapter.addInheritedContents(ClassScopeAdapter.java:67)
at
org.eclipse.ocl.examples.xtext.oclinecore.scoping.ClassScope Adapter.createContents(ClassScopeAdapter.java:59)
at org.eclipse.ocl.examples...........

....
.....
......


Is it a bug, or what do I make wrong?


Greetings

Heiko


Am 03.05.2010 21:44, schrieb Ed Willink:
> Hi Ed, Juan
>
> The write up is at http://wiki.eclipse.org/MDT/OCLinEcore
>
> The first representation part is still valid.
>
> The second editing part is not. It was written about six weeks ago since
> when things have moved on a lot.
>
> MDT/OCL 3.0.0M7 (on Wednesday) will include Xtext-based 'example'
> editors for
>
> - CompleteOCL which provides a OCL document to complement a meta-model
> - OCLinEcore which provides a compound Ecore and OCL textual language
> that may optional be loaded from/saved to an *.ecore file
> - EssentialOCL a single expression for use in pop-ups
> - OCLstdlib to define the OCL standard library
>
> Watch this space/the Wiki for a revised write-up.
>
> NB. The examples do not ship in the Helios Modeling EPP bundle, so you
> need to load them from the MDT/OCL Update Site. Hopefully by Helios we
> will have sorted out visibility through the Modeling Discovery UI.
>
> Regards
>
> Ed Willink
>
> On 02/05/2010 10:39, Ed Merks wrote:
>> Juan,
>>
>> Probably the new validation support added to EMF along with the OCL
>> project's exploitation of it will be of interest:
>> <https://bugs.eclipse.org/bugs/show_bug.cgi?id=216701>
>>
>> https://bugs.eclipse.org/bugs/show_bug.cgi?id=216701
>>
>> I think Ed Willink documented how to take advantage of that, but I
>> couldn't find it on the OCL wiki, so I've added the OCL newsgroup to the
>> "to" list of the reply.
>>
>> Cheers,
>> Ed
>>
>>
>> Juan Cadavid wrote:
>>> Hi Ecore Tools dev team,
>>>
>>> First of all I want to congratulate you for the tool which keeps
>>> getting better every time :)
>>>
>>> I'd like to ask you about the plans to integrate Ecore Tools with MDT
>>> OCL. Is this going to be done through the offered components in EMF
>>> Validation or is the component going to provide its own validation
>>> mechanism to work with OCL? You mention in the wiki plans to provide
>>> integration with EMF Validation, but I don't see any open bug for
>>> that; however https://bugs.eclipse.org/297650 talks about integration
>>> with org.eclipse.ocl. What is the goal of this integration? Is this
>>> documented anywhere?
>>>
>>> Thanks a lot for your help!
>>>
>>> -Juan
>
Re: [Ecore Tools] Integration with EMF Validation and/or MDT OCL [message #532278 is a reply to message #532135] Fri, 07 May 2010 18:02 Go to previous message
Ed Willink is currently offline Ed WillinkFriend
Messages: 7655
Registered: July 2009
Senior Member
Hi Heiko

I'm afraid that installing the Xtext editors is fraught with many
difficulties.

The underlying Xtext APIs changed between M6 and M7 so that an MDT/OCL
M7a is imminent to ensure M7 coherence.

Last night the M7 plugins were not yet in the staging area so installing
the trial M7a grabbed incompatible Xtext M6.

The load of *.ecore is limited to rather simple (no references to
another model) Ecore files. Bug already fixed, but not in M7a, which was
enough of a build trial without fixing bugs.

I'm afraid that in M7 the editors are a bit of a taster for treats in store.

Regards

Ed Willink

On 07/05/2010 10:53, Heiko wrote:
> Hi Ed,
> today I try to follow your wiki entry.
> But I fails in the beginning.
> After installing Eclipse 3.6M7 and MDT/OCL 3.0M7 I generate the Library
> Example and try to open the ecore model with the OCLinEcore Editor.
>
> I've got an event loop exception:
>
> eclipse.buildId=I20100429-1549
> java.version=1.6.0_17
> java.vendor=Sun Microsystems Inc.
> BootLoader constants: OS=win32, ARCH=x86, WS=win32, NL=de_DE
> Command-line arguments: -os win32 -ws win32 -arch x86
>
>
> Error
> Fri May 07 11:39:02 CEST 2010
> Unhandled event loop exception
>
> java.lang.AssertionError: Cyclic resolution of lazy links :
> TypedTypeRefCS.type->TypedTypeRefCS.type
> at
> org.eclipse.xtext.linking.lazy.LazyLinkingResource.getEObjec t(LazyLinkingResource.java:76)
>
> at
> org.eclipse.emf.ecore.resource.impl.ResourceSetImpl.getEObje ct(ResourceSetImpl.java:219)
>
> at org.eclipse.emf.ecore.util.EcoreUtil.resolve(EcoreUtil.java: 202)
> at org.eclipse.emf.ecore.util.EcoreUtil.resolve(EcoreUtil.java: 262)
> at
> org.eclipse.emf.ecore.impl.BasicEObjectImpl.eResolveProxy(Ba sicEObjectImpl.java:1483)
>
> at
> org.eclipse.ocl.examples.xtext.base.baseCST.impl.TypedTypeRe fCSImpl.getType(TypedTypeRefCSImpl.java:96)
>
> at
> org.eclipse.ocl.examples.xtext.base.scoping.TypedTypeRefScop eAdapter.createContents(TypedTypeRefScopeAdapter.java:36)
>
> at
> org.eclipse.ocl.examples.xtext.base.scope.AbstractScopeAdapt er.getInclusiveInheritedContents(AbstractScopeAdapter.java:1 18)
>
> at
> org.eclipse.ocl.examples.xtext.base.scope.FilteredAccesses.a ddElementsOfScope(FilteredAccesses.java:58)
>
> at
> org.eclipse.ocl.examples.xtext.oclinecore.scoping.ClassScope Adapter.addInheritedContents(ClassScopeAdapter.java:67)
>
> at
> org.eclipse.ocl.examples.xtext.oclinecore.scoping.ClassScope Adapter.createContents(ClassScopeAdapter.java:59)
>
> at org.eclipse.ocl.examples...........
>
> ...
> ....
> .....
>
>
> Is it a bug, or what do I make wrong?
>
>
> Greetings
>
> Heiko
>
>
> Am 03.05.2010 21:44, schrieb Ed Willink:
>> Hi Ed, Juan
>>
>> The write up is at http://wiki.eclipse.org/MDT/OCLinEcore
>>
>> The first representation part is still valid.
>>
>> The second editing part is not. It was written about six weeks ago since
>> when things have moved on a lot.
>>
>> MDT/OCL 3.0.0M7 (on Wednesday) will include Xtext-based 'example'
>> editors for
>>
>> - CompleteOCL which provides a OCL document to complement a meta-model
>> - OCLinEcore which provides a compound Ecore and OCL textual language
>> that may optional be loaded from/saved to an *.ecore file
>> - EssentialOCL a single expression for use in pop-ups
>> - OCLstdlib to define the OCL standard library
>>
>> Watch this space/the Wiki for a revised write-up.
>>
>> NB. The examples do not ship in the Helios Modeling EPP bundle, so you
>> need to load them from the MDT/OCL Update Site. Hopefully by Helios we
>> will have sorted out visibility through the Modeling Discovery UI.
>>
>> Regards
>>
>> Ed Willink
>>
>> On 02/05/2010 10:39, Ed Merks wrote:
>>> Juan,
>>>
>>> Probably the new validation support added to EMF along with the OCL
>>> project's exploitation of it will be of interest:
>>> <https://bugs.eclipse.org/bugs/show_bug.cgi?id=216701>
>>>
>>> https://bugs.eclipse.org/bugs/show_bug.cgi?id=216701
>>>
>>> I think Ed Willink documented how to take advantage of that, but I
>>> couldn't find it on the OCL wiki, so I've added the OCL newsgroup to the
>>> "to" list of the reply.
>>>
>>> Cheers,
>>> Ed
>>>
>>>
>>> Juan Cadavid wrote:
>>>> Hi Ecore Tools dev team,
>>>>
>>>> First of all I want to congratulate you for the tool which keeps
>>>> getting better every time :)
>>>>
>>>> I'd like to ask you about the plans to integrate Ecore Tools with MDT
>>>> OCL. Is this going to be done through the offered components in EMF
>>>> Validation or is the component going to provide its own validation
>>>> mechanism to work with OCL? You mention in the wiki plans to provide
>>>> integration with EMF Validation, but I don't see any open bug for
>>>> that; however https://bugs.eclipse.org/297650 talks about integration
>>>> with org.eclipse.ocl. What is the goal of this integration? Is this
>>>> documented anywhere?
>>>>
>>>> Thanks a lot for your help!
>>>>
>>>> -Juan
>>
>
Previous Topic:Cannot find operation alloOwnedElements()
Next Topic:What's the way to get Operation object from a message object
Goto Forum:
  


Current Time: Fri Mar 29 09:51:07 GMT 2024

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

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

Back to the top