StrongSynchronizationConstraint : public class
Created: 2012-06-27 15:48:34
Modified: 2012-06-29 15:25:43
Project:
Advanced:
<p>A StrongSynchronizationConstraint describes how tightly the occurrences of a group of events follow each other.<br/></p><p><br/></p><p>Semantics:<br/></p><p>A system behavior satisfies a StrongSynchronizationConstraint c if and only if<br/></p><p>there is a set of times X such that for each c.event index i, the same system behavior satisfies<br/></p><p><br/></p><p>StrongDelayConstraint { source = X,<br/></p><p>target = c.event(i),<br/></p><p>lower = 0,<br/></p><p>upper = c.tolerance }<br/></p>
Element Source Role Target Role Details
Event
Class  
Name:  
 
Name: event
 
 
Element Source Role Target Role Details
TimingExpression
Class  
Name: tolerance
Default: infinity
Name:  
 
 
Object Type Connection Notes
TimingExpression Class Strong  
TimingConstraint Class Generalization