DelayConstraint : public class
Created: |
2011-06-22 11:13:30 |
Modified: |
2012-07-09 10:40:47 |
|
Project: |
|
Author: |
yt30282 |
Version: |
1.0 |
Phase: |
1.0 |
Status: |
Proposed |
Complexity: |
Easy |
Advanced: |
|
UUID: |
{7C272A2B-FBDD-4ebf-A74E-FD54AA968328} |
Appears In: |
TimingConstraints1 |
<p>A DelayConstraint imposes limits between the occurrences of an event called source and an event called target.<br/></p><p><br/></p><p>This notion of delay is entirely based on the distance between source and target occurrences; whether a matching target occurrence is actually caused by the corresponding source occurrence is of no importance. This means that one-to-many and many-to-one source-target patterns are allowed, and so are stray target occurrences that are not within the prescribed distance of any source occurrence.<br/></p><p><br/></p><p>Semantics:<br/></p><p>A system behavior satisfies a DelayConstraint c if and only if<br/></p><p>for each occurrence x of c.source,<br/></p><p> there is an occurrence y of c.target such that<br/></p><p> c.lower <= y - x <= c.upper<br/></p>
- Associations To
- Other Links
Element |
Source Role |
Target Role |
Details |
TimingExpression
Class
|
Name:
|
Name: lower
Default: 0
|
|
TimingExpression
Class
|
Name:
|
Name: upper
Default: infinity
|
|
Event
Class
|
Name:
|
Name: source
|
|
Event
Class
|
Name:
|
Name: target
|
|