Eclipse Community Forums: OCL » detect the constraints conflict

Help

Home

Home » Modeling » OCL » detect the constraints conflict

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

detect the constraints conflict [message #1786477]

Fri, 04 May 2018 04:07

Hanan h

Messages: 1
Registered: May 2018

Junior Member

Hi ,

actually, I am looking for modeling language that used to implement set of networking constraints. then I have to check these constraints programmatically (not using the validation tools). and also detect the conflicts between these constraints.

In other words (example):
policy1: node x must be hosted by server 1
policy2: node x must be hosted by server 2.
So I have to write an algorithm that check these rules and said that we have a conflict here.

I am asking here, because I searched a lot and I found UML/OCL and I read about EMF tools .
So my question Is it possible to implement my objectives using OCL, EMF and check the constraints programmatically??

I am newbie to OCL.

Report message to a moderator

Re: detect the constraints conflict [message #1786521 is a reply to message #1786477]

Sat, 05 May 2018 05:27

Ed Willink

Messages: 6540
Registered: July 2009

Senior Member

Hi

Eclipse OCL supports the validation of invariant constraints. (pre/post-conditions are only syntax-checked.)

Eclipse OCL has local meta-validation in the form of null/non-null and other type checking.

Eclipse OCL has no global meta-validation - conflict detection. For this you might want to look at EMFtoCSP that uses Eclipse OCL as its starting point.

Regards

Ed Willink

Report message to a moderator

Previous Topic:	OCL and SBVR
Next Topic:	OCL constraints on some properties of a dependency stereotype

Goto Forum:

-=] Back to Top [=-

[ Syndicate this forum (XML) ] [

]

Current Time: Mon Dec 16 13:42:22 GMT 2019

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter