This is an old revision of the document!
HMR provides a high-level textual human-readable rule representation for XTT2.
It is directly executable by the HeaRT engine.
It can be used to write rules directly, or
it can be generated by the HQEd XTT2 editor from the visual XTT2 model.
The same rule-based knowledge can be serialized to XML-based HML.
See the HaDEs page for an overview.
A simple example for the Thermostat case:
xtype [name: week_days,
base: symbolic,
ordered: yes,
domain: [monday,tuesday,wednesday,thursday,friday,saturday,sunday]
].
xattr [name: day,
class: simple,
type: week_days,
comm: in].
xschm dt: [day] ==> [today].
xrule dt/1:
[day in [monday,tuesday,wednesday,thursday,friday]]
==>
[today set workday].
xrule dt/2:
[day in [saturday,sunday]]
==>
[today set weekend].