Eclipse Community Forums: OCL » ETL constraints to OCL

Home » Modeling » OCL » ETL constraints to OCL

ETL constraints to OCL [message #1765872]

Wed, 14 June 2017 02:42

Eclipse User

Hi,

How can I convert ETL constraints such as, "s.father.isDefined()" to its equivalent OCL constraint so that it can be used as a input of tools such as "EMFtoCSP".

Re: ETL constraints to OCL [message #1765881 is a reply to message #1765872]

Wed, 14 June 2017 03:48

Eclipse User

Hi

EOL is inspired by OCL but makes some deliberate changes, most notably elimination of the -> collection navigation operator.

I am currently working on an ATL2QVTr transformation as a test harness for QVTr utility. It also requires an OCL to OCL sub-transformation but ATL-OCL is not deliberately different to OMG-OCL. Once this works ETL/EOL to OCL might be considered.

Today, I think your only alternative is manual transcription, unless you care to develop an automated approach.

Regards

Ed Willink

Re: ETL constraints to OCL [message #1766091 is a reply to message #1765881]

Thu, 15 June 2017 10:58

Eclipse User

Thanks. I should get an automatic approach. I would prefer this tool was developed. However, I should write it myself.
I need some details about the difference between ETL constraints and OCL constraints. Would you please help me in this regard?

Re: ETL constraints to OCL [message #1766094 is a reply to message #1766091]

Thu, 15 June 2017 11:23

Eclipse User

Hi

ETL is inspired by OCL. Therefore the ETL documentation should make the differences clear. Not my problem. Try the Epsilon documentation / newsgroup.

Regards

Ed Willink

Previous Topic:	lots of errors in ocl file
Next Topic:	check refernce is defined

Goto Forum:

-=] Back to Top [=-

Current Time: Fri Jul 25 00:51:45 EDT 2025

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter