A visual editor for the XTT2 method, originally developed within the HeKatE project.
See the HQed website.
Concept, requirements, extensions, supervision: Grzegorz J. Nalepa
Design and implementation: Krzysztof Kaczor
Support: Krzysztof Kaczor
Developers page: HQEd developers page
See sort hqed presentation: HQEd presentation
Wiki version: HQEd presentation
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:
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:
HQEd helps in rules modeling. Design process can be divided into three stages : (shown example describes office temperature management system)
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:
ARD also supports two types of transformation:
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.
For XTT model, Prolog code is generated, which can be compiled, executed and corrected
Just download a HQEd milestone file below.
Waiting for new release…
OLD Releases (do not use)
qmake make ./hqed
Build dependencies might include (in a Debian/GNU-related distro):
aptitude install libqt4-dev qt4-qmake qt4-dev-tools
Look for xttml
files in heakte cases.
./varda therm-model.pl
?- gax.
?- xxg('therm.hml').
?- axg('therm.hml').
load it to hqed and generate xtt prototypes in the editor.
Please report the bugs, suggestions to the Redmine system:
Emergency support: Krzysztof Kaczor kk@agh.edu.pl
The DoxyGen doc for Hqed, automagically regenereted.