Varda (Visual ARD Rapid Development Alloy) is a prototype design tool for ARD+ in Prolog.
Just download a VARDA milestone file below.
To run it you need:
/bin/sh) – this is not the case with Ubuntu!!! it ships dash, change it:
sudo dpkg-reconfigure dashand answer No to the question: Install dash as /bin/sh?, or uninstall dash.)
To use it:
cd varda ./varda
You can load an example model from the cmdline:
In Varda, try
While working in Varda you are in the pure SWI shell, just use Prolog
If you want to load a model when you are in VARDA simply use:
userv-model-alpha.plthe UServ case.
elevator-model.plan example elavator system.
In a Unix shell it is possible to use VARDA in a batch mode, specifying goal from the commandline, e.g.:
./varda hekate_case_thermostat-model.pl -t sar.
If you use Windows, you can still use VARDA, but automatic visualization would not work (it requires a Unix-like environment). Just run SWI Prolog, and:
?- [varda]. ?- [therm-model].
If you have Graphviz under Windows, you can generate pictures manually, e.g.:
?- sar('therm-ard.dot'). ?- shi('therm-tph.dot'). ?- gax. ?- sxt('therm-xtt.dot').
And then run Graphviz DOT:
dot -T png therm-ard.dot > therm-ard.png
Please report the bugs, suggestions to the CVStrac system.
In ARD+ you can directly see anly the most detailed (last level). If you want to see previous levels, you can either:
hicto previous levels in VARDA
If you want to manually collapse the history, and display the ARD and TPH, use:
ard_hist_collapse insteand of
hic and then
Patches and suggestions welcomed!
The development is not public.
Developers see hades