Both sides previous revision
Previous revision
Next revision
|
Previous revision
|
hekate:hekate_concepts [2008/02/26 11:09] gjn ard papers |
hekate:hekate_concepts [2019/06/27 15:49] (current) |
====== Methods ====== | ====== Methods ====== |
Currently, the development is focused on the: | Currently, the development is focused on the: |
* conceptual design method, codename //ARD+// see [[:hekate:bib:hekate_bibliography#gjn2008flairs-ardformal-submitted]] | * conceptual design method, codename //ARD+// see [[:hekate:bib:hekate_bibliography#gjn2008flairs-ardformal]] |
* logical design, codename //XTT+//, also in an extended form as //GREP// see [[:hekate:bib:hekate_bibliography#]], and [[:hekate:bib:hekate_bibliography#ali2008flairs-submitted]] | * logical design, codename //XTT+//, also in an extended form as //GREP// see [[:hekate:bib:hekate_bibliography#]], and [[:hekate:bib:hekate_bibliography#ali2008flairs]] |
* knowledge markup, early stage, see [[:hekate:bib:hekate_bibliography#gjn2007cms-knowtrans]], | * knowledge markup, early stage, see [[:hekate:bib:hekate_bibliography#gjn2007cms-knowtrans]], |
* knowledge translation, early stage, see [[:hekate:bib:hekate_bibliography#gjn2007cms-knowtrans]]. | * knowledge translation, early stage, see [[:hekate:bib:hekate_bibliography#gjn2007cms-knowtrans]]. |
| |
| |
| |
===== ARD+ ===== | ===== ARD+ ===== |
For a more complete description of ARD+ see | For a more complete description of ARD+ see |
* [[:hekate:bib:hekate_bibliography#gjn2008flairs-ardformal-submitted|formal description]]. | * [[:hekate:bib:hekate_bibliography#gjn2008flairs-ardformal|formal description]]. |
* [[:hekate:bib:hekate_bibliography#gjn2008flairs-ardprolog-submitted|Prolog tool]]. | * [[:hekate:bib:hekate_bibliography#gjn2008flairs-ardprolog|Prolog tool]]. |
* [[:hekate:bib:hekate_bibliography#gjn2008flairs-userv-submitted|UServ example]]. | * [[:hekate:bib:hekate_bibliography#gjn2008flairs-userv|UServ example]]. |
| |
The ARD (Attribute Relationships Diagrams) method aims at capturing relations between //attributes// in terms of //Attributive Logic//. | The ARD (Attribute Relationships Diagrams) method aims at capturing relations between //attributes// in terms of //Attributive Logic//. |
| |
{{:hekate:ard-therm-01.png|Figure: ARD design example}} | {{:hekate:ard-therm-01.png|Figure: ARD design example}} |
| |
| Based on the ARD, rule prototypes, complying with XTT, can be automatically generated as it is showed below. |
| |
| {{:hekate:thermostat-varda-xtt.png|:hekate:thermostat-varda-xtt.png}} |
| |
===== XTT+ ===== | ===== XTT+ ===== |
Currently the base XTT is being extended on the syntax level to provide a better expressiveness towards XTT+, or to be applied for more general cases into GREP, see [[:hekate:bib:hekate_bibliography#gjn2007inap]] | Currently the base XTT is being extended on the syntax level to provide a better expressiveness towards XTT+, or to be applied for more general cases into GREP, see [[:hekate:bib:hekate_bibliography#gjn2007inap]] |
| |
Another area of development includes formalism extensions, such as temporal and fuzzy, see [[:hekate:bib:hekate_bibliography#ali2008flairs-submitted]] | Another area of development includes formalism extensions, such as temporal and fuzzy, see [[:hekate:bib:hekate_bibliography#ali2008flairs]] |
| |
===== Markup ===== | ===== Markup ===== |
Markup languages currently considered: | [[Hekate Markup Language]] considers the following sublanguages: |
* ATTML (Attribute ML), for attribute only markup | * ATTML (Attribute ML), for attribute only markup |
* ARDML (ARD ML) for conceptual design markup | * ARDML (ARD ML) for conceptual design markup |
* R2ML interoperability (at XTT level) | * R2ML interoperability (at XTT level) |
| |
See | See [[:hekate:bib:hekate_bibliography#gjn2007cms-knowtrans]] for some general ideas. |
[[:hekate:bib:hekate_bibliography#gjn2007cms-knowtrans]]. | More details at: [[Hekate Markup Language]]. |
for some general ideas. | |
| |
===== Translation ===== | ===== Translation ===== |
[[:hekate:bib:hekate_bibliography#gjn2007cms-knowtrans]]. | [[:hekate:bib:hekate_bibliography#gjn2007cms-knowtrans]]. |
for some general ideas. | for some general ideas. |
| |
| |
| |
====== Process ====== | ====== Process ====== |
The HeKatE process is: | The [[HeKatE process]] is: |
* hierarchical, | * hierarchical, |
* integrated, | * integrated, |
* multiaspect. | * multiaspect. |
| |
For some ideas see below. | For some ideas see below, more info available at [[HeKatE Process]]. |
| |
{{:hekate:new-proc.png|Figure: HeKatE methodology}} | {{:hekate:new-proc.png|Figure: HeKatE methodology}} |
* Business Logic Applications (ie. [[hekatedev:business_rules]]) | * Business Logic Applications (ie. [[hekatedev:business_rules]]) |
* General purpose applications | * General purpose applications |
* Control systems -- [[:mindstorms]] and [[:hexor]] robot control | * Control systems -- [[:mindstorms:start]] and [[misc:hexor]] robot control |
* Expert Systems | * Expert Systems |
* Databases | * Databases |
===== Cases ===== | ===== Cases ===== |
There are several benchmark system design cases considered as the HeKatE testbed. | There are several benchmark system design cases considered as the HeKatE testbed. |
| |
| |
==== Thermostat ==== | ==== Thermostat ==== |
A classic //control system// case form the AI book by M. Negnevitsky, called the //Thermostat// | A classic //control system// case form the AI book by M. Negnevitsky, called the //Thermostat// |
is currently being modeled. | is currently being modeled, see [[Hekate Case Thermostat]] and [[:hekate:bib:hekate_bibliography#gjn2008flairs-ardprolog]]. |
See [[:hekate:bib:hekate_bibliography#gjn2008flairs-ardprolog-submitted]]. | |
| |
==== UServ ==== | ==== UServ ==== |
(see [[http://www.businessrulesforum.com/2005_Product_Derby.pdf|The Product Derby PDF]]), | (see [[http://www.businessrulesforum.com/2005_Product_Derby.pdf|The Product Derby PDF]]), |
called the //UServ// is currently being modeled. | called the //UServ// is currently being modeled. |
See [[:hekate:bib:hekate_bibliography#gjn2008flairs-userv-submitted]] | See [[:hekate:bib:hekate_bibliography#gjn2008flairs-userv]] |
| |
====== Tools ====== | ====== Tools ====== |
Current development tools include: | Current development tools include: |
* VARDA, an ARD+ design and visualization tool, see [[:hekate:bib:hekate_bibliography#gjn2008flairs-ardprolog-submitted]] | * VARDA, an ARD+ design and visualization tool, see [[:hekate:bib:hekate_bibliography#gjn2008flairs-ardprolog]] |
* HQed, an XTT+ editor, see [[:hekate:bib:hekate_bibliography#gjn2007cms-destls-accepted]] | * HQed, an XTT+ editor, see [[:hekate:bib:hekate_bibliography#gjn2007cms-destls-accepted]] |
| |