|
ENTITY Packaged_part_terminal ABSTRACT SUPERTYPE SUBTYPE OF (Part_terminal); terminal_of_package : SET [1:?] OF Package_terminal; SELF\Part_feature.associated_definition : Packaged_part; WHERE WR1: disjoint_package_terminals(terminal_of_package); WR2: NOT EXISTS(SELF\Part_feature.precedent_feature); END_ENTITY; -- Packaged_part_terminal |
Entity data types and their attributesShape_element(OPT) id: STRING; (OPT) element_name: STRING; (OPT) description: STRING; containing_shape: Item_shape; Shape_feature (OPT) connection_area: SET [1:?] OF Connection_zone; (RT) element_name: STRING; (DER) surface_conditions: SET [0:?] OF Surface_condition; Part_feature (RT) containing_shape->associated_definition: Part_usage_view; (OPT) material_state_change: material_state_change_enumeration; (OPT) precedent_feature: Part_feature; (INV) feature_shape: SET [0:?] OF Usage_concept_usage_relationship FOR associated_usage; (INV) subsequent_feature: SET [0:1] OF Part_feature FOR precedent_feature; Part_terminal (RT) (OPT) description->terminal_type: STRING; (INV) connection_requirement: SET [0:1] OF Part_connected_terminals_definition FOR connected_terminals; (INV) functional_usage_view_terminal: SET [0:1] OF Functional_usage_view_to_part_terminal_assignment FOR physical_usage_view_terminal; Packaged_part_terminal terminal_of_package: SET [1:?] OF Package_terminal; (RT) associated_definition: Packaged_part; |
| Packaged_part_interface_terminal (Packaged_connector_model_arm) |
| Packaged_part_join_terminal (Packaged_part_black_box_model_arm) |
| packaged_part_terminal_subtypes (Packaged_connector_model_arm) |
Global rules for this entity data type- |