SporadicConstraint : public class
Created: 2011-06-22 11:22:36
Modified: 2012-07-09 10:47:18
Project:
Advanced:
<p>A SporadicConstraint describes an event that occurs sporadically.<br/></p><p><br/></p><p>The SporadicConstraint is just an application of the RepetitionConstraint with a default span attribute of 1, combined with an additional requirement that the effective minimum distance between any two occurrences must be at least the value given by minimum (even if lower-jitter would suggest a smaller value).<br/></p><p><br/></p><p>Semantics:<br/></p><p>A system behavior satisfies a SporadicConstraint c if and only if<br/></p><p>the same system behavior concurrently satisfies<br/></p><p><br/></p><p>RepetitionConstraint { event = c.event,<br/></p><p>lower = c.lower,<br/></p><p>upper = c.upper,<br/></p><p>jitter = c.jitter }<br/></p><p><br/></p><p>and<br/></p><p><br/></p><p>RepeatConstraint { event = c.event,<br/></p><p>lower = c.minimum }<br/></p>
Element Source Role Target Role Details
Event
Class  
Name:  
 
Name: event
 
 
TimingExpression
Class  
Name:  
 
Name: upper
Default: infinity
 
TimingExpression
Class  
Name:  
 
Name: jitter
Default: 0
 
TimingExpression
Class  
Name:  
 
Name: minimum
Default: 0
 
TimingExpression
Class  
Name:  
 
Name: lower
Default: 0
 
Object Type Connection Notes
TimingExpression Class Weak  
TimingExpression Class Weak  
TimingExpression Class Weak  
TimingExpression Class Weak  
TimingConstraint Class Generalization