Eclipse Community Forums: OCL » Invariant disallowing element usage

Help

Home

Home » Modeling » OCL » Invariant disallowing element usage

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

Invariant disallowing element usage [message #22140]

Wed, 09 May 2007 12:15

Florian Georg

Messages: 27
Registered: July 2009

Junior Member

Hi,

I want to write an OCL constraint that validates an Activity and
disallows "ForkNode" instances (e.g. no parallelism is allowed).

Basically I don't know how to "filter" a collection (e.g.
self.ownedMember) based on some criteria - type in this case.

Any ideas? Thanks for your help in advance,

regards,
Florian

Report message to a moderator

Re: Invariant disallowing element usage [message #22306 is a reply to message #22140]

Wed, 09 May 2007 12:38

Eclipse User

Originally posted by: cdamus.ca.ibm.com

Hi, Florian,

You could try something like this:

context Activity
inv: self.node->forAll(not oclIsKindOf(ForkNode))

or, more in the style of filtering:

context Activity
inv: self.node->select(oclIsKindOf(ForkNode))->isEmpty()

HTH,

Christian

Florian Georg wrote:

> Hi,
>
> I want to write an OCL constraint that validates an Activity and
> disallows "ForkNode" instances (e.g. no parallelism is allowed).
>
> Basically I don't know how to "filter" a collection (e.g.
> self.ownedMember) based on some criteria - type in this case.
>
> Any ideas? Thanks for your help in advance,
>
> regards,
> Florian

Report message to a moderator

Previous Topic:	Re: integrating ocl with emf
Next Topic:	three entries so far, and growing

Goto Forum:

-=] Back to Top [=-

[ Syndicate this forum (XML) ] [

]

Current Time: Mon Jul 29 20:50:28 GMT 2024

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter