Run

Configuration

Running the server requires a .properties configuration file with 3 elements:

1. server: The host name (default: localhost).
2. port: The port to bind to for listening (default: 7000).
3. launchProverCommand: The location of the script to run the reasoner.

The contents of the docker.properties file, which is used in the Docker image, is shown as an example below:

1server=localhost
2port=7000
3launchProverCommand=/server/scripts/launch_prover_docker.sh

Launch

To summarize, running the server requires the following:

1. An installation of the Java server.
2. A working installation of the reasoner.
3. A configuration file.

With everything in place, the server can be run from its installation with the following command:

1./bin/WorkflowFM_Server /path/to/configuration/file.properties