SynchronizationConstraint : public class
Created: |
2011-06-22 11:16:30 |
Modified: |
2012-07-09 10:43:33 |
|
Project: |
|
Author: |
yt30282 |
Version: |
1.0 |
Phase: |
1.0 |
Status: |
Proposed |
Complexity: |
Easy |
Advanced: |
|
UUID: |
{CB1235FA-3BB1-493e-9531-EFD9DB76E640} |
Appears In: |
TimingConstraints1 |
<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>
- Associations To
- Other Links
Element |
Source Role |
Target Role |
Details |
Event
Class
|
Name:
|
Name: event
|
|
TimingExpression
Class
|
Name:
|
Name: tolerance
Default: infinity
|
|