RepetitionConstraint : public class
Created: 2011-06-22 11:06:09
Modified: 2012-07-09 10:43:08
Project:
Advanced:
<p>A RepetitionConstraint describes the distribution of the occurrences of a single event, including the allowance for jitter.<br/></p><p><br/></p><p>The RepetitionConstraint extends the basic notion of repeated occurrences by allowing local devitions from the ideal repetitive pattern described by a RepeatConstraint. Its jitter, lower and upper attributes all contribute to the width of the window in which occurrence number N is accepted, according to the formula N(upper-lower) + jitter. That is, with lower = upper, the uncertainty of where occurrence N may be found does not grow with an increasing N, unlike the case when lower differs from upper by a similar amount and jitter is 0. By adjusting all three attributes, a desired balance between accumulating and non-accumulating uncertainties can be obtained.<br/></p><p><br/></p><p>Semantics:<br/></p><p>A system behavior satisfies a RepetitionConstraint c if and only if<br/></p><p>the same system behavior concurrently satisfies<br/></p><p><br/></p><p>RepeatConstraint { event = X,<br/></p><p>lower = c.lower,<br/></p><p>upper = c.upper,<br/></p><p>span = c.span }<br/></p><p><br/></p><p>and<br/></p><p><br/></p><p>StrongDelayConstraint { source = X,<br/></p><p>target = c.event,<br/></p><p>lower = 0,<br/></p><p>upper = c.jitter }<br/></p>
Attribute Details
public Integer
  span
Initial: 1
 
Element Source Role Target Role Details
Event
Class  
Name:  
 
Name: event
 
 
TimingExpression
Class  
Name:  
 
Name: lower
Default: 0
 
TimingExpression
Class  
Name:  
 
Name: upper
Default: infinity
 
TimingExpression
Class  
Name:  
 
Name: jitter
Default: 0
 
Object Type Connection Notes
TimingExpression Class Weak  
TimingExpression Class Weak  
TimingExpression Class Weak  
TimingConstraint Class Generalization