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.
- Install GraphViz.
- Get the latest version of the Eclipse Modeling Tools.
- Install Xtext from this update site (or use the Eclipse Marketplace): http://download.eclipse.org/modeling/tmf/xtext/updates/composite/releases/
- Install PlantUML from this update site (or use the Eclipse Marketplace): http://hallvard.github.io/plantuml/
- Install HiPE from this update site: https://hipe-devops.github.io/HiPE-Updatesite/hipe.updatesite/
- Check the encoding for Xtend files.
- In Eclipse: Go to
Window->Preferences->General->Workspace
. - Change the text file encoding to 'Other: UTF-8'.
- In Eclipse: Go to
- Go to
File/Import.../Team/Team Project Set
, check URL and enter in and import one of these PSF files:
For eMoflon including everything:
- Execute MWE2
- Open packages
org.emoflon.ibex.gt.editor/src/org.emoflon.ibex.gt.editor
andorg.emoflon.ibex.tgg.editor/src/org.moflon.tgg.mosl
- Right-click on
GenerateGT.mwe2
in the first package andGenerateTGG.mwe2
in the second. - Press
Run As -> MWE2 Workflow
.
- Open packages
- 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).
- 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 - Inside the runtime workspace, build all projects (Project → Build All) to trigger code generation.
- Run the JUnit tests to ensure that all is well by right-clicking
one of the
Testsuite_*.launch
in theTestsuite
project andTestsuiteGT.launch
in theTestsuiteGT
project and start the tests by selectingRun 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).
- Install GraphViz.
- Get the latest version of the Eclipse Modeling Tools.
- Install Xtext from this update site (or use the Eclipse Marketplace): http://download.eclipse.org/modeling/tmf/xtext/updates/composite/releases/
- Install PlantUML from this update site (or use the Eclipse Marketplace): http://hallvard.github.io/plantuml/
- 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.
- (Optional) Install GLPK for Windows or install GLPK via your package manager (Linux).
- (Optional) Install Gurobi 7.0.2 (make sure it is exactly this version!)
- (Optional) Install Google OR (not necessary on 64-bit Windows)
Note that Gurobi is only free for academical use (but not for commercial).