AttributeQuantificationConstraint::Quantification

Header Image

EAST-ADL / Annexes / BehaviorDescription / AttributeQuantificationConstraint / Quantification

Content:
Quantification : Public Class AttributeQuantificationConstraint, LogicalTimeConditionMappingToTiming, Transition, ComputationConstraint
A quantification is a statement over the attributes about their value condition or relation.<br/><br/>Together with the attribute definitions, it also provides the support for annotating acausal dynamic behavior constraints in terms of continuous-time and discrete-time dynamics models. In the development of embedded systems, such acausal specifications of behaviors are necessary for the definitions of system environments (e.g. the physical plants), electrical and electronics devices (e.g. the transfer functions of actuators)<br/><br/>Constraints:<br/>[1] A quantification is applied to at least one attribute.<br/><br/>Semantics:<br/>The quantification is a tuple of: 1. the operands of quantification expressions given by attributes; 2. the time conditions of concern; 3. the actual expressions of properties over single or multiple attributes.<br/><br/>EAST-ADL does not define logic and arithmetic operators for the expressions of parameter conditions but would support the definitions in future extensions.<br/><br/>Extension: <br/>EAElement.<br/>
  • Associations
  • Associations From
  • Advanced
  • Other Links
Element Source Role Target Role
«atpPrototype» Attribute
Class   		Name:  
  		Name: operand
The operands of quantification expressions.
Details:
 
LogicalTimeCondition
Class   		Name:  
  		Name: timeCondition
 
Details:
 
Element Source Role Target Role
TransformationOccurrence
Class   		Name:  
  		Name: outQuantification
 
Details:
 
Transition
Class   		Name:  
  		Name: quantificationGuard
The value guard conditions of a transition.
Details:
 
TransformationOccurrence
Class   		Name:  
  		Name: inQuantification
 
Details:
 
AttributeQuantificationConstraint
Class   		Name:  
  		Name: quantification
The attributes quantification of a behavior constraint.
Details:
 
State
Class   		Name:  
  		Name: quantificationInvariant
The value invariants of a state, i.e. the value conditions that must hold in a state.
Details:
 
LogicalTransformation
Class   		Name:  
  		Name: postCondition
The parameter conditions that must hold after the execution of the transformation.
Details:
 
LogicalTransformation
Class   		Name:  
  		Name: preCondition
The parameter conditions that must hold before the execution of the transformation.
Details:
 
LogicalTransformation
Class   		Name:  
  		Name: quantificationInvariant
The parameter conditions that must remain unchanged by the execution of the transformation.
Details:
 
Property Value
isFinalSpecialization: 0
Object Type Connection Direction Notes
EAElement Class Generalization To  
AttributeQuantificationConstraint Class Weak From  
LogicalEvent Class Generalization From  
«atpMixedString» EAExpression Class Generalization To