OrderConstraint : public class
Created: 2012-06-04 19:36:17
Modified: 2012-07-09 10:46:18
Project:
Advanced:
<p>An OrderConstraint imposes an order between the occurrences of an event called source and an event called target. <br/></p><p><br/></p><p>The OrderConstraint is a minor variant of an application of StrongDelayConstraint with lower set to 0 and upper to infinity; the difference being that the OrderConstraint does not allow matching target and source occurrences to coincide. <br/></p><p><br/></p><p>Semantics:<br/></p><p>A system behavior satisfies an OrderConstraint c if and only if<br/></p><p>c.source and c.target have the same number of occurrences, <br/></p><p>and for each index i,<br/></p><p> if there is an i:th occurrence of c.source at time x, there is <br/></p><p> also an i:th occurrence of c.target at time y such that<br/></p><p> x < y<br/></p>
Element Source Role Target Role Details
Event
Class  
Name:  
 
Name: target
 
 
Event
Class  
Name:  
 
Name: source
 
 
Object Type Connection Notes
TimingConstraint Class Generalization