ExecutionTimeConstraint : public class
Created: 2012-05-28 11:07:27
Modified: 2012-07-09 10:18:50
Project:
Advanced:
<p>An ExecutionTimeConstraint limits the time between the starting and stopping of an executable entity (function), not counting the intervals when the execution of such an executable entity (function) has been interrupted.<br/></p><p><br/></p><p>Semantics:<br/></p><p>A system behavior satisfies an ExecutionTimeConstraint c if and only if<br/></p><p>for each occurrence x of event c.start,<br/></p><p> E is the set of times between x and the next c.stop<br/></p><p> occurrence, excluding the times between any c.preempt<br/></p><p> occurrence and its next c.resume occurrence,<br/></p><p>and<br/></p><p> c.lower <= length of all continuous intervals in E <= c.upper<br/></p>
Element Source Role Target Role Details
Event
Class  
Name:  
 
Name: stop
 
 
Event
Class  
Name:  
 
Name: preemption
 
 
Event
Class  
Name:  
 
Name: resume
 
 
Event
Class  
Name:  
 
Name: start
 
 
Element Source Role Target Role Details
TimingExpression
Class  
Name: upper
 
Name:  
 
 
TimingExpression
Class  
Name: lower
 
Name:  
 
 
Object Type Connection Notes
TimingConstraint Class Generalization  
TimingExpression Class Strong  
TimingExpression Class Strong