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:hekate_concepts [2007/11/29 16:50] gjn xtt figs |
hekate:hekate_concepts [2009/04/15 21:55] kkluza |
||
|---|---|---|---|
| Line 82: | Line 82: | ||
| ====== 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-ardprolog-submitted]]. | + | * [[:hekate:bib:hekate_bibliography#gjn2008flairs-ardformal|formal description]]. |
| + | * [[:hekate:bib:hekate_bibliography#gjn2008flairs-ardprolog|Prolog tool]]. | ||
| + | * [[: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//. | ||
| Line 124: | Line 129: | ||
| It captures information about changes made to properties at consecutive diagram levels. | It captures information about changes made to properties at consecutive diagram levels. | ||
| + | An example of a complete ARD+ design (the lowest level) is shown below. | ||
| + | |||
| + | {{: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+ ===== | ||
| Line 160: | Line 172: | ||
| 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 | ||
| Line 172: | Line 185: | ||
| * 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 ===== | ||
| Line 185: | Line 198: | ||
| [[: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]]. |
| - | FIXME | + | |
| + | {{:hekate:new-proc.png|Figure: HeKatE methodology}} | ||
| + | |||
| + | {{:hekate:hlc-beta.png|Figure: HeKatE Process}} | ||
| ====== Applications ====== | ====== Applications ====== | ||
| Line 199: | Line 217: | ||
| * 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 [[:hexor]] robot control |
| * Expert Systems | * Expert Systems | ||
| * Databases | * Databases | ||
| Line 205: | Line 223: | ||
| ===== 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 ==== | ||
| Line 215: | Line 233: | ||
| (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]] | ||
