Eclipse Community Forums: OCL » Writing ocl for Metaclass association

Help

Home

Home » Modeling » OCL » Writing ocl for Metaclass association

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

Writing ocl for Metaclass association [message #1001501]

Wed, 16 January 2013 15:49

Jeni Martin
Messages: 15
Registered: November 2012

Junior Member

Hi,

I am creating a profile, and my profile has three stereotypes. FR, NFR and Relation. FR and NFR are the extension of metaclass Class and Relation is the extension of metaclass Association. How can i define OCL constraints that says the Relation must be between FR and NFR? (each instance of FR is in relation with 0..* instance(s)of NFR.

Thanks

Report message to a moderator

Re: Writing ocl for Metaclass association [message #1001511 is a reply to message #1001501]

Wed, 16 January 2013 16:13

Ed Willink
Messages: 3185
Registered: July 2009

Senior Member

Hi

Seem like you want a Relation constraint that its base Association has
FR applied at one end and NFR applied at the other.

NB. UML requires automated definition of base_Association and
extension_Relation to facilitate stereotype navigation.

You will find that this is ropey at best in the Juno release of the OCL
editors and Papyrus. OCL should be fixed in Kepler M4. Papyrus and OCL
should work together for Kepler.

https://bugs.eclipse.org/bugs/show_bug.cgi?id=398333 raised so that this
is tested for Kepler.

Regards

Ed Willink

On 16/01/2013 20:49, Jeni Martin wrote:
> Hi,
>
> I am creating a profile, and my profile has three stereotypes. FR, NFR
> and Relation. FR and NFR are the extension of metaclass Class and
> Relation is the extension of metaclass Association. How can i define
> OCL constraints that says the Relation must be between FR and NFR?
> (each instance of FR is in relation with 0..* instance(s)of NFR.
>
> Thanks

Report message to a moderator

Re: Writing ocl for Metaclass association [message #1001521 is a reply to message #1001511]

Wed, 16 January 2013 16:32

Jeni Martin
Messages: 15
Registered: November 2012

Junior Member

Thank you so much for reply. But how can I even write the ocl for this specific constraint(it's syntax)?
I know that the baseclass has endtype property., but I don't know how I can write it.

Report message to a moderator

Re: Writing ocl for Metaclass association [message #1001536 is a reply to message #1001521]

Wed, 16 January 2013 17:12

Ed Willink
Messages: 3185
Registered: July 2009

Senior Member

Hi

Something like

context Relation
inv HasFR:
base_Association.memberEnd->exists(getStereotypeApplication(FR) <> null)
inv HasNFR:
base_Association.memberEnd->exists(getStereotypeApplication(NFR) <> null)

Element.getStereotypeApplication(Stereotype) is part of the MDT/UML2 API.

Regards

Ed Willink

On 16/01/2013 21:32, Jeni Martin wrote:
> Thank you so much for reply. But how can I even write the ocl for this
> specific constraint(it's syntax)? I know that the baseclass has
> endtype property., but I don't know how I can write it.
>

Report message to a moderator

Re: Writing ocl for Metaclass association [message #1006337 is a reply to message #1001536]

Wed, 30 January 2013 16:38

Ed Willink
Messages: 3185
Registered: July 2009

Senior Member

<html>
<head>
<meta content="text/html; charset=UTF-8" http-equiv="Content-Type">
</head>
<body bgcolor="#FFFFFF" text="#000000">
Hi 
 
The following should be possible in Kepler M5. It was created using
the latest Papyrus development code using the EssentialOCL editor
integration. The OCL text has therefore been semantically checked
(at M2). Actual functionality at M1 is still work in progress. 
 
<img src="http://www.eclipse.org/forums/index.php?t=getfile&id=13164" alt=""> 
 
No need to lose type safety with getAppliedStereotypes. 
 
 Regards 
 
 Ed Willink 
 
 
 
On 16/01/2013 22:12, Ed Willink wrote:
<blockquote cite="mid:kd78la$ji3$1@xxxxxxxxe.org" type="cite">Hi
 
 
Something like
 
 
context Relation
 
inv HasFR:
base_Association.memberEnd->exists(getStereotypeApplication(FR)
<> null)
 
inv HasNFR:
base_Association.memberEnd->exists(getStereotypeApplication(NFR)
<> null)
 
 
Element.getStereotypeApplication(Stereotype) is part of the
MDT/UML2 API.
 
 
 Regards
 
 
 Ed Willink
 
 
On 16/01/2013 21:32, Jeni Martin wrote:
 
<blockquote type="cite">Thank you so much for reply. But how can I
even write the ocl for this specific constraint(it's syntax)? I
know that the baseclass has endtype property., but I don't know
how I can write it.
 
 
</blockquote>
 
</blockquote>
 
</body>
</html>

Attachment: bhhgdhjd.png
(Size: 8.70KB, Downloaded 24 times)

Report message to a moderator

Previous Topic:	[Announce] Eclipse OCL 4.0.2 (Juno) SR2 RC2 is now available
Next Topic:	[Announce] Eclipse OCL 4.1.0 (Kepler) M5 is now available

Goto Forum:

-=] Back to Top [=-

[ Syndicate this forum (XML) ] [

]

Current Time: Sat May 25 16:23:47 EDT 2013