StrongDelayConstraint : public class
Created: |
2012-05-28 11:13:05 |
Modified: |
2012-07-09 10:44:43 |
|
Project: |
|
Author: |
yt30282 |
Version: |
1.0 |
Phase: |
1.0 |
Status: |
Proposed |
Complexity: |
Easy |
Advanced: |
|
UUID: |
{F43C9FBC-5CCC-4990-A22F-E74EC89972D9} |
Appears In: |
TimingConstraints1 |
<p>A StrongDelayConstraint imposes limits between each indexed occurrence of an event called source and the identically indexed occurrence of an event called target.<br/></p><p><br/></p><p>The strong delay notion requires source and target occurrences to appear in lock-step. Only one-to-one source-target patterns are allowed, and no stray target occurrences are accepted.<br/></p><p><br/></p><p>Strong synchronization differs from the ordinary form of SynchronizationConstraint by grouping event occurrences into synchronization clusters strictly according to their index. This means that multiple occurrences of a single event cannot belong to a single cluster, and clusters may not share occurrences. Strong synchronization tightens the requirements compared to ordinary synchronization in much the same way as StrongDelayConstraint refines the ordinary DelayConstraint.<br/></p><p><br/></p><p>Semantics:<br/></p><p>A system behavior satisfies a StrongDelayConstraint 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 <br/></p><p> there is also an i:th occurrence of c.target at time y <br/></p><p> such that<br/></p><p> c.lower <= y - x <= c.upper<br/></p>
- Associations To
- Associations From
- Other Links
Element |
Source Role |
Target Role |
Details |
Event
Class
|
Name:
|
Name: source
|
|
Event
Class
|
Name:
|
Name: target
|
|