|
|
hekate:varda [2008/03/24 20:13] gjn manual collapse |
hekate:varda [2019/06/27 15:49] |
====== Intro ====== | |
Varda (//Visual ARD Rapid Development Alloy//) is a prototype design tool for ARD+ in Prolog. | |
* For ARD+ syntax see [[hekate:bib:hekate_bibliography#gjn2008flairs-ardformal-submitted]] | |
* For Varda description see [[hekate:bib:hekate_bibliography#gjn2008flairs-ardprolog-submitted]] | |
| |
====== Getting it ====== | |
Just grab a tarball milestone below | |
| |
===== Releases ===== | |
==== M_0 ==== | |
| |
Grab the {{:hekate:varda-m_0.tar.gz|TARBALL}}. | |
| |
====== News ====== | |
* **2008.2.29** VARDA goes {{:hekate:gplv3.png|GPLv3}} | |
* **2008.1.28** tph+ard display and collapse. | |
* **2008.1.26-7** preliminary HML export added, use 'axg.' | |
| |
| |
====== Quickstart ====== | |
You need: | |
* **required** to run VARDA: [[http://www.swi-prolog.org/|SWI Prolog]] | |
* //needed// to build visual models [[http://graphviz.org/|GraphViz]] | |
* //needed// for automatic visualisation: [[http://www.imagemagick.org/|ImageMagick]] and [[http://directory.fsf.org/project/bash/|GNU Bash]] (//Warning: under Unix, you need GNU bash as a default Bourne shell (''/bin/sh'') -- this is not the case with Ubuntu!!! it ships //dash//, change it -- just uninstall it//) FIXME | |
| |
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 | |
* userv-model-alpha.pl | |
* elevator-model.pl | |
| |
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 | |
| |
====== Report bugs ====== | |
| |
Please report the bugs, suggestions to the [[https://hekate.ia.agh.edu.pl/webtrac/hades/trac.vc|CVStrac]] system. | |
| |
Login: | |
* access the system with the wiki user/pass | |
* submit new //Tickets// anonymously | |
* please leave your contact information, as well as other reference, e.g. MIW project ID | |
| |
====== FAQ ====== | |
===== ARD Design Levels ===== | |
In ARD+ you can directly see anly the most detailed (last level). | |
If you want to see previous levels, you can either: | |
* comment out parts of the model | |
* ''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''. | |
| |
====== Devel ====== | |
| |
Patches and suggestions welcomed! | |
| |
The development is not public. | |
| |
Developers see [[hekatedev:hades]] | |
| |
| |