This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
|
hekate:varda [2008/04/21 23:35] gjn VARDA M_1 released |
hekate:varda [2009/08/19 00:36] gjn varda m_5 |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| - | ====== Intro ====== | + | ====== VARDA Intro ====== |
| Varda (//Visual ARD Rapid Development Alloy//) is a prototype design tool for ARD+ in Prolog. | 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 ARD+ syntax see [[hekate:bib:hekate_bibliography#gjn2008flairs-ardformal]] |
| - | * For Varda description see [[hekate:bib:hekate_bibliography#gjn2008flairs-ardprolog-submitted]] | + | * For Varda description see [[hekate:bib:hekate_bibliography#gjn2008flairs-ardprolog]] |
| Line 10: | Line 10: | ||
| ===== Releases ===== | ===== Releases ===== | ||
| - | ==== M_1 ==== | + | ==== M_5 ==== |
| + | Download {{:hekate:varda-m_5.tar.gz}}. | ||
| - | Download {{:hekate:varda-m_1.tar.gz}}. | + | ==== M_4 ==== |
| + | Download {{:hekate:varda-m_4.tar.gz}}. | ||
| + | ==== Previous releases ==== | ||
| + | Download {{:hekate:varda-m_3.tar.gz}}.\\ | ||
| + | Download {{:hekate:varda-m_2.tar.gz}}.\\ | ||
| + | Download {{:hekate:varda-m_1.tar.gz}}.\\ | ||
| + | Download {{:hekate:varda-m_0.tar.gz}}.\\ | ||
| - | ==== M_0 ==== | + | ====== News ====== |
| - | Download {{:hekate:varda-m_0.tar.gz}}. | + | * **2009.8.19** VARDA M_5 released: batch mode, cases generator, set-based model optional. |
| - | + | * **2009.8.14** VARDA M_4 released: model conversion from lists to sets, interactive shell (see [[pl:miw:2009:miw09_varda_fix#przyklad_uzycia_shella|some docs in polish]]), possible models generation. | |
| - | ====== News ====== | + | * **2009.5.13** VARDA M_3 released: support for HML2 - fixed ids. |
| + | * **2009.5.03** VARDA M_2 released: support for HML2. | ||
| * **2008.4.21** VARDA M_1 released: support for ARD/HML, horizontal xtt visualization, and "arp." | * **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.2.29** VARDA goes {{:hekate:gplv3.png|GPLv3}}, M_0 released | ||
| Line 31: | Line 39: | ||
| * **required** to run VARDA: [[http://www.swi-prolog.org/|SWI Prolog]] | * **required** to run VARDA: [[http://www.swi-prolog.org/|SWI Prolog]] | ||
| * //needed// to build visual models [[http://graphviz.org/|GraphViz]] | * //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 | + | * //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: ''sudo dpkg-reconfigure dash'' and answer //No// to the question: //Install dash as /bin/sh?//, or uninstall //dash//.) |
| ===== GNU/Linux ===== | ===== GNU/Linux ===== | ||
| Line 51: | Line 59: | ||
| Models: | Models: | ||
| * ''therm-model.pl'' the [[hekate:hekate_case_thermostat]] | * ''therm-model.pl'' the [[hekate:hekate_case_thermostat]] | ||
| - | * ''userv-model-alpha.pl'' the UServ case, [[hekate:hekate_case_userv]] | + | * ''userv-model-alpha.pl'' the UServ case. |
| - | * ''elevator-model.pl'' an example elavator system, [[hekate:hekate_case_elevator1]] | + | * ''elevator-model.pl'' an example elavator system. |
| - | ===== Windows ===== | ||
| - | If you use Windows, you can still use VARDA, but automatic visualisation would not work (it requires a Unix-like environment). | + | ===== Batch mode ===== |
| + | In a Unix shell it is possible to use VARDA in a batch mode, specifying goal from the commandline, e.g.: | ||
| + | ./varda hekate_case_thermostat-model.pl -t sar. | ||
| + | |||
| + | ===== Windows ===== | ||
| + | If you use Windows, you can still use VARDA, but automatic visualization would not work (it requires a Unix-like environment). | ||
| Just run SWI Prolog, and: | Just run SWI Prolog, and: | ||
| ?- [varda]. | ?- [varda]. | ||
| ?- [therm-model]. | ?- [therm-model]. | ||
| If you have Graphviz under Windows, you can generate pictures manually, e.g.: | If you have Graphviz under Windows, you can generate pictures manually, e.g.: | ||
| - | ?- sar_file('therm-ard.dot'). | + | ?- sar('therm-ard.dot'). |
| - | ?- shi_file('therm-tph.dot'). | + | ?- shi('therm-tph.dot'). |
| ?- gax. | ?- gax. | ||
| - | ?- sxt_file('therm-xtt.dot'). | + | ?- sxt('therm-xtt.dot'). |
| And then run Graphviz DOT: | And then run Graphviz DOT: | ||
| dot -T png therm-ard.dot > therm-ard.png | dot -T png therm-ard.dot > therm-ard.png | ||
