Varda (Visual ARD Rapid Development Alloy) is a prototype design tool for ARD+ in Prolog.
Just download a VARDA milestone file below.
Download varda-m_6.tar.gz.
Download varda-m_5.tar.gz.
Download varda-m_4.tar.gz.
Download varda-m_3.tar.gz.
Download varda-m_2.tar.gz.
Download varda-m_1.tar.gz.
Download varda-m_0.tar.gz.
To run it you need:
/bin/sh
) – this is not the case with Ubuntu!!! it ships dash, change it: sudo dpkg-reconfigure dash
and 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:
./varda therm-model.pl
In Varda, try hlp.
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:
?- [therm-model].
Models:
therm-model.pl
the hekate_case_thermostatuserv-model-alpha.pl
the UServ case.elevator-model.pl
an 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.
Login:
In ARD+ you can directly see anly the most detailed (last level). If you want to see previous levels, you can either:
hic
to 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 sar
and shi
.