Eclipse Community Forums: Epsilon » Implicit edges in Control Flow Graph

Home » Modeling » Epsilon » Implicit edges in Control Flow Graph(M2M transformation - Create nodes and edges from CFG)

Implicit edges in Control Flow Graph [message #1843673]

Fri, 13 August 2021 05:12

Eclipse User

Hi everybody,

I try to do a model-to-model conversion by means of ETL of a Control Flow Graph to an Uppaal model. I already have the meta-models for both sides, but my main challenge now is to create the edges between the nodes.
My CFG model only contains nodes where the tree hierarchy and location of the node defines the flow between the nodes. The Uppaal model however requires edges between the nodes.

Does anybody has experience with this or some pattern to (recursively) create these edges by means of ETL? Especially the recursive part is something I struggle with.

Thanks!
Regards, Jildert

Re: Implicit edges in Control Flow Graph [message #1843723 is a reply to message #1843673]

Mon, 16 August 2021 02:53

Eclipse User

Hi Jildert,

Would adding a recursive EOL function [1] to your ETL transformation do the trick? If not, could you please share a minimal example [2] showing what you're trying to achieve?

Best,
Dimitris

[1] https://www.eclipse.org/epsilon/doc/eol/#user-defined-operations
[2] https://www.eclipse.org/epsilon/doc/articles/minimal-examples/

Re: Implicit edges in Control Flow Graph [message #1843790 is a reply to message #1843723]

Wed, 18 August 2021 09:55

Eclipse User

Hi Dimitris,

I'll give that a try!

Thx

Previous Topic:	[EGL/EGX + Maven]
Next Topic:	Using external querying language

Goto Forum:

-=] Back to Top [=-

Current Time: Tue Nov 04 22:30:52 EST 2025

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter