ReactionConstraint : public class
Created: 2011-06-22 12:59:01
Modified: 2012-07-09 10:50:28
Project:
Advanced:
<p>A ReactionConstraint defines how long after the occurrence of a stimulus a corresponding response must occur.<br/></p><p><br/></p><p>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/></p><p><br/></p><p>Semantics:<br/></p><p>A system behavior satisfies a ReactionConstraint c if and only if<br/></p><p>for each occurrence x in c.scope.stimulus,<br/></p><p> there is an occurrence y in c.scope.response such that<br/></p><p> y.color = x.color<br/></p><p> and<br/></p><p> y is minimal in c.scope.response with that color<br/></p><p> and<br/></p><p> c.minimum <= y - x <= c.maximum<br/></p>
Element Source Role Target Role Details
EventChain
Class  
Name:  
 
Name: scope
 
 
TimingExpression
Class  
Name:  
 
Name: minimum
Default: 0
 
TimingExpression
Class  
Name:  
 
Name: maximum
Default: infinity
 
Object Type Connection Notes
TimingExpression Class Weak  
TimingExpression Class Weak  
TimingConstraint Class Generalization