Eclipse Community Forums: OCL » Simplifying OCL Expressions

Help

Home

Home » Modeling » OCL » Simplifying OCL Expressions

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

Simplifying OCL Expressions [message #1766771]

Tue, 27 June 2017 08:20

Banafsheh Azizi

Messages: 328
Registered: July 2016

Senior Member

Hi,

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

Member of MDSE Research Group
http://mdse.ui.ac.ir

Report message to a moderator

Re: Simplifying OCL Expressions [message #1766778 is a reply to message #1766771]

Tue, 27 June 2017 08:44

Ed Willink

Messages: 7655
Registered: July 2009

Senior Member

Hi

(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; http://st.inf.tu-dresden.de/OCL2012/preproceedings/12.pdf

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.

Regards

Ed Willink

Report message to a moderator

Previous Topic:	check refernce is defined
Next Topic:	Announce OCL 6.3.0

Goto Forum:

-=] Back to Top [=-

[ Syndicate this forum (XML) ] [

]

Current Time: Fri Apr 19 18:15:58 GMT 2024

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter