Skip to main content


Eclipse Community Forums
Forum Search:

Search      Help    Register    Login    Home
Home » Modeling » OCL » Negation of OCL expressions
Negation of OCL expressions [message #1765430] Fri, 09 June 2017 11:52 Go to next message
meriem lahr is currently offline meriem lahrFriend
Messages: 31
Registered: March 2013
Member
Hi all,

I'm working on the adaptation of OCL constraints associated to a metamodel and i need to generate the negation of these expressions as an initial phase. Is there a way to automatically get these negations?

Regards,

Meriem

[Updated on: Fri, 09 June 2017 11:56]

Report message to a moderator

Re: Negation of OCL expressions [message #1765434 is a reply to message #1765430] Fri, 09 June 2017 12:46 Go to previous message
Ed Willink is currently offline Ed WillinkFriend
Messages: 5929
Registered: July 2009
Senior Member
Hi

You question doesn't really make any sense. No idea what an initial phase is.

There are normally many context/constraint permutations for which only are values are false; negating would give you numerous results.

You can of course just use "not".

If you use the Validity View you can see any context/constraint permutations and so look at the inverses.

Regards

Ed Willink
Previous Topic:Possible problems with implicit properties of Stereotypes
Next Topic:Using Java APIs
Goto Forum:
  


Current Time: Thu Jun 21 12:40:11 GMT 2018

Powered by FUDForum. Page generated in 0.01447 seconds
.:: Contact :: Home ::.

Powered by: FUDforum 3.0.2.
Copyright ©2001-2010 FUDforum Bulletin Board Software

Back to the top