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)

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

Implicit edges in Control Flow Graph [message #1843673]

Fri, 13 August 2021 09:12

Jildert Ketelaar

Messages: 2
Registered: August 2021

Junior Member

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

Report message to a moderator

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

Mon, 16 August 2021 06:53

Dimitris Kolovos

Messages: 2165
Registered: July 2009
Location: York, UK

Senior Member

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/

Report message to a moderator