Skip to main content


Eclipse Community Forums
Forum Search:

Search      Help    Register    Login    Home
Home » Modeling » OCL » detect the constraints conflict
detect the constraints conflict [message #1786477] Fri, 04 May 2018 04:07 Go to next message
Hanan h is currently offline Hanan hFriend
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.
Re: detect the constraints conflict [message #1786521 is a reply to message #1786477] Sat, 05 May 2018 05:27 Go to previous message
Ed Willink is currently offline Ed WillinkFriend
Messages: 6040
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
Previous Topic:OCL and SBVR
Next Topic:OCL constraints on some properties of a dependency stereotype
Goto Forum:
  


Current Time: Sun Sep 23 03:03:07 GMT 2018

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

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

Back to the top