|
ENTITY Functional_unit SUBTYPE OF (Definition_based_product_occurrence); SELF\Definition_based_product_occurrence.derived_from RENAMED definition : Functional_unit_definition; SELF\Product_view_definition.id RENAMED reference_designation : STRING; functional_property : OPTIONAL SET [1:?] OF nfdv_pa_or_parameter_assignment_override; DERIVE composed_network : Functional_unit_network_definition := SELF\Product_occurrence.occurrence_contexts[1].relating_view; SELF\Product_view_definition.defined_version : Product_version := SELF\Definition_based_product_occurrence.derived_from.defined_version; INVERSE access_mechanisms : SET [1:?] OF Functional_unit_terminal FOR accessed_functional_unit; UNIQUE UR1 : reference_designation, composed_network; WHERE WR1: SIZEOF(SELF\Product_occurrence.occurrence_contexts) = 1; WR2: EXISTS(composed_network); END_ENTITY; -- Functional_unit |
Entity data types and their attributesProduct_view_definition(OPT) id: STRING; (OPT) name: STRING; (OPT) additional_characterization: STRING; initial_context: View_definition_context; additional_contexts: SET [0:?] OF View_definition_context; defined_version: Product_version; Product_occurrence (INV) occurrence_contexts: SET [0:?] OF Product_occurrence_definition_relationship FOR related_view; (INV) view_definition_contexts: SET [0:?] OF View_definition_relationship FOR related_view; Definition_based_product_occurrence derived_from: Product_view_definition; Functional_unit (RT) derived_from->definition: Functional_unit_definition; (RT) id->reference_designation: STRING; (OPT) functional_property: SET [1:?] OF nfdv_pa_or_parameter_assignment_override; (DER) composed_network: Functional_unit_network_definition; (RT) (DER) defined_version: Product_version; (INV) access_mechanisms: SET [1:?] OF Functional_unit_terminal FOR accessed_functional_unit; |
Global rules for this entity data type- |