This is an old revision of the document!
Intro
Varda (Visual ARD Rapid Development Alloy) is a prototype design tool for ARD+ in Prolog.
Getting it
TARBALL wanted
News
Quickstart
You need
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].
If you use Windows, you can still use VARDA, but automatic visualisation 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_file('therm-ard.dot').
?- shi_file('therm-tph.dot').
?- gax.
?- sxt_file('therm-xtt.dot').
And then run Graphviz DOT:
dot -T png therm-ard.dot > therm-ard.png
Devel
CVS Access
The code in currently in the CVS at charon.
It has a restricted access.
One has to be in the hades group.
This includes the team working on tools and examples.
To check out, use:
export CVSROOT=:ext:kinio@charon.ia.agh.edu.pl/mnt/cvs/cvs-hades
export CVS_RSH=ssh
cvs co varda
Put your user name instead of kinio
.
XML support
Property removal during transform.
Modified varda_model
look for FIXED4XML
.
sar.
works, but painfully, shi.
ok, gax
seems ok
— Grzegorz J. Nalepa 2008/01/26 15:27 works fine — Igor Wojnicki 2008/01/28 02:07