Home » Modeling » OCL » [OCLInEcore] Operator ^
| |
Re: [OCLInEcore] Operator ^ [message #553606 is a reply to message #553521] |
Wed, 18 August 2010 07:54 |
Toñi Reina 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 |
Ed Willink 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 |
Toñi Reina 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 |
Ed Willink 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
>>>>
>>>
>>
>
|
|
|
Goto Forum:
Current Time: Thu Mar 28 14:08:46 GMT 2024
Powered by FUDForum. Page generated in 0.03539 seconds
|