Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
hekate:hqed [2008/04/21 23:41]
gjn HQEd M5_6!
hekate:hqed [2019/06/27 15:49] (current)
Line 1: Line 1:
-====== ​Intro ====== +====== ​HQEd ======
-HQEd stand for //Hekate Qt Editor Project//.+
  
-FIXME biblio.+A visual editor for the [[http://​ai.ia.agh.edu.pl/​wiki/​hekate:​xtt2|XTT2 method]], originally developed within the HeKatE project.
  
-====== Getting it ====== +See the [[https://​ai.ia.agh.edu.pl/​wiki/​hekate:​hqed|HQed]] website.
-Just download a HQEd milestone file below.+
  
-===== Releases ===== +Concept, requirements,​ extensions, supervision[[http://geist.agh.edu.pl/​pub:​about_us:​people:​gjn|Grzegorz J. Nalepa]]
-==== M5_6 ==== +
-Download the {{:hekate:hqed-m5_6.tar.gz}} file.+
  
-==== M5_2 ==== +Design and implementation[[http://geist.agh.edu.pl/​pub:​about_us:​people:​kkr|Krzysztof Kaczor]]
-Download the {{:hekate:hqed-m5_2.tar.gz}} file.+
  
-====== News ====== +Support: [[http://​geist.agh.edu.pl/pub:about_us:people:kkr|Krzysztof Kaczor]]
-  * **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 ======+Developers page: [[:​hekatedev:​hqed:​start|HQEd developers page]]
  
-  qmake +===== Description =====
-  make +
-  ./hqed+
  
-====== Use it ======+See sort hqed presentation:​ [[http://​ai.ia.agh.edu.pl/​wiki/​_export/​s5/​pl:​miw:​2009:​present:​hqed|HQEd presentation]]
  
-===== Ready models ===== +Wiki version: [[pl:​miw:​2009:​present:​hqed|HQEd presentation]]
-Look for ''​xttml''​ files.+
  
-===== With VARDA =====+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:
  
-  * run [[hekate:​VARDA]] ​with ARD model: +   * Model – is responsible for the internal XTT and ARD model representation. 
-  ​./​varda therm-model.pl +   * View – provides the user interface as well as is responsible for the communication ​with the application. 
-  build XTT model from the ARD model +   * Controller – provides the communication between the layers. 
-  ​?gax+ 
-  * export ​the XTT model to XTTML file: +HQEd has a user friendly graphical interface. 
-  ​?xxg_file('​therm.xttml'​).+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
 + 
 +   * User Interface – the visual ​model representation that is appropriate for an user. This layer generates the graphical XTT diagram
 +   ​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. 
 +   * Plugins API – provides ​the communication between HQEd and the other services. The visual editor can be integrated with a custom rule interpreter HeaRT. 
 + 
 +===== Features ===== 
 + 
 +HQEd helps in rules modeling. 
 +Design process can be divided into three stages : 
 +(shown example describes office temperature management system) 
 + 
 +==== 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) 
 + 
 +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) 
 + 
 +{{:​pl:​dydaktyka:​miw:​2011:​geist:​hqedard1.png|}} 
 + 
 +==== Logical design ==== 
 +System stucture is being represented as hierarchical XTT structure. At this stage system structure may be analised, verified and optimised. 
 + 
 +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_10separate 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 =====
  
-====== Report bugs ======+==== Ready models ​==== 
 +Look for ''​xttml''​ files in [[http://​ai.ia.agh.edu.pl/​wiki/​hekate:​cases:​start|heakte cases]].
  
-Please report the bugs, suggestions to the [[https://hekate.ia.agh.edu.pl/​webtrac/hades/trac.vc|CVStrac]] system.+==== 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
  
-Login: +Emergency supportKrzysztof Kaczor <kk@agh.edu.pl>
-  * access the system with the wiki user/pass +
-  * submit new //Tickets// anonymously +
-  * please leave your contact information,​ as well as other reference, e.gMIW project ID+
  
-====== Docs OnLine ​======+===== Docs OnLine =====
 The [[https://​hekate.ia.agh.edu.pl/​webdoxy/​hqed/​doc/​|DoxyGen doc]] for Hqed, automagically regenereted. 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.1208814103.txt.gz · Last modified: 2019/06/27 16:00 (external edit)
www.chimeric.de Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0