The SEDRIS Data Representation Model
APPENDIX B - Constraints
State Related Organizing Principle

Definition

For any state related aggregation S, whether a <State Related Features> instance or a <State Related Geometry> instance, the following constraints apply.

  1. 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.

  2. Each branch of S shall comply with the following constraints.

    1. 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.

    2. 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.

  3. 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.

Rationale

  1. The state_tag shall specify some EAC that is actually legal for use as a state.

  2. 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.

  3. 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.

Example

No example supplied.

FAQs

No FAQs supplied.


Prev: Stamp Behaviour constraints. Next: Table Property Description Constraints. Up:Index.