Description Class WaterTempSensor

INTENTION

This class provides all definitions to describe the behavior of a water temperature sensor. This class is derived from the description class Sensor. The following specific parameters of a water temperature sensor are instantiated:

• the domains of the sensor
• the reaction and conversion time of the sensor

Both functions, modifyReaction and modifyConversion, have still to be provided by the domain expert.

BASE CLASSES

Class	Sensor(ENV_DOMAIN  = REAL , MEASURED_DOMAIN  = REAL , CONVERTED_DOMAIN  =  WATER_TEMP)

Intention

:

All definitions of description class Sensor are also provided here using the real numbers as the possible values of the phenomenon existing in the real world, using the real numbers as the possible analogously measured values, and using the values of the domain WATER_TEMP as the possible digitally converted measured values.

SIGNATURE

Domain	WATER_TEMP  = { 0 100 }  TEMP

Intention

:

This domain contains the possible values measured by a water temperature sensor.

DOMAIN KNOWLEDGE

Property	D_WTS1

NL

:

The conversion time of a water temperature sensor is 160 seconds.

Property	D_WTS2

NL

:

The reaction time of a water temperature sensor is 10 seconds.