InputSynchronizationConstraint : public class
Created: 2012-06-27 15:52:51
Modified: 2012-07-09 10:53:03
Project:
Advanced:
<p>An InputSynchronizationConstraint defines how far apart the responses that belong to a certain stimulus may occur.<br/></p><p><br/></p><p>This constraint provides an alternative to the ordinary SynchronizationConstraint for situations where the causal relation between event occurrences must be taken into account. It differs from the SynchronizationConstraint in that it applies to a set of event chains, and only looks at the stimulus occurrences that have the same color as each particular response occurrence. It is the latest of these stimulus occurrences for each chain that are required to lie  no more than tolerance time units apart. If the roles of stimuli and responses are swapped, an OutputSynchronizationConstraint is obtained.<br/></p><p><br/></p><p>Constraints:<br/></p><p>[1] All scopes must reference one common response event.<br/></p><p><br/></p><p>Semantics:<br/></p><p>A system behavior satisfies an InputSynchronizationConstraint c if and only if<br/></p><p>for each occurrence y in c.scope(1).response,<br/></p><p>      there is a time t such that for each c.scope index i,<br/></p><p> there is an occurrence x in c.scope(i).stimulus such that<br/></p><p>       y.color = x.color<br/></p><p> and<br/></p><p>       x is maximal in c.scope(i).stimulus with that color<br/></p><p> and<br/></p><p>       0 <= x - t <= c.tolerance<br/></p>
Element Source Role Target Role Details
EventChain
Class  
Name:  
 
Name: scope
 
 
Element Source Role Target Role Details
TimingExpression
Class  
Name: tolerance
Default: infinity
Name:  
 
 
Object Type Connection Notes
TimingConstraint Class Generalization  
TimingExpression Class Strong