Varda (Visual ARD Rapid Development Alloy) is a prototype design tool for ARD+ in Prolog.

• For ARD+ syntax see gjn2008flairs-ardformal-submitted
• For Varda description see gjn2008flairs-ardprolog-submitted

TARBALL wanted

• 2008.2.29 VARDA goes
• 2008.1.28 tph+ard display and collapse.
• 2008.1.26-7 preliminary HML export added, use 'axg.'

You need

• GNU bash as a default Bourne shell (/bin/sh) – this is not true in Ubuntu!!! they have dash, change it – just uninstall it
• SWI Prolog
• GraphViz
• ImageMagick

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

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.

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