Eclipse Community Forums: OCL » Need your help on a student assignment .

Help

Home

Home » Modeling » OCL » Need your help on a student assignment .

Show: Today's Messages :: Show Polls :: Message Navigator

Need your help on a student assignment . [message #1739839]

Thu, 04 August 2016 21:55

Guillaume Beaudry

Messages: 1
Registered: August 2016

Junior Member

Need your help with this assignment. My university teacher gave us this practice exam and the answers.

Still i think he made a mistake in the photo i uploaded in the post.
index.php/fa/26694/0/

The exercise was to write an expression that described each graph.

I think he use the "lead to" symbol in a wrong way.

I believe the answer should be:

A[] ( (P and Q) => A<>W ) or (P and Q) --> W

and

E<> (P => A<> Q)

Is he correct or is my own answer ok ?

Thanks

Attachment: OCL.png
(Size: 45.43KB, Downloaded 141 times)

Report message to a moderator

Re: Need your help on a student assignment . [message #1740079 is a reply to message #1739839]

Tue, 09 August 2016 05:55

Ed Willink

Messages: 5843
Registered: July 2009

Senior Member

Hi

You don't provide the question and so the notation is meaningless and
the answer is very moot.

OCL has no =>, -->, or [] operators, so I suggest that you post your
question on a more appropriate forum.

In OCL, you would at least need a metamodel to express the edge
relationship, or to justify use of oclContainer() to navigate to parent.

An OCL expression for one characteristic might be something like

Q::allInstances()->closure(oclContainer())-exists(oclIsKindOf(P))

Regards

Ed Willink

On 09/08/2016 03:59, Guillaume Beaudry wrote:
> Need your help with this assignment. My university teacher gave us this practice exam and the answers.
>
> Still i think he made a mistake in the photo i uploaded in the post.
>
>
> The exercise was to write an expression that described each graph.
>
> I think he use the "lead to" symbol in a wrong way.
>
> I believe the answer should be:
>
> A[] ( (P and Q) => A<>W ) or (P and Q) --> W
>
> and
>
> E<> (P => A<> Q)
>
> Is he correct or is my own answer ok ?
>
> Thanks
>

---
This email has been checked for viruses by Avast antivirus software.
https://www.avast.com/antivirus

Report message to a moderator

Previous Topic:	Quick fix for OCLinEcore
Next Topic:	OCL Evaluation

Goto Forum:

-=] Back to Top [=-

[ Syndicate this forum (XML) ] [

]

Current Time: Thu Apr 26 08:01:28 GMT 2018

.:: Contact :: Home ::.