Eclipse Community Forums: OCL » Problem with OCL code while comparing the same class attribute of two instances

Home » Modeling » OCL » Problem with OCL code while comparing the same class attribute of two instances

Problem with OCL code while comparing the same class attribute of two instances [message #1815895]

Mon, 14 October 2019 11:24

Eclipse User

Hi there,
I am using a constraint solver to check constraint satisfiability. The solver takes OCL constraint. I have written a persons2families transformation. Consider the code bellow, in which a Male with the max age is a father.

operation Persons!Male isFather() : Boolean {
	for (i in Persons!Male.all())
	{
		if (self.lastName = i.lastName)
		{
			if (i.age > self.age)
			{
				return false;
			}
		}
	}
	return true;
}

I pass the conditions in the form of `Type.allInstances()->exists(p|Condition)` which is understandable for the solver. For the `if conditions` above I wonder whether how I can send the logic to solver. Because the type of both sides of operator is the same.
CSP constraint: Male.allInstances.size() <> 0 and Male.allInstances()->exists(p|p.lastName = ?.lastName and p.age>?.age)

Re: Problem with OCL code while comparing the same class attribute of two instances [message #1815900 is a reply to message #1815895]

Mon, 14 October 2019 15:29

Eclipse User

Hi

Your example is clearly not OCL. "for" rather than "forAll". "return". "if" without "endif". "{...}" rather than" (...)". "Person!Male" looks a bit like ATL. Also your snippet is a query not a constraint.

I have never used a Constraint solver so I cannot advise you on how to condition your code for a solver, other than to observe that OCL to constraint solver is the topic of many academic papers. Since you ask a question on an Eclipse forum, you may find EMFtoCSP helpful.

Regards

Ed Willink

Previous Topic:	OCL Classic vs OCL Pivot: IllegalArgumentException:
Next Topic:	OCL XText Console not available in Eclipse 2019-09

Goto Forum:

-=] Back to Top [=-

Current Time: Thu Jul 03 23:27:30 EDT 2025

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter