INTENTION
This class provides all definitions to describe the occupancy in a specific area. It is a composition of the following two cases:
SIGNATURE
Object | noMalOcc : NoMalfunctionOccupancy |
---|
Intention | : | This object represents the part of the occupancy determination describing the behavior if the sensors used to determine occupancy have no malfunction, i.e. if the machine assumes that they have no malfunction. |
Object | malOcc : MalfunctionOccupancy |
---|
Intention | : | This object represents the part of the occupancy determination describing the behavior if the sensors used to determine occupancy have a malfunction, i.e. if the machine assumes that they have a malfunction. |
Object | manualEnteredMal : EnteredValue(CHECKED_DOM = BINARY) |
---|
Intention | : | Manually entered value concerning a malfunction of the sensors determining occupancy entered by a user. 1 stands for a malfunction, 0 stands for no malfunction. Note that the value of this object is only meaningful if the timed predicate stateManualEnteredMal is true. |
Timed Predicate | stateManualEnteredMal |
---|
Intention | : | This predicate is true iff it has been manually entered whether there is a malfunction of the sensors determining occupancy or whether there is no malfunction of them. |
Timed Predicate | automaticDetMal |
---|
Intention | : | This predicate is true iff a malfunction of the sensors used to determine occupancy has been detected automatically, i.e. not by entering it manually. |
Timed Predicate | occUsed |
---|
Intention | : | This predicate is true iff the machine assumes occupancy. |
Property | I_OCC1 |
---|
NL | : | Initially it has not been entered manually whether there is a malfunction of the sensors determining occupancy or whether there is no malfunction of them. |
Property | M_OCC1 |
---|
NL | : | The machine assumes a malfunction of some sensors used to determine occupancy iff one of the following conditions is fulfilled:
|
Property | M_OCC2 |
---|
NL | : | The machine assumes occupancy if and only if one of the following condition is fulfilled:
|