|
|
hekate:varda [2008/06/02 13:03] wojnicki links corrected |
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]] | |
* For Varda description see [[hekate:bib:hekate_bibliography#gjn2008flairs-ardprolog]] | |
| |
| |
====== Getting it ====== | |
Just download a VARDA milestone file below. | |
| |
===== Releases ===== | |
| |
==== M_1 ==== | |
| |
Download {{:hekate:varda-m_1.tar.gz}}. | |
| |
| |
==== M_0 ==== | |
| |
Download {{:hekate:varda-m_0.tar.gz}}. | |
| |
====== News ====== | |
* **2008.4.21** VARDA M_1 released: support for ARD/HML, horizontal xtt visualization, and "arp." | |
* **2008.2.29** VARDA goes {{:hekate:gplv3.png|GPLv3}}, M_0 released | |
* **2008.1.28** tph+ard display and collapse. | |
* **2008.1.26-7** preliminary HML export added, use 'axg.' | |
| |
| |
| |
====== Quickstart ====== | |
To run it 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 | |
| |
===== GNU/Linux ===== | |
| |
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:hekate_case_thermostat]] | |
* ''userv-model-alpha.pl'' the UServ case, [[hekate:hekate_case_userv]] | |
* ''elevator-model.pl'' an example elavator system, [[hekate:hekate_case_elevator1]] | |
| |
| |
===== Windows ===== | |
| |
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('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 | |
| |
====== 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]] | |
| |
| |