SynchronizationConstraint : public class
Created: 2011-06-22 11:16:30
Modified: 2012-07-09 10:43:33
Project:
Advanced:
<p>A SynchronizationConstraint describes how tightly the occurrences of a group of events follow each other.<br/></p><p><br/></p><p>This form of synchronization only takes the width and completeness of each occurrence cluster into account; it does not care whether som events occur multiple times within a cluster or whether some clusters overlap and share occurrences. In particular, event occurrences are not partitioned into clusters according to their role or what has caused them. Stray occurrences of single events are not allowed, though, since these would just count as incomplete clusters according to this constraint.<br/></p><p><br/></p><p>Semantics:<br/></p><p>A system behavior satisfies a SynchronizationConstraint 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 concurrently satisfies<br/></p><p><br/></p><p>DelayConstraint { source = X,<br/></p><p>target = c.event(i),<br/></p><p>lower = 0,<br/></p><p>upper = c.tolerance }<br/></p><p><br/></p><p>and<br/></p><p><br/></p><p>DelayConstraint { source = c.event(i),<br/></p><p>target = X,<br/></p><p>lower = -c.tolerance,<br/></p><p>upper = 0}<br/></p>
Element Source Role Target Role Details
Event
Class  
Name:  
 
Name: event
 
 
TimingExpression
Class  
Name:  
 
Name: tolerance
Default: infinity
 
Object Type Connection Notes
TimingExpression Class Weak  
TimingConstraint Class Generalization