Eclipse Community Forums: OCL » detect the constraints conflict

Home » Modeling » OCL » detect the constraints conflict

detect the constraints conflict [message #1786477]

Fri, 04 May 2018 00:07

Eclipse User

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.

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

Sat, 05 May 2018 01:27

Eclipse User

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

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

Goto Forum:

-=] Back to Top [=-

Current Time: Sun Jul 06 23:50:28 EDT 2025

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter