Local installation

VirtuosoNext toolset is developed in Scala, and uses ScalaJS to generate JavaScript. The toolset is developed as a sub-module of ReoLive, and as such it requires ReoLive to run.

In addition it uses verifyta a command line tool from the Uppaal Real-Time Model Checker to verify properties of Timed Hub Automata.

Before installing ReoLive and VirtuosoNext toolset see the full list of requirements below.

Requirements

  • Scala building tools (SBT)

  • Uppaal Real-Time Model Checker (optional)

  • Java Runtime Environment (JRE)

Installation steps

Clone the ReoLive repository

git clone git@github.com:ReoLanguage/ReoLive.git
cd ReoLive

Pull the git submodules (which will include VirtuosoNext):

git submodule update --init

Use your favourite editor to edit the path to Uppaal executables in the global.properties configuration file. For example, in Mac OS the typical path would be:

...
verifytaCmd = /Applications/uppaal/bin-Darwin/verifyta
...

Run the compilation script:

./compile.sh

Running the framework

After running the script compile.sh you can already access to the lightweight version of VirtuosoNext by opening

open site/hubs.html

and accessing the LW Hubs tab.

This lightweight version is a single javascript file autogenerated during compilation, and gives access to most of the tools.

However, if you want to access the verification tool for Timed Hubs Automata, it requires access to your Uppaal installation to run the models in Uppaal.

For this you need to run the server and access the VirtuosoNext tab, as follows.

Start the server using sbt

sbt server/run

Open the VirtusoNext toolset in a browser

open http://localhost:9000/hubs