PatternConstraint : public class
Created: 2011-06-22 11:22:36
Modified: 2012-07-09 10:48:45
Project:
Advanced:
<p>A PatternConstraint describes an event that exhibits a known pattern relative to the occurrences of an imaginary event.<br/></p><p><br/></p><p>A PatternConstraint requires the constrained event occurrences to appear at a predetermined series of offsets from a sequence of reference points in time that are strictly periodic. The exact placement of these reference points is irrelevant; if one placement exists that is periodic and allows the event occurrences to be reached at the desired offsets, the constraint is satisfied.<br/></p><p><br/></p><p>Semantics:<br/></p><p>A system behavior satisfies a PatternConstraint c if and only if<br/></p><p>there is a set of times X such that the same system behavior concurrently satisfies<br/></p><p><br/></p><p>PeriodicConstraint { event = X,<br/></p><p>period = c.period }<br/></p><p><br/></p><p>and for each c.offset index i,<br/></p><p><br/></p><p>DelayConstraint { source = X,<br/></p><p>target = c.event,<br/></p><p>lower = c.offset(i),<br/></p><p>upper = c.offset(i) + c.jitter }<br/></p><p><br/></p><p>and<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: offset
 
 
TimingExpression
Class  
Name:  
 
Name: jitter
Default: 0
 
TimingExpression
Class  
Name:  
 
Name: minimum
Default: 0
 
Element Source Role Target Role Details
TimingExpression
Class  
Name: period
 
Name:  
 
 
Object Type Connection Notes
TimingExpression Class Weak  
TimingExpression Class Weak  
TimingExpression Class Weak  
TimingConstraint Class Generalization  
TimingExpression Class Strong