|
|
@@ -15,12 +15,12 @@ Live Modelling of CBDs
|
|
|
|
|
|
To start live modelling of CBDs, start up the Modelverse with the following command.
|
|
|
```sh
|
|
|
-python scripts/run_local_modelverse.sh 8001
|
|
|
+python scripts/run_local_modelverse.py 8001
|
|
|
```
|
|
|
|
|
|
When this has started, compile all CBD related files and its execution semantics with the following command.
|
|
|
```sh
|
|
|
-python scripts/execute_model.sh http://localhost:8001 test bootstrap/*.alc integration/code/cbd_*.mvc integration/code/cbd_*.alc
|
|
|
+python scripts/execute_model.py http://localhost:8001 test bootstrap/*.alc integration/code/cbd_*.mvc integration/code/cbd_*.alc
|
|
|
```
|
|
|
|
|
|
After the previous command has finished, start up the GUI with the following command.
|
|
|
@@ -46,7 +46,7 @@ Live Modelling of FSAs
|
|
|
Live modelling of FSAs is identical to the live modelling of CBDs.
|
|
|
Instead of loading CBD files, now load FSA files with the command shown below.
|
|
|
```sh
|
|
|
-python scripts/execute_model.sh http://localhost:8001 test bootstrap/*.alc integration/code/fsa_*.mvc integration/code/fsa_*.alc
|
|
|
+python scripts/execute_model.py http://localhost:8001 test bootstrap/*.alc integration/code/fsa_*.mvc integration/code/fsa_*.alc
|
|
|
```
|
|
|
|
|
|
The GUI can be started similarly with the files in the folder *interface/FSA*.
|