Skip to main content

Eclipse Community Forums
Forum Search:

Search      Help    Register    Login    Home
Home » Modeling » OCL » Simplifying OCL Expressions
Simplifying OCL Expressions [message #1766771] Tue, 27 June 2017 08:20 Go to next message
Banafsheh Azizi is currently offline Banafsheh AziziFriend
Messages: 320
Registered: July 2016
Senior Member

Is there any tool, approach, etc. for simplifying OCL expressions?

Member of MDSE Research Group
Re: Simplifying OCL Expressions [message #1766778 is a reply to message #1766771] Tue, 27 June 2017 08:44 Go to previous message
Ed Willink is currently offline Ed WillinkFriend
Messages: 6754
Registered: July 2009
Senior Member

(Isn't it time you changed your 'name' to something realistic?)

I recall a paper on some manual refactorings presented by the Dresden OCL guys;

Many of these optimizations are performed automatically by the Eclipse OCL Code Generator which has some CommonSubExpression Elimination, Constant Folding, Loop Hoisting capabilities as well as powerful not-null/not-invalid analysis.

Xtext supports refactoring and EMF Refactor has evolved to co-exist with Xtext, so in principle it should be straightforward to add refactorings to the Eclipse OCL editors. Just needs someone with time and skills; sadly a long way down my priority list. Might happen once autogeneration of an in-place QVTr transformation is working.


Ed Willink
Previous Topic:check refernce is defined
Next Topic:Announce OCL 6.3.0
Goto Forum:

Current Time: Thu Jul 02 10:31:20 GMT 2020

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

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

Back to the top