StrongSynchronizationConstraint : public class
Created: |
2012-06-27 15:48:34 |
Modified: |
2012-06-29 15:25:43 |
|
Project: |
|
Author: |
yt30282 |
Version: |
1.0 |
Phase: |
1.0 |
Status: |
Proposed |
Complexity: |
Easy |
Advanced: |
|
UUID: |
{6E1CE504-E924-4432-954A-3BCC132F54DB} |
Appears In: |
TimingConstraints1 |
<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>
- Associations To
- Associations From
- Other Links
Element |
Source Role |
Target Role |
Details |
Event
Class
|
Name:
|
Name: event
|
|
Element |
Source Role |
Target Role |
Details |
TimingExpression
Class
|
Name: tolerance
Default: infinity
|
Name:
|
|