Next revision
|
Previous revision
|
hekate:varda [2008/02/29 14:53] gjn created |
hekate:varda [2019/06/27 15:49] (current) |
====== 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]] |
| |
====== Getting it ====== | ====== Getting it ====== |
TARBALL wanted FIXME | Just download a VARDA milestone file below. |
| |
| ===== Releases ===== |
| |
| ==== M_6 ==== |
| Download {{:hekate:varda-m_6.tar.gz}}. |
| |
| ==== M_5 ==== |
| Download {{:hekate:varda-m_5.tar.gz}}. |
| |
| ==== Previous releases ==== |
| Download {{:hekate:varda-m_4.tar.gz}}.\\ |
| 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}}.\\ |
| |
====== News ====== | ====== News ====== |
* **2008.2.29** VARDA goes GPLv3! | * **2009.11.30** VARDA M_6 released: bug fixes, cases generator fixes. |
* **2008.1.28** tph+ard display and collapse. | * **2009.08.19** VARDA M_5 released: batch mode, cases generator, set-based model optional. |
* **2008.1.26-7** preliminary HML export added, use 'axg.' | * **2009.08.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. |
| * **2009.05.13** VARDA M_3 released: support for HML2 - fixed ids. |
| * **2009.05.03** VARDA M_2 released: support for HML2. |
| * **2008.04.21** VARDA M_1 released: support for ARD/HML, horizontal xtt visualization, and "arp." |
| * **2008.02.29** VARDA goes {{:hekate:gplv3.png|GPLv3}}, M_0 released |
| * **2008.01.28** tph+ard display and collapse. |
| * **2008.01.26-7** preliminary HML export added, use 'axg.' |
| |
====== Quickstart ====== | ====== Quickstart ====== |
You need | To run it you need: |
* GNU bash as default shell (this is not true in Ubuntu!!! they have dash, change it) | * **required** to run VARDA: [[http://www.swi-prolog.org/|SWI Prolog]] |
* SWI Prolog | * //needed// to build visual models [[http://graphviz.org/|GraphViz]] |
* 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: ''sudo dpkg-reconfigure dash'' and answer //No// to the question: //Install dash as /bin/sh?//, or uninstall //dash//.) |
* ImageMagick | |
| ===== GNU/Linux ===== |
| |
To use it: | To use it: |
./varda therm-model.pl | ./varda therm-model.pl |
| |
In Varda, try ''vardahelp.'' | In Varda, try ''hlp.'' |
| |
While working in Varda you are in the pure SWI shell, just use Prolog :-) | 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. |
| * ''elevator-model.pl'' an example elavator system. |
| |
| |
| ===== 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: |
| ?- [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 ====== | ====== Devel ====== |
===== CVS Access ===== | |
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: | Patches and suggestions welcomed! |
export CVSROOT=:ext:kinio@charon.ia.agh.edu.pl/mnt/cvs/cvs-hades | |
export CVS_RSH=ssh | The development is not public. |
cvs co varda | |
Put your user name instead of ''kinio''. | Developers see [[hekatedev:hades]] |
| |
===== XML support ===== | |
Property removal during transform. | |
<del>Modified ''varda_model'' look for ''FIXED4XML''. | |
''sar.'' works, but painfully, ''shi.'' ok, ''gax'' seems ''ok'' :-) | |
--- //[[gjn@agh.edu.pl|Grzegorz J. Nalepa]] 2008/01/26 15:27//</del> works fine --- //[[wojnicki@agh.edu.pl|Igor Wojnicki]] 2008/01/28 02:07// | |
| |