Skip to main content


Eclipse Community Forums
Forum Search:

Search      Help    Register    Login    Home
Home » Modeling » OCL » [OCLInEcore] Operator ^
[OCLInEcore] Operator ^ [message #553401] Tue, 17 August 2010 12:17 Go to next message
Toñi  Reina is currently offline Toñi ReinaFriend
Messages: 209
Registered: July 2009
Senior Member
Hi,

I'm trying to write an OCL expression that includes de ^ operator,
such as object^method. However, I have errors when I write this
expression in the OCLInEcore editor. Has been this operator implemented
in OCLInEcore?

Thanks in advance,
Toñi
Re: [OCLInEcore] Operator ^ [message #553521 is a reply to message #553401] Tue, 17 August 2010 19:14 Go to previous messageGo to next message
Ed Willink is currently offline Ed WillinkFriend
Messages: 7655
Registered: July 2009
Senior Member
Hi Toni

^ is a Message operator which is applicable to UML but not to EMOF
models. Ecore is 'equivalent' to EMOF, so ^ and ^^ are deliberately
missing from OCLinEcore.

^ and ^^ are present in the CompleteOCL editor.

You're probably going to have to wait until the OCLinEcore editor
evolves to a UnifiedOCL editore that supports OCL im UML or Ecore.

Regards

Ed Willink

On 17/08/2010 13:17, Toñi Reina Quintero wrote:
> Hi,
>
> I'm trying to write an OCL expression that includes de ^ operator, such
> as object^method. However, I have errors when I write this expression in
> the OCLInEcore editor. Has been this operator implemented in OCLInEcore?
>
> Thanks in advance,
> Toñi
Re: [OCLInEcore] Operator ^ [message #553606 is a reply to message #553521] Wed, 18 August 2010 07:54 Go to previous messageGo to next message
Toñi  Reina is currently offline Toñi ReinaFriend
Messages: 209
Registered: July 2009
Senior Member
Hi Ed,
thanks for your answer, could you give me any reference about this
CompleteOCL editor?

RE

El 17/08/2010 21:14, Ed Willink escribió:
> Hi Toni
>
> ^ is a Message operator which is applicable to UML but not to EMOF
> models. Ecore is 'equivalent' to EMOF, so ^ and ^^ are deliberately
> missing from OCLinEcore.
>
> ^ and ^^ are present in the CompleteOCL editor.
>
> You're probably going to have to wait until the OCLinEcore editor
> evolves to a UnifiedOCL editore that supports OCL im UML or Ecore.
>
> Regards
>
> Ed Willink
>
> On 17/08/2010 13:17, Toñi Reina Quintero wrote:
>> Hi,
>>
>> I'm trying to write an OCL expression that includes de ^ operator, such
>> as object^method. However, I have errors when I write this expression in
>> the OCLInEcore editor. Has been this operator implemented in OCLInEcore?
>>
>> Thanks in advance,
>> Toñi
>
Re: [OCLInEcore] Operator ^ [message #553617 is a reply to message #553606] Wed, 18 August 2010 08:10 Go to previous messageGo to next message
Ed Willink is currently offline Ed WillinkFriend
Messages: 7655
Registered: July 2009
Senior Member
Hi Toni

Essential OCL is defined by the OMG OCL spec as the essential subset to
support meta-model expressions.

Complete OCL is defined (but not as thoroughly) by the OMG OCL spec as
an extended capability to define OCL documents that complement a meta-model.

[OCLinEcore is an MDT/OCL contribution to support EssentialOCL embedded
in Ecore and applies typiucally to *.ecore XMI files or *.oclinecore
text files.]

The MDT/OCL CompleteOCL editor is invoked typically for *.ocl text files.

The RoyalAndLoyal Example project has a large CompleteOCL exzmple.

Regards

Ed Willink


On 18/08/2010 08:54, Toñi Reina Quintero wrote:
> Hi Ed,
> thanks for your answer, could you give me any reference about this
> CompleteOCL editor?
>
> RE
>
> El 17/08/2010 21:14, Ed Willink escribió:
>> Hi Toni
>>
>> ^ is a Message operator which is applicable to UML but not to EMOF
>> models. Ecore is 'equivalent' to EMOF, so ^ and ^^ are deliberately
>> missing from OCLinEcore.
>>
>> ^ and ^^ are present in the CompleteOCL editor.
>>
>> You're probably going to have to wait until the OCLinEcore editor
>> evolves to a UnifiedOCL editore that supports OCL im UML or Ecore.
>>
>> Regards
>>
>> Ed Willink
>>
>> On 17/08/2010 13:17, Toñi Reina Quintero wrote:
>>> Hi,
>>>
>>> I'm trying to write an OCL expression that includes de ^ operator, such
>>> as object^method. However, I have errors when I write this expression in
>>> the OCLInEcore editor. Has been this operator implemented in OCLInEcore?
>>>
>>> Thanks in advance,
>>> Toñi
>>
>
Re: [OCLInEcore] Operator ^ [message #553635 is a reply to message #553617] Wed, 18 August 2010 09:21 Go to previous messageGo to next message
Toñi  Reina is currently offline Toñi ReinaFriend
Messages: 209
Registered: July 2009
Senior Member
hi Ed,

thanks for your answer. I've been testing the CompleteOCL editor,
and the problem is that it doesn't report type errors. For example,
if I change the first invariant in the RoyalAndLoyal example

inv invariant_ServiceLevel19 :
(Sequence{'a', 'b', 'c', 'c', 'd', 'e'}->prepend('X')) = 1 +
Sequence{'X', 'a', 'b', 'c', 'c', 'd', 'e'}

adding 1+ after the =, the editor should report an error, but it
doesn't. Do you know any OCL editor that can typecheck OCL specifications?

Thanks in advance,
Toñi

El 18/08/2010 10:10, Ed Willink escribió:
> Hi Toni
>
> Essential OCL is defined by the OMG OCL spec as the essential subset to
> support meta-model expressions.
>
> Complete OCL is defined (but not as thoroughly) by the OMG OCL spec as
> an extended capability to define OCL documents that complement a
> meta-model.
>
> [OCLinEcore is an MDT/OCL contribution to support EssentialOCL embedded
> in Ecore and applies typiucally to *.ecore XMI files or *.oclinecore
> text files.]
>
> The MDT/OCL CompleteOCL editor is invoked typically for *.ocl text files.
>
> The RoyalAndLoyal Example project has a large CompleteOCL exzmple.
>
> Regards
>
> Ed Willink
>
>
> On 18/08/2010 08:54, Toñi Reina Quintero wrote:
>> Hi Ed,
>> thanks for your answer, could you give me any reference about this
>> CompleteOCL editor?
>>
>> RE
>>
>> El 17/08/2010 21:14, Ed Willink escribió:
>>> Hi Toni
>>>
>>> ^ is a Message operator which is applicable to UML but not to EMOF
>>> models. Ecore is 'equivalent' to EMOF, so ^ and ^^ are deliberately
>>> missing from OCLinEcore.
>>>
>>> ^ and ^^ are present in the CompleteOCL editor.
>>>
>>> You're probably going to have to wait until the OCLinEcore editor
>>> evolves to a UnifiedOCL editore that supports OCL im UML or Ecore.
>>>
>>> Regards
>>>
>>> Ed Willink
>>>
>>> On 17/08/2010 13:17, Toñi Reina Quintero wrote:
>>>> Hi,
>>>>
>>>> I'm trying to write an OCL expression that includes de ^ operator, such
>>>> as object^method. However, I have errors when I write this
>>>> expression in
>>>> the OCLInEcore editor. Has been this operator implemented in
>>>> OCLInEcore?
>>>>
>>>> Thanks in advance,
>>>> Toñi
>>>
>>
>
Re: [OCLInEcore] Operator ^ [message #553739 is a reply to message #553635] Wed, 18 August 2010 16:07 Go to previous message
Ed Willink is currently offline Ed WillinkFriend
Messages: 7655
Registered: July 2009
Senior Member
Hi Toni

There is a Complete OCL editor as part of the M2M/QVTd project. It was
intended to migrate this to MDT/OCL, but IP issues got in the way and
forced a hurried Xtext-based redevelopment.

Regards

Ed Willink


On 18/08/2010 10:21, Toñi Reina Quintero wrote:
> hi Ed,
>
> thanks for your answer. I've been testing the CompleteOCL editor, and
> the problem is that it doesn't report type errors. For example,
> if I change the first invariant in the RoyalAndLoyal example
>
> inv invariant_ServiceLevel19 :
> (Sequence{'a', 'b', 'c', 'c', 'd', 'e'}->prepend('X')) = 1 +
> Sequence{'X', 'a', 'b', 'c', 'c', 'd', 'e'}
>
> adding 1+ after the =, the editor should report an error, but it
> doesn't. Do you know any OCL editor that can typecheck OCL specifications?
>
> Thanks in advance,
> Toñi
>
> El 18/08/2010 10:10, Ed Willink escribió:
>> Hi Toni
>>
>> Essential OCL is defined by the OMG OCL spec as the essential subset to
>> support meta-model expressions.
>>
>> Complete OCL is defined (but not as thoroughly) by the OMG OCL spec as
>> an extended capability to define OCL documents that complement a
>> meta-model.
>>
>> [OCLinEcore is an MDT/OCL contribution to support EssentialOCL embedded
>> in Ecore and applies typiucally to *.ecore XMI files or *.oclinecore
>> text files.]
>>
>> The MDT/OCL CompleteOCL editor is invoked typically for *.ocl text files.
>>
>> The RoyalAndLoyal Example project has a large CompleteOCL exzmple.
>>
>> Regards
>>
>> Ed Willink
>>
>>
>> On 18/08/2010 08:54, Toñi Reina Quintero wrote:
>>> Hi Ed,
>>> thanks for your answer, could you give me any reference about this
>>> CompleteOCL editor?
>>>
>>> RE
>>>
>>> El 17/08/2010 21:14, Ed Willink escribió:
>>>> Hi Toni
>>>>
>>>> ^ is a Message operator which is applicable to UML but not to EMOF
>>>> models. Ecore is 'equivalent' to EMOF, so ^ and ^^ are deliberately
>>>> missing from OCLinEcore.
>>>>
>>>> ^ and ^^ are present in the CompleteOCL editor.
>>>>
>>>> You're probably going to have to wait until the OCLinEcore editor
>>>> evolves to a UnifiedOCL editore that supports OCL im UML or Ecore.
>>>>
>>>> Regards
>>>>
>>>> Ed Willink
>>>>
>>>> On 17/08/2010 13:17, Toñi Reina Quintero wrote:
>>>>> Hi,
>>>>>
>>>>> I'm trying to write an OCL expression that includes de ^ operator,
>>>>> such
>>>>> as object^method. However, I have errors when I write this
>>>>> expression in
>>>>> the OCLInEcore editor. Has been this operator implemented in
>>>>> OCLInEcore?
>>>>>
>>>>> Thanks in advance,
>>>>> Toñi
>>>>
>>>
>>
>
Previous Topic:[OCLInEcore] Complex expressions with @pre
Next Topic:OCL Enumeration ordered?
Goto Forum:
  


Current Time: Thu Mar 28 14:08:46 GMT 2024

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

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

Back to the top