OrderConstraint : public class
Created: |
2012-06-04 19:36:17 |
Modified: |
2012-07-09 10:46:18 |
|
Project: |
|
Author: |
yt30282 |
Version: |
1.0 |
Phase: |
1.0 |
Status: |
Proposed |
Complexity: |
Easy |
Advanced: |
|
UUID: |
{A932BD5E-6627-41e3-916D-5B169F2D445A} |
Appears In: |
TimingConstraints2 |
<p>An OrderConstraint imposes an order between the occurrences of an event called source and an event called target. <br/></p><p><br/></p><p>The OrderConstraint is a minor variant of an application of StrongDelayConstraint with lower set to 0 and upper to infinity; the difference being that the OrderConstraint does not allow matching target and source occurrences to coincide. <br/></p><p><br/></p><p>Semantics:<br/></p><p>A system behavior satisfies an OrderConstraint 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, there is <br/></p><p> also an i:th occurrence of c.target at time y such that<br/></p><p> x < y<br/></p>
- Associations To
- Other Links
Element |
Source Role |
Target Role |
Details |
Event
Class
|
Name:
|
Name: target
|
|
Event
Class
|
Name:
|
Name: source
|
|