ISO/TS 10303-1676:2018-11 Functional decomposition to design


Application module: Functional decomposition to design	ISO/TS 10303-1676:2018-11(E) © ISO

Cover page
Table of contents
Copyright
Foreword
Introduction
1 Scope
2 Normative references
3 Terms, definitions and abbreviated terms
3.1 Terms and definitions
3.2 Abbreviated terms

4 Information requirements
4.1 Required AM ARMs
4.2 ARM type definition
4.3 ARM entity definitions
4.4 ARM subtype constraint definition
5 Module interpreted model
5.1 Mapping specification
5.2 MIM EXPRESS short listing
5.2.1 MIM type definitions
5.2.2 MIM entity definitions

A MIM short names
B Information object registration
C ARM EXPRESS-G
D MIM EXPRESS-G
E Computer interpretable listings
F Change history
Bibliography
Index


         (*
ISO/TC 184/SC 4/WG 12 N8143 - ISO/TS 10303-1676 Functional decomposition to design - EXPRESS ARM
Supersedes 
         ISO/TC 184/SC 4/WG 12 N7541
*)



SCHEMA Functional_decomposition_to_design_arm;


         USE FROM
         Change_management_arm;
            -- ISO/TS 10303-1824


         USE FROM
         Physical_unit_design_view_arm;
            -- ISO/TS 10303-1728


         USE FROM
         Network_functional_design_view_arm;
            -- ISO/TS 10303-1704


TYPE fdtd_change_management_object =
         
         EXTENSIBLE
         
         GENERIC_ENTITY
         
         
         SELECT
         BASED_ON
         change_management_object
         WITH 
         

            (Design_functional_unit_allocation_to_assembly_component, 
    Design_functional_unit_allocation_to_reference_functional_unit);

         END_TYPE;


ENTITY Component_swap_specification

           SUBTYPE OF (Modify_single_element);

           SELF\Modify_single_element.current_design_object : Design_functional_unit_allocation_to_assembly_component;

           SELF\Modify_single_element.previous_design_object : Design_functional_unit_allocation_to_assembly_component;

         
         END_ENTITY;


ENTITY Design_composition_path;

           path_element : SET[1:?] OF Functional_unit;

           design_functional_unit : Functional_unit;

         
         END_ENTITY;


ENTITY Design_functional_unit_allocation_to_assembly_component;

           functional_design_definition_path : Design_composition_path;

           implementation : Assembly_component;

           global_swappable : BOOLEAN;

           local_swappable : BOOLEAN;

           of_property : 
         OPTIONAL 
         SET[1:?] OF Property_value_representation;

           path_alias : STRING;

           swap_code : STRING;
UNIQUE

           UR1: implementation, path_alias;

         
         END_ENTITY;


ENTITY Design_functional_unit_allocation_to_reference_functional_unit;

           reference_definition_path : Reference_composition_path;

           design_definition_path : Design_composition_path;

         
         END_ENTITY;


ENTITY Gate_path_swap_specification

           SUBTYPE OF (Modify_single_element);

           SELF\Modify_single_element.current_design_object : Design_functional_unit_allocation_to_reference_functional_unit;

           SELF\Modify_single_element.previous_design_object : Design_functional_unit_allocation_to_reference_functional_unit;

         
         END_ENTITY;


ENTITY Reference_composition_path;

           path_element : SET[1:?] OF Functional_unit;

           reference_functional_unit : Functional_unit;

         
         END_ENTITY;


ENTITY Reference_functional_unit_assignment_to_part;

           functional_design_definition_path : Reference_composition_path;

           implementation : Part_view_definition;

           of_property : 
         OPTIONAL 
         SET[1:?] OF Property_value_representation;

           path_alias : STRING;

           swap_code : 
         OPTIONAL 
         STRING;
UNIQUE

           UR1: implementation, path_alias;

         
         END_ENTITY;


ENTITY Reference_functional_unit_assignment_to_template;

           functional_design_definition_path : Reference_composition_path;

           implementation : Template_definition;

           of_property : 
         OPTIONAL 
         SET[1:?] OF Property_value_representation;

           path_alias : STRING;

           swap_code : 
         OPTIONAL 
         STRING;
UNIQUE

           UR1: implementation, path_alias;

         
         END_ENTITY;


ENTITY Terminal_swap_specification

           SUBTYPE OF (Modify_single_element);

           SELF\Modify_single_element.previous_design_object : Functional_unit_terminal_node_assignment;

           SELF\Modify_single_element.current_design_object : Functional_unit_terminal_node_assignment;

         
         END_ENTITY;


SUBTYPE_CONSTRAINT change_design_object_management_relationship_subtypes FOR Modify_single_element;

           ONEOF (Terminal_swap_specification,
         Gate_path_swap_specification,
         Component_swap_specification);
      
         END_SUBTYPE_CONSTRAINT;



         END_SCHEMA;  -- Functional_decomposition_to_design_arm