Description Class ToggleActuator

INTENTION

This class provides all definitions to describe a toggle actuator. A toggle actuator is an actuator that can send a signal. This is modeled here by setting the adjusted value to 1. If there is no signal the adjusted value is 0.

Note that this class can be used to describe an actuator that already exists in the environment. Therefore, the properties $\mathit{D\_TA_1}$ and $\mathit{D\_TA_2}$ are characterized as domain knowledge. Otherwise, if the actuator does not exist, they have to be requirements/specifications.

DOMAIN KNOWLEDGE

Property	D_TA1

NL

:

If the value of the entity in the real world (envEntity) is 1 and a toggle signal arrives, i.e. the adjusted value (adjustedEntity) changes from 0 to 1, then within reactionTime milliseconds the value of the entity in the real world (envEntity) is 0.

Property	D_TA2

NL

:

If the value of the entity in the real world (envEntity) is 0 and a toggle signal arrives, i.e. the adjusted value (adjustedEntity) changes from 0 to 1, then within reactionTime milliseconds the value of the entity in the real world (envEntity) is 1.