Installation Guide

Installation Guide

Compile from source code

This guide gives a step-by-step instruction to setup a developement environment.

• Install Eclipse, choose Eclipse Modeling Tools edition.
• Set the character encoding to UTF8 (Window > Preferences > General > Workspace > Text file encoding).
• Install the newest stable version of the following tools (from the "2022-03 - https://download.eclipse.org/releases/2022-03/" Update Site):
  • Xtext Complete SDK
  • Xtend IDE (this should be included in the Complete SDK)
• Install the latest version of the VIATRA plugins from the following update site: http://download.eclipse.org/viatra/updates/release/2.4.1
• Install those plugins:
  • VIATRA Query and Transformation SDK
  • VIATRA-DSE framework (Incubation) Developer Resources
• Currently the DOT visualisation is added by a precompiled plugin. (Thanks to https://github.com/kris7t !) Install the following plugin:
  • Install graphviz-java Feature and graphviz-java Feature (Sources) from repository https://kris7t.github.io/graphviz-java-p2/repository/
• Clone the Git repository and import all project from Application, Framework and Solvers.
• Currently the Alloy Analyser tool need to be added manually. Download "alloy4.2_2015-02-22.jar" from https://alloytools.org/download/alloy4.2_2015-02-22.jar and place it to the hu.bme.mit.inf.dlsreasoner.alloy.reasoner/lib/ folder.
• Similarly, Z3 solver needs to be added manually. Download Z3 from https://github.com/Z3Prover/z3 and copy "com.microsoft.z3.jar" to the root of com.microsoft.z3/.
• If developing on Linux, install CBC (https://github.com/coin-or/Cbc). Otherwise, only scope reasoning is available (use "scopePropagator" = "typeHierarchy" in the config block).
• Finally, when running the generator, make sure to set the path to Z3 and CBC solvers. LD_LIBRARY_PATH=<Z3-path>/bin:<CBC-path>/lib

Optionally developer tools

• Install JVM monitor from the marketplace for profiling.
• Install Ecore Diagram Editor SDK.