eMoflon::IBeX

eMoflon::IBeX is an Eclipse-based incremental interpreter for bidirectional graph transformations based on Triple Graph Grammars (TGGs) and unidirectional graph transformations. It uses eMoflon::IBeX UI for the textual rule specification.

This repository contains only the part which is independent from a concrete pattern matcher.

• eMoflon::IBeX Democles uses eMoflon::IBeX with the Democles pattern matching engine.
• eMoflon::IBeX HiPE uses eMoflon::IBeX with our new HiPE parallel pattern matching engine.

How to develop

1. Install GraphViz.
2. Get the latest version of the Eclipse Modeling Tools.
3. Install Xtext from this update site (or use the Eclipse Marketplace): http://download.eclipse.org/modeling/tmf/xtext/updates/composite/releases/
4. Install PlantUML from this update site (or use the Eclipse Marketplace): http://hallvard.github.io/plantuml/
5. Install HiPE from this update site: https://hipe-devops.github.io/HiPE-Updatesite/hipe.updatesite/
6. Check the encoding for Xtend files.
   • In Eclipse: Go to Window->Preferences->General->Workspace.
   • Change the text file encoding to 'Other: UTF-8'.
7. Go to File/Import.../Team/Team Project Set, check URL and enter in and import one of these PSF files:
   For eMoflon including everything:
   
   • https://raw.githubusercontent.com/eMoflon/emoflon-ibex-deployment/master/devProjectSet.psf
     
8. Execute MWE2
   • Open packages org.emoflon.ibex.gt.editor/src/org.emoflon.ibex.gt.editor and org.emoflon.ibex.tgg.editor/src/org.moflon.tgg.mosl
   • Right-click on GenerateGT.mwe2 in the first package and GenerateTGG.mwe2 in the second.
   • Press Run As -> MWE2 Workflow.
9. Set UTF-8 as file encoding for the development workspace (Window → Preferences → General/Workspace) and build all projects (Project → Build All) to trigger code generation (and get rid of errors).
10. Set up your runtime and test workspaces by starting a runtime Eclipse workspace from your development workspace, and importing this PSF file:
    https://raw.githubusercontent.com/eMoflon/emoflon-ibex-tests/master/testProjectSet.psf
11. Inside the runtime workspace, build all projects (Project → Build All) to trigger code generation.
12. Run the JUnit tests to ensure that all is well by right-clicking one of the Testsuite_*.launch in the Testsuite project and TestsuiteGT.launch in the TestsuiteGT project and start the tests by selecting Run As/JUnit. If everything is set up correctly, all tests should be green.

Running Testsuite_GLPK.launch requires GLPK (see installation step 5).

Running Testsuite_Gurobi.launch requires Gurobi (see installation step 6).

Running Testsuite_CBC.launch requires Google OR tools (see installation step 7).

Testsuite_SAT4J.launch uses the SAT4J (automatically installed, but the slowest option).

How to install

1. Install GraphViz.
2. Get the latest version of the Eclipse Modeling Tools.
3. Install Xtext from this update site (or use the Eclipse Marketplace): http://download.eclipse.org/modeling/tmf/xtext/updates/composite/releases/
4. Install PlantUML from this update site (or use the Eclipse Marketplace): http://hallvard.github.io/plantuml/
5. Install eMoflon::IBeX from this update site: https://emoflon.org/emoflon-ibex-updatesite/snapshot/updatesite/
   • Select the eMoflon::IBeX (Democles) feature to install eMoflon::IBeX along with the Democles pattern matching tool.
   • Select the eMoflon::IBeX (HiPE) feature to install eMoflon::IBeX along with the HiPE, our new parallel pattern matching tool.

Now you are ready to use eMoflon::IBeX.

6. (Optional) Install GLPK for Windows or install GLPK via your package manager (Linux).
7. (Optional) Install Gurobi 7.0.2 (make sure it is exactly this version!)
8. (Optional) Install Google OR (not necessary on 64-bit Windows)

Note that Gurobi is only free for academical use (but not for commercial).