This is an old revision of the document!
The system is a simple temperature controller. The basic idea is to set the temperature in an office based on time and working hours.
The case has been originally taken from a textbook by Michael Negnevitsky, Artificial Intelligence. A Guide to Intelligent Systems, 1st ed., Addison-Wesley, 2002.
The case has been the first HeKatE case to be modelled.
It has been described in several papers 
.
See for a full Description (see the Description part in the HeKatE design process)
Concepts: day, today, time, operation, month, season, thermostat_setting.
Relations: day → today, time → operation, month → season, season → thermostat_setting, operation → thermostat_setting.
See for a full Conceptualization. (see the Conceotualization part in the HeKatE design process)
See for a full Conceptual Design. (see the Conceptual Design part in the HeKatE design process)
See for a full Attribute Specification. (see the Conceptual Design part in the HeKatE design process)
See for a full Prototyping. (see the Prototyping part in the HeKatE design process)
See for a full Logical Design. see the Logical Design part in the HeKatE design process)
See for a full Formal Analysis. see the Formal Analysis part in the HeKatE design process)
See for a full Physical Design. see the Physical Design part in the HeKatE design process)
See for a full Integration. see the Integration part in the HeKatE design process)
