Installation guide

This page contains instructions for installing the PROxIMA tool. Consult the Users section if you are using PROxIMA for modeling; and the Developers section if you are contributing to PROxIMA.

Users

• Download the latest supported Eclipse Modeling package: eclipse-modeling-2020-12-R.
• Install the PROxIMA plugins from the update site: https://raw.githubusercontent.com/proxima-tools/proxima-tools.github.io/main/updates/releases/0.2.0/r.
  • Uncheck "Group by category" during the installation.

Sharing MATLAB sessions

Developers

Setting up the environment

• Download the latest supported Eclipse Modeling package: eclipse-modeling-2020-12-R.
• Install Xtext 2.24. (For the MWE2 support.)
• Install Sirius 6.4.
• Import the plugins from this repository's plugins folder.
• Generate domain model code.
  • Automated way: run the GenerateMetamodels.mwe2 generator file in the models folder of the org.proxima.metamodels plugin.
  • Manual way: use the processmodel.genmodel and enactment.genmodel generator models.

Recommended development approach

Developing and testing new functionality is carried out on three levels: one base Eclipse, and two runtime Eclipse instances on top of each other:

• Base: Metamodeling and back-end
• Runtime 1: Development of the Sirius GUI and closely related source code (extensions)
• Runtime 2: Testing the tool

This is required because the org.proxima.modeling plugin depends on the org.proxima.metamodels and org.proxima.commons.bl plugins.

• In the base Eclipse, close the org.proxima.modeling plugin. Develop the metamodeling and back-end functionality.
• Set up a default runtime Eclipse and launch it. Make sure the Sirius plugins are included. (Then Validate + Add Required.)
• Import the org.proxima.modeling plugin into the runtime Eclipse. Develop the GUI functionality.
• Set up a default runtime Eclipse in your runtime Eclipse and launch it.
• Test the software.

External dependencies

Install VIATRA 1.6.0.

Install Python3 and SymPy for for symbolic inconsistency checking.

Install Matlab/Simulink (last tested version: 2016b) and set up your environment for the Java API as described here. (Typically, you'll only have to add matlabroot/bin/<arch> to your system environment variable, where <arch> is your computer architecture. For example, win64 for 64–bit Windows machines, maci64 on Macintosh, or glnxa64 on Linux.)