This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
hekate:cases:howto [2009/10/24 13:38] gjn note on one of three design approaches in the concetual phase |
hekate:cases:howto [2019/06/27 15:49] (current) |
||
|---|---|---|---|
| Line 42: | Line 42: | ||
| {{:hekate:cases:hekate_case_mycase:myfile.png}} | {{:hekate:cases:hekate_case_mycase:myfile.png}} | ||
| - | The wiki-visible version of the repository is updated periodically every 30 mins: 1, 31. | + | The wiki-visible version of the repository is updated periodically every 30 mins: 1, 31. FIXME |
| Line 69: | Line 69: | ||
| Save the description in the wikipage indicated in [[hekate:hekate_process#Description]]. | Save the description in the wikipage indicated in [[hekate:hekate_process#Description]]. | ||
| + | **IMPORTANAT** | ||
| If your case is based on some sources in electronic form (PDF, html, etc), | If your case is based on some sources in electronic form (PDF, html, etc), | ||
| submit the to the CVS, besides providing links. | submit the to the CVS, besides providing links. | ||
| + | |||
| + | Be sure to cite, point full and adequate bibliographic reference :!: | ||
| ==== Conceptualization ==== | ==== Conceptualization ==== | ||
| Line 92: | Line 95: | ||
| Then, number of files have to be generated with VARDA. | Then, number of files have to be generated with VARDA. | ||
| - | If everything goes well just run the scipt: | + | |
| + | The assumption is, you checked out the files and dirs as: | ||
| + | hekatecases | ||
| + | varda | ||
| + | Then create the model file in | ||
| + | hekatecases/hekate_case_mycase/hekate_case_mycase-mdl.pl | ||
| + | example: | ||
| + | hekatecases/hekate_case_thermostat/hekate_case_thermostat-mdl.pl | ||
| + | and create a link to it in the VARDA dir: | ||
| + | cd varda; ln -s ../hekatecases/hekate_case_mycase/hekate_case_mycase-mdl.pl | ||
| + | example: | ||
| + | cd varda; ln -s ../hekatecases/hekate_case_thermostat/hekate_case_thermostat-mdl.pl | ||
| + | |||
| + | If everything goes well just run the script: | ||
| cd varda; ./varda-case-gen mycase | cd varda; ./varda-case-gen mycase | ||
| this //should// generate all the files. | this //should// generate all the files. | ||
| + | |||
| + | :!: It is important to install ''fig2ps'' package :!: | ||
| + | |||
| + | A directory called //hekate_case_mycase// is created in the current (varda) dir, it holds all the files. | ||
| + | Copy them manually to the case dir, if desired, e.g.: | ||
| + | | ||
| Also, try to model the case form scratch using [[:hekate:HJEd]]. | Also, try to model the case form scratch using [[:hekate:HJEd]]. | ||
| Line 126: | Line 148: | ||
| Commit the new file. | Commit the new file. | ||
| - | Please put the description of attributes in the wiki page! | + | Please put the description of attributes in the wiki page!\\ |
| - | In the future an XSLT translator from HML might be provided. | + | You can do it manually or use the BETA version of the XSLT translator from HML (in CVS): {{:hekate:cases:attHML2wikiTable|attHML2wikiTable}}. |
| + | |||
| + | HOW TO generate the wiki table with description of attributes with XSLT translator | ||
| + | |||
| + | - prepare attribute descriptions and their types in HQEd (Types, Attributes). | ||
| + | - export attributes to HML hekate_case_NAME-att.hml file (File->Attribute export->HML file). | ||
| + | - translate the HML file to text with translator attHML2wikiTable (require XSLT processor e.g. xsltproc) and copy the output text of Wiki Table to Wiki page :hekate_case_NAME:attribute_specification: | ||
| + | <code> | ||
| + | xsltproc attHML2wikiTable hekate_case_NAME-att.hml | ||
| + | </code> | ||
| + | |||
| + | Any mistakes in translation you can report to KKL. | ||
| ==== Prototyping ==== | ==== Prototyping ==== | ||
| Line 156: | Line 189: | ||
| Generate HMR. | Generate HMR. | ||
| - | Test communication with HeaRT! | + | Test communication with HeaRT! To see how to run Heart go here: [[https://ai.ia.agh.edu.pl/wiki/hekate:heart_howto#running_heart_from_a_console | Heart Howto]] |
| ==== Formal Analysis ==== | ==== Formal Analysis ==== | ||
| Line 190: | Line 223: | ||
| Use the HeaRT | Use the HeaRT | ||
| [[hekate:heart_overview#heart_integration|overview]] and the | [[hekate:heart_overview#heart_integration|overview]] and the | ||
| - | [[hekate:heart_howto#libraries|HowTo]]. | + | [[hekate:heart_howto#callbacks_how_to|HowTo]]. |
| Commint callback source files to the CVS. | Commint callback source files to the CVS. | ||
| Line 207: | Line 240: | ||
| FIXME | FIXME | ||
| Use the serializers implemented by Ł. Łysik to build Java serialization and Drools model. | Use the serializers implemented by Ł. Łysik to build Java serialization and Drools model. | ||
| + | |||
| + | |||
| + | ==== Summary ==== | ||
| + | See: [[hekate:hekate_process#Summary]] | ||
| + | |||
| + | Provide an overall summary (natural language) of your experiences with this case. | ||
| + | |||
| + | ===== Case Audit ===== | ||
| + | |||
| + | * Pick a case | ||
| + | * go through it step-by-step, using the [[howto]] and the [[hekate_process|design process]] description | ||
| + | * detect any inconsistencies, errors, etc, w.r.t: | ||
| + | * the process/howto steps | ||
| + | * missing bibliographic data and sources in the description | ||
| + | * language mistakes, including spelling errors in figures! | ||
| + | * logical/design errors | ||
| + | * any missing content including files/figure (in fact click manually on all the links!) | ||
| + | * make sure that the XTT model is properly described: open the HMR file in HQEd, check for all the descriptions of types, attributes, and tables; see if the names of the types are sane | ||
| + | * analyze the XTT model w.r.t to types and attribute domains - if they look sane and correct | ||
| + | * look if the XTT and hqed screenshots are ok in terms of size - the picture should be readable but compact | ||
| + | * fix online the mistakes in the wiki and in the cvs, e.g. if you find a spelling error in the figure, you must edit the varda model and/or the hqed design and regenerate all the files, then cvs ci them, and see the reult in the wiki. Depending on how much work it is, you can ask the original Author. for help. | ||
