TimingConstraints::ReactionConstraint

A ReactionConstraint defines how long after the occurrence of a stimulus a corresponding response must occur.<br/><br/>This constraint provides an alternative to the ordinary DelayConstraint for situations where the causal relation between event occurrences must be taken into account. It differs from the DelayConstraint in that it applies to an event chain, and only looks at the response occurrences that have the same color as each particular stimulus occurrence. It is the earliest of these response occurrences that is required to lie within the prescribed time bounds. If the roles of stimulus and response are swapped, and the time bounds negated, an AgeConstraint is obtained.<br/><br/>Semantics:<br/>A system behavior satisfies a ReactionConstraint c if and only if<br/>for each occurrence x in c.scope.stimulus,<br/> there is an occurrence y in c.scope.response such that<br/> y.color = x.color<br/> and<br/> y is minimal in c.scope.response with that color<br/> and<br/> c.minimum #lt;= y - x #lt;= c.maximum<br/>