|
The SEDRIS Data Representation Model
APPENDIX B - Constraints State Related Organizing Principle |
|---|
For any state related aggregation S, whether a <State Related Features> instance or a <State Related Geometry> instance, the following constraints apply.
The state_tag of S shall specify an EA T that is bound either to the abstract value type BOOLEAN, the abstract value type ENUMERATION, or to a numeric value type. In the latter case, T shall be bound to the EDCS unit equivalence class PURE_NUMBER such that the state values of S are specified with EUC_UNITLESS units and ESC_UNI scale factor.
Each branch of S shall comply with the following constraints.
The <State Data> link object associated with that branch shall have a state_value, the attribute_value_type field of which matches that of the active_state_value of S.
The <State Data> link object associated with that branch shall have a state_value that does not overlap with that of any other branch's <State Data> link object within S.
If S has a <State Control Link> component, the return type of each of the <Expression> components of the <State Control Link> instance shall match that of S's active_state_value's attribute_value_type.
The state_tag shall specify some EAC that is actually legal for use as a state.
The active_state_value, and each of the state_value values of the possible <State Data> link objects as well as the return types of the <Expression> components of the <State Control Link> component (if any) are all designed to be interchangeable, since any one of them could determine the active state of S at some point.
The values specified by the <State Data> link objects may not overlap, because the active_state_value shall unambiguously specify which state that S is in.
No example supplied.
No FAQs supplied.
|