BurstConstraint : public class
Created: 2011-06-22 12:51:09
Modified: 2012-07-09 10:49:42
Project:
Advanced:
<p>A BurstConstraint describes an event that occurs in semi-regular bursts.<br/></p><p><br/></p><p>A BurstConstraint expresses the maximum number of event occurrences that may appear in any interval of a given length, which is equivalent to constraining the same number of repeat spans (which count one extra occurrence at the end) to have a minimum width of length.<br/></p><p><br/></p><p>Semantics:<br/></p><p>A system behavior satisfies a BurstConstraint c if and only if<br/></p><p>the same system behavior concurrently satisfies<br/></p><p><br/></p><p>RepeatConstraint { event = c.event,<br/></p><p>lower = c.length,<br/></p><p>upper = infinity,<br/></p><p>span = c.maxOccurrences }<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>
Attribute Details
public Integer
  maxOccurences
 
Element Source Role Target Role Details
Event
Class  
Name:  
 
Name: event
 
 
TimingExpression
Class  
Name:  
 
Name: length
 
 
TimingExpression
Class  
Name:  
 
Name: minimum
Default: 0
 
Object Type Connection Notes
TimingExpression Class Weak  
TimingExpression Class Weak  
TimingConstraint Class Generalization