Eclipse Community Forums: OCL » OCL constraints on some properties of a dependency stereotype

Help

Home

Home » Modeling » OCL » OCL constraints on some properties of a dependency stereotype

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

OCL constraints on some properties of a dependency stereotype [message #1787075]

Fri, 18 May 2018 12:49

MG Gharib

Messages: 30
Registered: September 2014

Member

Dear all,

I'm trying to to define a constraint that checks some properties of a dependency.

I will describe what I'm trying to model since it may better describe the problem.

I have three stereotypes Actor, Information and Activity specilized from the Class Metaclass, and InfoProvision (relation between two actors concerning the provesion of information) specilized from the Dependency Metaclass as shown in the Figure.

I want to define a constraint on the actor stereotype that prevents it from providing an information depending on inforProvision stereotype to another actor unless there is an incoming infoProvision with the same information.

I was able to define constraints on the type of a dependency relying on "getAppliedStereotypes()". However, I was not able to define a constrasint on some properties of the dependency. I'm not sure if it is possible in OCL but I supposed it is that is why I'm asking the experts here.

The problem is how I can reach the value (at the instence level) of such dependency and compare its value with another dependency from the same type?

Any suggestion to solve this problem are appretiated

Thanks in advance

Attachment: OCL.PNG
(Size: 19.11KB, Downloaded 163 times)

Report message to a moderator

Re: OCL constraints on some properties of a dependency stereotype [message #1787077 is a reply to message #1787075]

Fri, 18 May 2018 14:17

Ed Willink

Messages: 7655
Registered: July 2009

Senior Member

Hi

It is probably possible, but on the basis of the information you have provided. See https://wiki.eclipse.org/OCL/ForumNetiquette

If you are using Papyrus, you are using the Pivot-based OCL that has sensiuble typesafe stereotype navigation. It should not be necessary to use the type-unsafe getAppliedStereotypes().

Have you looked at https://help.eclipse.org/oxygen/index.jsp?topic=%2Forg.eclipse.ocl.doc%2Fhelp%2FOCLExamplesforUML.html

Have you experimented in the OCL Xtext Console?

Regards

Ed Willink

Report message to a moderator

Re: OCL constraints on some properties of a dependency stereotype [message #1787080 is a reply to message #1787077]

Fri, 18 May 2018 14:40

MG Gharib

Messages: 30
Registered: September 2014

Member

Hi Ed,

Sorry for the messing information, Yes I'm using Papyrus - Oxygen. No I didn't use "OCL Xtext Console", I will check.

I have already checked many online resources including the link you have included. One of the problems is that I couldn't find a good resource that I can rely on to better learn and deal with OCL. If you know any good resource, please let me know.

Last year I experienced a problem with OCL, which I couldn't solve by myself. Therefore, I post it here and the guys were very helpful and assist me to solve it. That is why I though about posting this problem here after running out of solution.

Thanks

Report message to a moderator

Re: OCL constraints on some properties of a dependency stereotype [message #1787099 is a reply to message #1787080]

Fri, 18 May 2018 17:31

Ed Willink

Messages: 7655
Registered: July 2009

Senior Member

Hi

Yes. We can help you with problem, but only when you adequately explain them.

(The official OMG documentation on OCL navigation involving stereotypes is one not very helpful example in the UML specification.)

Regards

Ed Willink

Report message to a moderator

Previous Topic:	detect the constraints conflict
Next Topic:	OCL in Activity Diagram

Goto Forum:

-=] Back to Top [=-

[ Syndicate this forum (XML) ] [

]

Current Time: Fri Apr 26 07:35:15 GMT 2024

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter