Sulle macchine del laboratorio è installato ProM (https://www.promtools.org/).

Java 8 richiesto

La versione di Java richiesta per Prom è la Java 8.

Lo script di avvio prom.sh dovrebbe già abilitare la versione necessaria per l’esecuzione di Prom. Casomai fosse necessario fare a mano questa configurazione, è possibile seguire le indicazioni riportate nella pagina relativa a Java.

Esecuzione in lab

Per lanciarlo, eseguire:

/opt/prom/prom.sh

Lo script creerà nella home la directory .PromXY, necessaria al programma.

Il nome della directory dipende dalla versione di Prom.

Esecuzione delle versioni precedenti

In /opt potrebbero esserci più versioni del tool. In questo caso, prom è un link simbolico alla versione consigliata.

Se si desidera utilizzare una versione specifica, è possibile farlo lanciando lo script di esecuzione dalla directory opportuna.

Ad esempio:

/opt/prom-6.10/prom.sh

Nota interna per gli aggiornamenti

Quanto segue è riservato agli amministratori di sistema; non sono indicazioni per gli utenti del lab.

Per installare una nuova versione, occorre lanciare il ProM Package Manager, e poi selezionare quantomeno i plugins di base (RunnerUpPackages).

Premere Install, e attendere tutto il tempo necessario. Può essere un’operazione molto lenta.

Dopodiché bisogna prendere la directory packages dalla directory ~/.PromXY e spostarla nella directory del programma, sotto /opt.

Infine adattare lo script di esecuzione prom.sh con i nuovi percorsi.