--- hekate:hqed [2009/09/24 10:24]
gjn
+++ hekate:hqed [2019/06/27 15:49] (current)
@@ Line 1: / Line 1: @@
-====== HQEd Intro ======
+====== HQEd ======
-HQEd stands for //Hekate Qt Editor Project//.
-====== Getting it ======
+A visual editor for the [[http://ai.ia.agh.edu.pl/wiki/hekate:xtt2|XTT2 method]], originally developed within the HeKatE project.
-Just download a HQEd milestone file below.
-===== Releases =====
+See the [[https://ai.ia.agh.edu.pl/wiki/hekate:hqed|HQed]] website.
-==== M6_8 ====
-Download the {{:hekate:hqed-m6_8.tar.gz}} file.
-==== M6_6 ====
+Concept, requirements, extensions, supervision: [[http://geist.agh.edu.pl/pub:about_us:people:gjn|Grzegorz J. Nalepa]]
-Download the {{:hekate:hqed-m6_6.tar.gz}} file.
-===== OLD Releases =====
+Design and implementation: [[http://geist.agh.edu.pl/pub:about_us:people:kkr|Krzysztof Kaczor]]
-DO NOT USE!
-==== M5_6 ====
+Support: [[http://geist.agh.edu.pl/pub:about_us:people:kkr|Krzysztof Kaczor]]
-Download the {{:hekate:hqed-m5_6.tar.gz}} file.
-==== M5_2 ====
+Developers page: [[:hekatedev:hqed:start|HQEd developers page]]
-Download the {{:hekate:hqed-m5_2.tar.gz}} file.
-====== News ======
+===== Description =====
-  * **02.8.2009** -- release M6_8: HeaRT integration, fixes
-  * **13.5.2009** -- release M6_6: support for XTT2, HML2, and HMR
-  * **21.4.2008** -- release M5_6
-  * **9.3.2008** -- public release, M5_2
-  * **5.3.2008** -- M5_2
-  * **2008.2.29** HQEd goes {{:hekate:gplv3.png|GPLv3}}
-====== Run it ======
+See sort hqed presentation: [[http://ai.ia.agh.edu.pl/wiki/_export/s5/pl:miw:2009:present:hqed|HQEd presentation]]
-  qmake
+Wiki version: [[pl:miw:2009:present:hqed|HQEd presentation]]
-  make
-  ./hqed
-====== Use it ======
+The tool makes the visual
+design on the XTT level possible. What is more, it provides a mechanizm for formal verification,
+which allows for checking a model against the syntax and logical anomalies. The tool has built–in engine of syntax monitoring that checks
+the model against such errors as: inaccessible rules, values out of domain, etc. The logical anomalies are detected by other tool that constitutes logic server.
+The platform independence is the most important issue of the tool implementation. This effect
+has been reached by use of the Qt library. The Qt library is a cross-platform application development
+framework. It has a fully object-oriented architecture.
+Qt supports a various of technologies such as XML, OpenGL, SQL. A source code created
+by using Qt can be compiled on such platforms as X11, Windows, MacOS, and embeded systems based on GNU Linux.
+The source code of HQEd is divided into three layers, which correspond to MVC design pattern:
-===== Ready models =====
+   * Model – is responsible for the internal XTT and ARD model representation.
-Look for ''xttml'' files.
+   * View – provides the user interface as well as is responsible for the communication with the application.
+   * Controller – provides the communication between the layers.
-===== With VARDA =====
+HQEd has a user friendly graphical interface.
+GUI is designed with respect to an intuitive and convenient use. Each window dialog has the appropriate input/output controls. This prevents the user from entering an incorrect data.
+The Figure 1 shows the schema of the architecture.
+The controller is the most important element of the architecture. It enables a flow of data between the layers. It corresponds to the MVC controller layer. The model consists of two layers
+that are responsible for the internal models representation.
+ARD Model stores an ARD model data, while the XTT Model stores an XTT model data.
+The remaining layers are included in the view that maps the model to the other formats:
-  * run [[hekate:VARDA]] with ARD model:
+   * User Interface – the visual model representation that is appropriate for an user. This layer generates the graphical XTT diagram.
-  ./varda therm-model.pl
+   * XML mapping – translates a model data to a XML based language called HML (HeKatE Markup Language). The layer allow for storing and restoring the state of a model by use of the files. The HML file format supports storing both the ARD and XTT model data.
-  * build XTT model from the ARD model
+   * Plugins API – provides the communication between HQEd and the other services. The visual editor can be integrated with a custom rule interpreter HeaRT.
-  ?- gax.
-  * export the XTT model to XTTML file:
-  ?- xxg_file('therm.xttml').
+===== Features =====
+HQEd helps in rules modeling.
+Design process can be divided into three stages :
+(shown example describes office temperature management system)
-====== Report bugs ======
+==== Conceptual design ====
+Identification of system attributes and it's functional connections. At this stage we use ARD modeling methodology which is a graphical representation of attribute's connections.
+ARD supports two types of attributes:
+    * conceptual (abstract, general term)
+    * physical (well defined, concrete and specyfic object properties, atomic system aspects)
-Please report the bugs, suggestions to the [[https://hekate.ia.agh.edu.pl/webtrac/hades/trac.vc|CVStrac]] system.
+ARD also supports two types of transformation:
+    * finalisation (conceptual attributes during designing process are being finalised into possible largest amount of physical attributes)
+    * split (division of complex system properties into few attributes and establishment of their functional dependencies)
-Login:
+{{:pl:dydaktyka:miw:2011:geist:hqedard1.png|}}
-  * access the system with the wiki user/pass
-  * do not extra login to the CVStrac itself
+==== Logical design ====
-  * submit new //Tickets// anonymously, use //HQEd// subsystem
+System stucture is being represented as hierarchical XTT structure. At this stage system structure may be analised, verified and optimised.
-  * please leave your contact information, as well as other reference, e.g. MIW project ID
+XTT is a knowledge representation formalism that allows to adjust structuring rule base by introducing rules grouping tables having the same attributes and to link between tables allowing for control of inference between the tables.
+{{:pl:dydaktyka:miw:2011:geist:hqedxtt1.png|}}
+==== Physical design ====
+For XTT model, Prolog code is generated, which can be compiled, executed and corrected
+===== News =====
+  * **2011.02.22** -- release M6_10_1: fixed table moving in Qt 4.5 and later, other compatibility issues and a lot of bugs
+  * **2010.01.06** -- release M6_10: separate state pane, ui fixes and other bugs, rules sorting, selcting system trajetories
+  * **2009.11.06** -- release M6_9: HeaRT integration, fixes, ui fixes
+  * **2009.08.02** -- release M6_8: HeaRT integration, fixes
+  * **2009.05.13** -- release M6_6: support for XTT2, HML2, and HMR
+  * **2008.04.21** -- release M5_6
+  * **2008.03.09** -- public release, M5_2
+  * **2008.03.05** -- M5_2
+  * **2008.02.29** -- HQEd goes GPLv3
+===== Getting it =====
+Just download a HQEd milestone file below.
+==== Releases ====
+Waiting for new release...
+**OLD Releases**
+(do not use)
+  * **2011.02.22** -- release M6_10_1: fixed table moving in Qt 4.5 and later, other compatibility issues and a lot of bugs \\ To RUN download the {{:hekate:hqed-m6_10_1.tar.gz}} file.
+  * **2010.01.06** -- release M6_10: separate state pane, ui fixes and other bugs, rules sorting, selcting system trajetories \\ To RUN download the {{:hekate:hqed-m6_10.tar.gz}} file.
+  * **2009.11.06** -- release M6_9: HeaRT integration, fixes, ui fixes \\ To RUN download the {{:hekate:hqed-m6_9.tar.gz}} file.
+  * **2009.08.02** -- release M6_8: HeaRT integration, fixes \\ To RUN download the {{:hekate:hqed-m6_8.tar.gz}} file.
+  * **2009.05.13** -- release M6_6: support for XTT2, HML2, and HMR \\ To RUN download the {{:hekate:hqed-m6_6.tar.gz}} file.
+  * **2008.04.21** -- release M5_6 \\ To RUN download the {{:hekate:hqed-m5_6.tar.gz}} file.
+  * **2008.03.09** -- public release, M5_2 \\ To RUN download the {{:hekate:hqed-m5_2.tar.gz}} file.
+  * **2008.03.05** -- M5_2
+  * **2008.02.29** -- HQEd goes GPLv3
+===== Build it and run it =====
+<code bash>
+  qmake
+  make
+  ./hqed
+</code>
+Build dependencies might include (in a Debian/GNU-related distro):
+<code bash>aptitude install libqt4-dev qt4-qmake qt4-dev-tools</code>
+===== Use it =====
+==== Ready models ====
+Look for ''xttml'' files in [[http://ai.ia.agh.edu.pl/wiki/hekate:cases:start|heakte cases]].
+==== With VARDA ====
+  * run [[hekate:VARDA]] with ARD model: <code bash>./varda therm-model.pl</code>
+  * build XTT model from the ARD model <code>?- gax.</code>
+  * export the XTT model to XTTML file: <code>?- xxg('therm.hml').</code>
+  * optionally, you can save the ARD model with <code>?- axg('therm.hml').</code>load it to hqed and generate xtt prototypes in the editor.
+===== Report bugs =====
+Please report the bugs, suggestions to the [[https://kirk.ia.agh.edu.pl/redmine/projects/hqed|Redmine]] system:
+  - access the system with the kirk user/pass
+  - create new //issue//, use //HQEd// subproject
 Emergency support: Krzysztof Kaczor <kk@agh.edu.pl>
-====== Docs OnLine ======
+===== Docs OnLine =====
 The [[https://hekate.ia.agh.edu.pl/webdoxy/hqed/doc/|DoxyGen doc]] for Hqed, automagically regenereted.
+===== Papers =====
+[[http://ai.ia.agh.edu.pl/wiki/hekate:bib:hekate_bibliography#gjn2009cms-hqed|Kaczor, K., & Nalepa, G. J. (2009). Extensible design and verification enviroment for XTT rule bases. Paper presented at the CMS'09: 7th conference Computer Methods and Systems : 26--27 November 2009, Kraków, Poland.]]
+[[http://ai.ia.agh.edu.pl/wiki/hekate:bib:hekate_bibliography#gjn2009iwse-hqed|Kaczor, K., & Nalepa, G. J. (2009). HQEd - wizualne narzędzie wspierające projektowanie systemów ekspertowych opartych o reprezentację XTT. Paper presented at the Inżynieria Wiedzy i Systemy Ekspertowe.]]

hekate/hqed.1253780668.txt.gz · Last modified: 2019/06/27 16:00 (external edit)

Show page Old revisions

Media Manager Back to top

AIwiki

Menu

Dla Studentów

Old specialized AI courses

SMaDA/SMaIDA/AIDA

Informatyka (EAIiIB)

Studia Dr

Inne materialy dydaktyczne

Archiwum

Dyplomanci

Geist Season of Code

HeKatE

Public

HeKatE

Differences