TimingConstraints::ArbitraryConstraint

Header Image

EAST-ADL / Timing / TimingConstraints / ArbitraryConstraint

Content:
ArbitraryConstraint : Public Class TimingConstraints2
An ArbitraryConstraint describes an event that occurs irregularly.<br/><br/>An ArbitraryConstraint is equivalent to a combination of Repeat constraints, each one constraining sequences of i+1 occurrences (that is, i repetition spans), with i ranging from 1 to some given n.<br/><br/>Constraints:<br/>[1] The number of elements in minimum and maximum must be equal.<br/><br/>Semantics:<br/>A system behavior satisfies an AribtraryConstraint c if and only if<br/>for each c.minimum index i, the same system behavior satisfies<br/><br/>RepeatConstraint { event = c.event,<br/>lower = c.minimum(i),<br/>upper = c.maximum(i),<br/>span = i  }<br/>
  • Associations
  • Advanced
  • Other Links
Element Source Role Target Role
Event
Class   		Name:  
  		Name: event
 
Details:
 
TimingExpression
Class   		Name:  
  		Name: maximum
 
Details:
 
TimingExpression
Class   		Name:  
  		Name: minimum
 
Details:
 
Property Value
isFinalSpecialization: 0
Object Type Connection Direction Notes
TimingConstraint Class Generalization To  
TimingExpression Class Weak To  
TimingExpression Class Weak To