TimingExpression : public abstract class
Created: 2011-06-22 10:54:39
Modified: 2012-07-10 16:21:10
Project:
Advanced:
<p>A Timing Expression, denoted by texp, is a term built from an arithmetic expression by applying an optional unit and referencing an optional time base. It stands for a value in the real number system extended with positive and negative infinity.<br/></p><p><br/></p><p>Grammar:<br/></p><p>texp   ::=   aexp<br/></p><p>    |   aexp UN<br/></p><p>    |   aexp on TB<br/></p><p>    |   aexp UN on TB<br/></p><p> <br/></p><p>Semantics:<br/></p><p>Given a particular variable assignment, the meaning of a timing expression texp in that assignment is a value in the real number system extended with positive and negative infinity. Depending on the form of texp, this value is defined as follows:<br/></p><p>- If texp is of the form aexp, its meaning is the meaning of aexp in the given variable assignment.<br/></p><p>- If texp is of the form aexp UN, its meaning is r * k, where r is the meaning of aexp in the given variable assignment, and k is the factor of UN in the Universal time base.<br/></p><p>- If texp is of the form aexp on TB, its meaning is f (r), where f is the meaning of TB in the given variable assignment, and r is the meaning of aexp in the same assignment.<br/></p><p>- If texp is of the form aexp UN on TB, its meaning is f (r * k), where f is the meaning of TB in the given variable assignment, r is the meaning of aexp in the same assignment, k is the factor of UN in DI, and DI is the dimension of TB.<br/></p>
Element Source Role Target Role Details
StrongSynchronizationConstraint
Class  
Name: tolerance
Default: infinity
Name:  
 
 
InputSynchronizationConstraint
Class  
Name: tolerance
Default: infinity
Name:  
 
 
OutputSynchronizationConstraint
Class  
Name: tolerance
Default: infinity
Name:  
 
 
ComparisonConstraint
Class  
Name: rightOperand
 
Name:  
 
 
ComparisonConstraint
Class  
Name: leftOperand
 
Name:  
 
 
Timing
Class  
Name: timingExpression
 
Name:  
 
 
VariableTimingExpression
Class  
Name: value
 
Name:  
 
 
Operator
Class  
Name: leftOperand
 
Name:  
 
 
Operator
Class  
Name: rightOperand
 
Name:  
 
 
ProbabilityInterval
Class  
Name: lowerLimit
 
Name:  
 
 
ExecutionTimeConstraint
Class  
Name: upper
 
Name:  
 
 
ExecutionTimeConstraint
Class  
Name: lower
 
Name:  
 
 
StrongDelayConstraint
Class  
Name: lower
Default: 0
Name:  
 
 
StrongDelayConstraint
Class  
Name: upper
Default: infinity
Name:  
 
 
PatternConstraint
Class  
Name: period
 
Name:  
 
 
ProbabilityInterval
Class  
Name: upperLimit
 
Name:  
 
 
Element Source Role Target Role Details
RepetitionConstraint
Class  
Name:  
 
Name: lower
Default: 0
 
RepetitionConstraint
Class  
Name:  
 
Name: upper
Default: infinity
 
RepetitionConstraint
Class  
Name:  
 
Name: jitter
Default: 0
 
DelayConstraint
Class  
Name:  
 
Name: lower
Default: 0
 
DelayConstraint
Class  
Name:  
 
Name: upper
Default: infinity
 
SynchronizationConstraint
Class  
Name:  
 
Name: tolerance
Default: infinity
 
SporadicConstraint
Class  
Name:  
 
Name: upper
Default: infinity
 
SporadicConstraint
Class  
Name:  
 
Name: jitter
Default: 0
 
SporadicConstraint
Class  
Name:  
 
Name: minimum
Default: 0
 
SporadicConstraint
Class  
Name:  
 
Name: lower
Default: 0
 
PatternConstraint
Class  
Name:  
 
Name: offset
 
 
PatternConstraint
Class  
Name:  
 
Name: jitter
Default: 0
 
PatternConstraint
Class  
Name:  
 
Name: minimum
Default: 0
 
PeriodicConstraint
Class  
Name:  
 
Name: period
 
 
PeriodicConstraint
Class  
Name:  
 
Name: jitter
Default: 0
 
PeriodicConstraint
Class  
Name:  
 
Name: minimum
Default: 0
 
ArbitraryConstraint
Class  
Name:  
 
Name: minimum
 
 
ArbitraryConstraint
Class  
Name:  
 
Name: maximum
 
 
BurstConstraint
Class  
Name:  
 
Name: length
 
 
BurstConstraint
Class  
Name:  
 
Name: minimum
Default: 0
 
ReactionConstraint
Class  
Name:  
 
Name: minimum
Default: 0
 
ReactionConstraint
Class  
Name:  
 
Name: maximum
Default: infinity
 
AgeConstraint
Class  
Name:  
 
Name: minimum
Default: 0
 
AgeConstraint
Class  
Name:  
 
Name: maximum
Default: infinity
 
TimeBaseRelation
Class  
Name:  
 
Name: left
 
 
TimeBaseRelation
Class  
Name:  
 
Name: right
 
 
Object Type Connection Notes
StrongSynchronizationConstraint Class Strong  
InputSynchronizationConstraint Class Strong  
OutputSynchronizationConstraint Class Strong  
ComparisonConstraint Class Strong  
ComparisonConstraint Class Strong  
RepetitionConstraint Class Weak  
RepetitionConstraint Class Weak  
RepetitionConstraint Class Weak  
DelayConstraint Class Weak  
DelayConstraint Class Weak  
SynchronizationConstraint Class Weak  
SporadicConstraint Class Weak  
SporadicConstraint Class Weak  
SporadicConstraint Class Weak  
SporadicConstraint Class Weak  
PatternConstraint Class Weak  
PatternConstraint Class Weak  
PatternConstraint Class Weak  
PeriodicConstraint Class Weak  
PeriodicConstraint Class Weak  
PeriodicConstraint Class Weak  
ArbitraryConstraint Class Weak  
ArbitraryConstraint Class Weak  
BurstConstraint Class Weak  
BurstConstraint Class Weak  
ReactionConstraint Class Weak  
ReactionConstraint Class Weak  
AgeConstraint Class Weak  
AgeConstraint Class Weak  
Timing Class Strong  
SymbolicTimingExpression Class Generalization  
VariableTimingExpression Class Generalization  
ValueTimingExpression Class Generalization  
VariableTimingExpression Class Strong  
Operator Class Strong  
Operator Class Strong  
ProbabilityInterval Class Strong  
ExecutionTimeConstraint Class Strong  
ExecutionTimeConstraint Class Strong  
StrongDelayConstraint Class Strong  
StrongDelayConstraint Class Strong  
PatternConstraint Class Strong  
ProbabilityInterval Class Strong