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

Definition

For any state related aggregation SRA, whether a <State Related Features> instance or a <State Related Geometry> instance,

  1. The state_tag of SRA shall be state applicable.

  2. Each branch of SRA 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 of which matches that of the active_state_value of SRA.

    2. The <State Data> link object associated with that branch shall have a state_value which does not overlap with that of any other branch's <State Data> link object within SRA.

  3. If SRA 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 SRA'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 SRA 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 SRA is in.

Example

No example supplied.

FAQs

No FAQs supplied.


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