AgeConstraint : public class
Created: 2011-06-22 12:59:17
Modified: 2012-07-09 10:40:21
Project:
Advanced:
<p>An AgeConstraint defines how long before each response a corresponding stimulus must have occurred.<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 stimulus occurrences that have the same color as each particular response occurrence. It is the latest of these stimulus 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, a ReactionConstraint is obtained.<br/></p><p><br/></p><p>Semantics:<br/></p><p>A system behavior satisfies an AgeConstraint c if and only if<br/></p><p>for each occurrence y in c.scope.response,<br/></p><p> there is an occurrence x in c.scope.stimulus such that<br/></p><p> x.color = y.color<br/></p><p> and<br/></p><p> x is maximal in c.scope.stimulus 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