DelayConstraint : public class
Created: 2011-06-22 11:13:30
Modified: 2012-07-09 10:40:47
Project:
Advanced:
<p>A DelayConstraint imposes limits between the occurrences of an event called source and an event called target.<br/></p><p><br/></p><p>This notion of delay is entirely based on the distance between source and target occurrences; whether a matching target occurrence is actually caused by the corresponding source occurrence is of no importance. This means that one-to-many and many-to-one source-target patterns are allowed, and so are stray target occurrences that are not within the prescribed distance of any source occurrence.<br/></p><p><br/></p><p>Semantics:<br/></p><p>A system behavior satisfies a DelayConstraint c if and only if<br/></p><p>for each occurrence x of c.source,<br/></p><p> there is an occurrence y of c.target such that<br/></p><p> c.lower <= y - x <= c.upper<br/></p>
Element Source Role Target Role Details
TimingExpression
Class  
Name:  
 
Name: lower
Default: 0
 
TimingExpression
Class  
Name:  
 
Name: upper
Default: infinity
 
Event
Class  
Name:  
 
Name: source
 
 
Event
Class  
Name:  
 
Name: target
 
 
Object Type Connection Notes
TimingExpression Class Weak  
TimingExpression Class Weak  
TimingConstraint Class Generalization