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 A is currently offline Banafsheh AFriend
Messages: 262
Registered: July 2016
Senior Member
Hi,

Is there any tool, approach, etc. for simplifying OCL expressions?
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: 6041
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
Previous Topic:check refernce is defined
Next Topic:Announce OCL 6.3.0
Goto Forum:
  


Current Time: Mon Sep 24 03:53:36 GMT 2018

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

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

Back to the top