next up previous contents index FOREST_HomepageFOREST_Example_Homepage
Next: Description Class BinaryActuator Up: No Title Previous: Description Class RangeActuator

   
Description Class Dimmer

INTENTION

This class provides all definitions to describe the dimmer of a dimmable light. This class is derived from the description class RangeActuator. The following specific parameters of a dimmer are instantiated:

The function modifyReaction has still to be provided by the domain expert.

BASE CLASSES

Class   RangeActuator(ENV_DOMAIN  =  PERCENT, ADJUSTED_DOMAIN  =  PERCENT)

Intention

: All definitions of description class RangeActuator are also provided here using the values 0 to 100 (percent) as the possible values of the phenomenon existing in the real world and using the values 0 to 100 (percent) as the possible values that can be adjusted by the machine.

DOMAIN KNOWLEDGE

Property  D_DIM1 
Formal : (  noMalAct. reactionTime = 10 )
NL : The reaction time of a dimmer is 10 milliseconds.


next up previous contents index FOREST_HomepageFOREST_Example_Homepage
Next: Description Class BinaryActuator Up: No Title Previous: Description Class RangeActuator
Forest-System
1999-06-10