Application module: Fabrication technology | ISO/TS 10303-1670:2018-11(E) © ISO |
This clause specifies the EXPRESS schema derived from the mapping table. It uses elements from the common resources or from other application modules and defines the EXPRESS constructs that are specific to this part of ISO 10303.
This clause constitutes the Module Interpreted Module (MIM) of the application module.
This clause also specifies the modifications that apply to the constructs imported from the common resources.
The following restrictions apply to the use, in this schema, of constructs defined in common resources or in application modules:
Short names of entities defined in this schema are described in Annex A. Unambiguous identification of this schema is defined in Annex B.
EXPRESS specification:
*)
SCHEMA Fabrication_technology_mim;
USE FROM
Constructive_solid_geometry_2d_mim;
--
ISO/TS 10303-1731
USE FROM
Geometric_tolerance_mim;
--
ISO/TS 10303-1051
USE FROM
Requirement_decomposition_mim;
--
ISO/TS 10303-1740
USE FROM
Part_template_mim;
--
ISO/TS 10303-1722
(*
NOTE 1 The schemas referenced above are specified in the following part of ISO 10303:
Constructive_solid_geometry_2d_mim ISO/TS 10303-1731 Geometric_tolerance_mim ISO/TS 10303-1051 Requirement_decomposition_mim ISO/TS 10303-1740 Part_template_mim ISO/TS 10303-1722
NOTE 2 See Annex D, Figures D.1, D.2and D.3 for a graphical representation of this schema.
This subclause specifies the MIM types for this application module. The MIM types and definitions are specified below.
The ft_classification_item type is an extension of the classification_item type. It adds the data type stratum_technology_occurrence_relationship to the list of alternate data types.
NOTE The list of entity data types may be extended in application modules that use the constructs of this module.
EXPRESS specification:
*)
TYPE
ft_classification_item =
EXTENSIBLE
GENERIC_ENTITY
SELECT
BASED_ON
classification_item
WITH
(stratum_technology_occurrence_relationship);
END_TYPE;
(*
The ft_document_reference_item type is an extension of the document_reference_item type. It adds the data types passage_technology, stratum_technology, and stratum_surface_technology to the list of alternate data types.
NOTE The list of entity data types may be extended in application modules that use the constructs of this module.
EXPRESS specification:
*)
TYPE
ft_document_reference_item =
EXTENSIBLE
GENERIC_ENTITY
SELECT
BASED_ON
document_reference_item
WITH
(passage_technology,
stratum_technology,
stratum_surface_technology);
END_TYPE;
(*
The ft_external_identification_item type is an extension of the external_identification_item type. It adds the data type stratum_technology to the list of alternate data types.
NOTE The list of entity data types may be extended in application modules that use the constructs of this module.
EXPRESS specification:
*)
TYPE
ft_external_identification_item =
EXTENSIBLE
GENERIC_ENTITY
SELECT
BASED_ON
external_identification_item
WITH
(stratum_technology);
END_TYPE;
(*
The ft_requirement_assigned_item type is an extension of the requirement_assigned_item type. It adds the data types passage_technology, stratum_technology, stratum_technology_occurrence, and stratum_technology_occurrence_relationship to the list of alternate data types.
NOTE The list of entity data types may be extended in application modules that use the constructs of this module.
EXPRESS specification:
*)
TYPE
ft_requirement_assigned_item =
EXTENSIBLE
GENERIC_ENTITY
SELECT
BASED_ON
requirement_assigned_item
WITH
(passage_technology,
stratum_technology,
stratum_technology_occurrence,
stratum_technology_occurrence_relationship);
END_TYPE;
(*
This subclause specifies the MIM entities for this module. The MIM entities and definitions are specified below.
EXPRESS specification:
*)
ENTITY allocated_passage_minimum_annular_ring
SUBTYPE OF (characterized_object);
END_ENTITY;
(*
EXPRESS specification:
*)
ENTITY copy_stratum_technology_occurrence_relationship
SUBTYPE OF (derived_stratum_technology_occurrence_relationship);
END_ENTITY;
(*
EXPRESS specification:
*)
ENTITY derived_stratum_technology_occurrence_relationship
ABSTRACT SUPERTYPE
OF (ONEOF (copy_stratum_technology_occurrence_relationship,
inverse_copy_stratum_technology_occurrence_relationship))
SUBTYPE OF (stratum_technology_occurrence_relationship);
END_ENTITY;
(*
EXPRESS specification:
*)
ENTITY design_stack_model
SUBTYPE OF (stratum_stack_model);
END_ENTITY;
(*
EXPRESS specification:
*)
ENTITY equivalent_stackup_model_definition
SUBTYPE OF (product_definition, product_definition_relationship);
SELF\product_definition_relationship.relating_product_definition RENAMED primary_stackup_model : stratum_stack_model;
SELF\product_definition_relationship.related_product_definition RENAMED equivalent_stackup_model : stratum_stack_model;
WHERE
WR1: primary_stackup_model :<>: equivalent_stackup_model;
END_ENTITY;
(*
Attribute definitions:
primary_stackup_model: specifies a role of the stratum_stack_model for the equivalent_stackup_model_definition.
equivalent_stackup_model: specifies a role of the stratum_stack_model for the equivalent_stackup_model_definition.
Formal propositions:
WR1: The primary_stackup_model shall not be equal to the equivalent_stackup_model.
EXPRESS specification:
*)
ENTITY equivalent_sub_stack_definition
SUBTYPE OF (product_definition);
END_ENTITY;
(*
EXPRESS specification:
*)
ENTITY footprint_library_stratum_technology
SUBTYPE OF (stratum_technology);
END_ENTITY;
(*
EXPRESS specification:
*)
ENTITY impedance_measurement_setup_requirement
SUBTYPE OF (predefined_requirement_view_definition);
END_ENTITY;
(*
EXPRESS specification:
*)
ENTITY impedance_requirement
SUBTYPE OF (predefined_requirement_view_definition);
END_ENTITY;
(*
EXPRESS specification:
*)
ENTITY inverse_copy_stratum_technology_occurrence_relationship
SUBTYPE OF (derived_stratum_technology_occurrence_relationship);
END_ENTITY;
(*
EXPRESS specification:
*)
ENTITY local_linear_stack
SUBTYPE OF (stratum_sub_stack);
END_ENTITY;
(*
EXPRESS specification:
*)
ENTITY passage_deposition_material_identification
SUBTYPE OF (material_designation);
SELF\material_designation.definitions : SET[1:?] OF passage_technology;
END_ENTITY;
(*
Attribute definitions:
definitions: an inherited attribute shall be of type passage_technology for the passage_deposition_material_identification. There shall exist one or more passage_technologies for the passage_deposition_material_identification.
EXPRESS specification:
*)
ENTITY passage_filling_material_identification
SUBTYPE OF (material_designation);
SELF\material_designation.definitions : SET[1:?] OF passage_technology;
END_ENTITY;
(*
Attribute definitions:
definitions: an inherited attribute shall be of type passage_technology for the passage_filling_material_identification. There shall exist one or more passage_technologies for the passage_filling_material_identification.
EXPRESS specification:
*)
ENTITY passage_technology
SUBTYPE OF (characterized_object, product_definition_shape);
DERIVE
SELF\property_definition.definition : characterized_definition := SELF;
UNIQUE
UR1: SELF\characterized_object.name;
END_ENTITY;
(*
Attribute definitions:
definition: an inherited attribute shall be of type characterized_definition for the passage_technology.
Formal propositions:
UR1: The name shall be unique within a population of the passage_technology.
EXPRESS specification:
*)
ENTITY passage_technology_allocation_to_stack_model
SUBTYPE OF (stratum_sub_stack);
END_ENTITY;
(*
EXPRESS specification:
*)
ENTITY stratum_stack_model
ABSTRACT SUPERTYPE
SUBTYPE OF (part_template_definition);
END_ENTITY;
(*
EXPRESS specification:
*)
ENTITY stratum_sub_stack
ABSTRACT SUPERTYPE
OF (ONEOF (local_linear_stack,
passage_technology_allocation_to_stack_model))
SUBTYPE OF (part_template_definition);
END_ENTITY;
(*
EXPRESS specification:
*)
ENTITY stratum_surface_technology
SUBTYPE OF (shape_aspect);
SELF\shape_aspect.of_shape RENAMED associated_technology : stratum_technology;
END_ENTITY;
(*
Attribute definitions:
associated_technology: specifies a role of the stratum_technology for the stratum_surface_technology.
A stratum_technology is a type of characterized_object and a type of product_definition_shape that implements the ARM concepts of:
EXPRESS specification:
*)
ENTITY stratum_technology
SUBTYPE OF (characterized_object, product_definition_shape);
DERIVE
SELF\property_definition.definition : characterized_definition := SELF;
UNIQUE
UR1: SELF\characterized_object.name;
END_ENTITY;
(*
Attribute definitions:
definition: an inherited attribute shall be of type characterized_definition for the stratum_technology.
Formal propositions:
UR1: The name shall be unique within a population of stratum_technology.
EXPRESS specification:
*)
ENTITY stratum_technology_mapping_relationship
SUBTYPE OF (property_definition_relationship);
END_ENTITY;
(*
EXPRESS specification:
*)
ENTITY stratum_technology_occurrence
SUBTYPE OF (property_definition);
END_ENTITY;
(*
EXPRESS specification:
*)
ENTITY stratum_technology_occurrence_feature_constraint
SUBTYPE OF (stratum_technology_occurrence_relationship);
END_ENTITY;
(*
EXPRESS specification:
*)
ENTITY stratum_technology_occurrence_link
SUBTYPE OF (stratum_technology_occurrence_relationship);
END_ENTITY;
(*
EXPRESS specification:
*)
ENTITY stratum_technology_occurrence_relationship
ABSTRACT SUPERTYPE
OF (ONEOF (derived_stratum_technology_occurrence_relationship,
stratum_technology_occurrence_link,
stratum_technology_occurrence_feature_constraint,
stratum_technology_occurrence_swap_relationship))
SUBTYPE OF (property_definition, property_definition_relationship);
END_ENTITY;
(*
EXPRESS specification:
*)
ENTITY stratum_technology_occurrence_swap_relationship
SUBTYPE OF (stratum_technology_occurrence_relationship);
END_ENTITY;
(*
EXPRESS specification:
*)
ENTITY stratum_technology_swap_relationship
SUBTYPE OF (property_definition_relationship);
END_ENTITY;
(*
This subclause specifies the MIM subtype constraints for this module. Each subtype constraint places constraints on the possible super-type / subtype instantiations. The MIM subtype constraints and definitions are specified below.
EXPRESS specification:
*)
SUBTYPE_CONSTRAINT ft_property_definition_subtypes FOR property_definition;
ONEOF (stratum_technology_occurrence_relationship,
stratum_technology_occurrence);
END_SUBTYPE_CONSTRAINT;
(*
EXPRESS specification:
*)
SUBTYPE_CONSTRAINT ft_property_definition_relationship_subtypes FOR property_definition_relationship;
ONEOF (stratum_technology_occurrence_relationship,
stratum_technology_swap_relationship);
END_SUBTYPE_CONSTRAINT;
(*
*)
END_SCHEMA; -- Fabrication_technology_mim
(*
© ISO 2018 — All rights reserved