This shows you the differences between two versions of the page.
|
hekate:varda [2008/04/22 13:12] gjn |
hekate:varda [2019/06/27 15:49] |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| - | ====== 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 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]] | ||
| - | |||
