Installation

DICE-TraCT has a Client-Server architecture: the client is distributed as Eclipse plugin, while the server consists in a python Flask web application.

DICE-TraCT Client (Eclipse Plugin)

DICE IDE installation

The client component is already installed in the DICE IDE, therefore no installation step is required.

Standalone Installation (Eclipse Neon)

On an Eclipse Neon instance with Papyrus installed, from the menu bar, select Help -> Install New Software... and use http://dice-project.github.io/DICE-Trace-Checking/updates to install the DICE-Trace-Checking plugin.

Server (Python web-application on Docker container)

• Clone the DICE-Trace-Checking repository.

• From the main directory, build the Docker image:

  docker build -t dice-tract-server .

• Run the Docker container:

  docker run --rm --name dice-tract1 -p 5050:5050 dice-tract-server