|
|
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:
-
use of a supertype entity does not make applicable any of its
specializations, unless the specialization is also imported in the
MIM schema;
-
use of a SELECT type does not make applicable any of its listed types
unless the listed type is also imported in the MIM schema.
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.
An allocated_passage_minimum_annular_ring is a type of
characterized_object
that implements the ARM concept of
Allocated_passage_minimum_annular_ring.
EXPRESS specification:
*)
ENTITY allocated_passage_minimum_annular_ring
SUBTYPE OF (characterized_object);
END_ENTITY;
(*
A copy_stratum_technology_occurrence_relationship is a type of
derived_stratum_technology_occurrence_relationship
that implements the ARM concept of
Copy_stratum_technology_occurrence_relationship.
EXPRESS specification:
*)
ENTITY copy_stratum_technology_occurrence_relationship
SUBTYPE OF (derived_stratum_technology_occurrence_relationship);
END_ENTITY;
(*
A derived_stratum_technology_occurrence_relationship is a type of
stratum_technology_occurrence_relationship
that implements the ARM concept of
Derived_stratum_technology_occurrence_relationship.
A derived_stratum_technology_occurrence_relationship is either a
copy_stratum_technology_occurrence_relationship
or an
inverse_copy_stratum_technology_occurrence_relationship.
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;
(*
A design_stack_model is a type of
stratum_stack_model
that implements the ARM concept of
Design_stack_model.
EXPRESS specification:
*)
ENTITY design_stack_model
SUBTYPE OF (stratum_stack_model);
END_ENTITY;
(*
An equivalent_stackup_model_definition is a type of
product_definition
and a type of
product_definition_relationship
that implements the ARM concept of
Equivalent_stackup_model_definition.
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.
An equivalent_sub_stack_definition is a type of
product_definition
that implements the ARM concept of
Equivalent_sub_stack_definition.
EXPRESS specification:
*)
ENTITY equivalent_sub_stack_definition
SUBTYPE OF (product_definition);
END_ENTITY;
(*
A footprint_library_stratum_technology is a type of
stratum_technology
that implements the ARM concept of
Footprint_library_stratum_technology.
EXPRESS specification:
*)
ENTITY footprint_library_stratum_technology
SUBTYPE OF (stratum_technology);
END_ENTITY;
(*
An impedance_measurement_setup_requirement is a type of
predefined_requirement_view_definition
that implements the ARM concept of
Impedance_measurement_setup_requirement.
EXPRESS specification:
*)
ENTITY impedance_measurement_setup_requirement
SUBTYPE OF (predefined_requirement_view_definition);
END_ENTITY;
(*
An impedance_requirement is a type of
predefined_requirement_view_definition
that implements the ARM concept of
Impedance_requirement.
EXPRESS specification:
*)
ENTITY impedance_requirement
SUBTYPE OF (predefined_requirement_view_definition);
END_ENTITY;
(*
A inverse_copy_stratum_technology_occurrence_relationship is a type of
derived_stratum_technology_occurrence_relationship
that implements the ARM concept of
Inverse_copy_stratum_technology_occurrence_relationship.
EXPRESS specification:
*)
ENTITY inverse_copy_stratum_technology_occurrence_relationship
SUBTYPE OF (derived_stratum_technology_occurrence_relationship);
END_ENTITY;
(*
A local_linear_stack is a type of
stratum_sub_stack
that implements the ARM concept of
Local_linear_stack.
EXPRESS specification:
*)
ENTITY local_linear_stack
SUBTYPE OF (stratum_sub_stack);
END_ENTITY;
(*
A passage_deposition_material_identification is a type of
material_designation
that implements the ARM concept of
Passage_deposition_material_identification.
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.
A passage_filling_material_identification is a type of
material_designation
that implements the ARM concept of
Passage_filling_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.
A passage_technology is a type of
characterized_object
and a type of
product_definition_shape
that implements the ARM concept of
Passage_technology.
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.
A passage_technology_allocation_to_stack_model is a type of
stratum_sub_stack
that implements the ARM concept of
Passage_technology_allocation_to_stack_model.
EXPRESS specification:
*)
ENTITY passage_technology_allocation_to_stack_model
SUBTYPE OF (stratum_sub_stack);
END_ENTITY;
(*
A stratum_stack_model is a type of
part_template_definition
that implements the ARM concept of
Stratum_stack_model.
EXPRESS specification:
*)
ENTITY stratum_stack_model
ABSTRACT SUPERTYPE
SUBTYPE OF (part_template_definition);
END_ENTITY;
(*
A stratum_sub_stack is a type of
part_template_definition
that implements the ARM concept of
Stratum_sub_stack.
A stratum_sub_stack is either
local_linear_stack
or a
passage_technology_allocation_to_stack_model.
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;
(*
A stratum_surface_technology is a type of
shape_aspect
that implements the ARM concept of
Stratum_surface_technology.
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.
A stratum_technology_mapping_relationship is a type of
property_definition_relationship
that implements the ARM concept of
Stratum_technology_mapping_relationship.
EXPRESS specification:
*)
ENTITY stratum_technology_mapping_relationship
SUBTYPE OF (property_definition_relationship);
END_ENTITY;
(*
A stratum_technology_occurrence is a type of
property_definition
that implements the ARM concept of
Stratum_technology_occurrence.
EXPRESS specification:
*)
ENTITY stratum_technology_occurrence
SUBTYPE OF (property_definition);
END_ENTITY;
(*
A stratum_technology_occurrence_feature_constraint is a type of
stratum_technology_occurrence_relationship
that implements the ARM concept of
Stratum_technology_occurrence_feature_constraint.
EXPRESS specification:
*)
ENTITY stratum_technology_occurrence_feature_constraint
SUBTYPE OF (stratum_technology_occurrence_relationship);
END_ENTITY;
(*
A stratum_technology_occurrence_link is a type of
stratum_technology_occurrence_relationship
that implements the ARM concept of
Stratum_technology_occurrence_link.
EXPRESS specification:
*)
ENTITY stratum_technology_occurrence_link
SUBTYPE OF (stratum_technology_occurrence_relationship);
END_ENTITY;
(*
A stratum_technology_occurrence_relationship is a type of
property_definition
and a type of
property_definition_relationship
that implements the ARM concept of
Stratum_technology_occurrence_relationship.
Each stratum_technology_occurrence_relationship is either a
derived_stratum_technology_occurrence_relationship,
a
stratum_technology_occurrence_link,
a
stratum_technology_occurrence_feature_constraint,
or a
stratum_technology_occurrence_swap_relationship.
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;
(*
A stratum_technology_occurrence_swap_relationship is a type of
stratum_technology_occurrence_relationship
that implements the ARM concept of
Stratum_technology_occurrence_swap_relationship.
EXPRESS specification:
*)
ENTITY stratum_technology_occurrence_swap_relationship
SUBTYPE OF (stratum_technology_occurrence_relationship);
END_ENTITY;
(*
A stratum_technology_swap_relationship is a type of
property_definition_relationship
that implements the ARM concept of
Stratum_technology_swap_relationship.
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.
The ft_property_definition_subtypes constraint specifies a constraint that applies to instances of subtypes of
property_definition.
EXPRESS specification:
*)
SUBTYPE_CONSTRAINT ft_property_definition_subtypes FOR property_definition;
ONEOF (stratum_technology_occurrence_relationship,
stratum_technology_occurrence);
END_SUBTYPE_CONSTRAINT;
(*
The ft_property_definition_relationship_subtypes constraint specifies a constraint that applies to instances of subtypes of
property_definition_relationship.
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
