ArbitraryConstraint : public class
Created: 2011-06-22 12:50:35
Modified: 2012-07-09 10:49:17
Project:
Advanced:
<p>An ArbitraryConstraint describes an event that occurs irregularly.<br/></p><p><br/></p><p>An ArbitraryConstraint is equivalent to a combination of Repeat constraints, each one constraining sequences of i+1 occurrences (that is, i repetition spans), with i ranging from 1 to some given n.<br/></p><p><br/></p><p>Constraints:<br/></p><p>[1] The number of elements in minimum and maximum must be equal.<br/></p><p><br/></p><p>Semantics:<br/></p><p>A system behavior satisfies an AribtraryConstraint c if and only if<br/></p><p>for each c.minimum index i, the same system behavior satisfies<br/></p><p><br/></p><p>RepeatConstraint { event = c.event,<br/></p><p>lower = c.minimum(i),<br/></p><p>upper = c.maximum(i),<br/></p><p>span = i  }<br/></p>
Element Source Role Target Role Details
Event
Class  
Name:  
 
Name: event
 
 
TimingExpression
Class  
Name:  
 
Name: minimum
 
 
TimingExpression
Class  
Name:  
 
Name: maximum
 
 
Object Type Connection Notes
TimingExpression Class Weak  
TimingExpression Class Weak  
TimingConstraint Class Generalization