|
|
Application module:
Assembly module with macro component |
ISO/TS 10303-1640:2018-11(E)
© ISO
|
This clause specifies the information requirements for the
Assembly module with macro component
application module. The information requirements are specified as the
Application Reference Model (ARM) of this application module.
NOTE 1 A graphical representation of the information
requirements is given in
Annex C.
NOTE 2 The mapping specification is specified in
5.1. It shows how
the information requirements are met by using common resources and
constructs defined or imported in the MIM schema of this application
module.
This clause defines the information requirements to which implementations shall
conform using the EXPRESS language as defined in ISO 10303-11.
The following begins the
Assembly_module_with_macro_component_arm
schema and identifies the necessary external references.
EXPRESS specification:
*)
SCHEMA Assembly_module_with_macro_component_arm;
(*
The following EXPRESS interface statements specify the elements
imported from the ARMs of other application modules.
EXPRESS specification:
*)
USE FROM
Assembly_module_macro_definition_arm;
--
ISO/TS 10303-1637
USE FROM
Assembly_module_with_subassembly_arm;
--
ISO/TS 10303-1641
(*
NOTE 1
The schemas referenced above are specified in the following
part of ISO 10303:
| Assembly_module_macro_definition_arm |
ISO/TS 10303-1637 |
| Assembly_module_with_subassembly_arm |
ISO/TS 10303-1641 |
NOTE 2
See Annex C,
Figures
C.1and C.2
for a graphical representation of this schema.
This subclause specifies the ARM entities for this
module. Each ARM application entity is an atomic element that
embodies a unique application concept and contains attributes
specifying the data elements of the entity. The ARM
entities and definitions are specified below.
An Assembly_module_macro_component is a type of
Physical_component
and a type of
Single_instance
that is intended to support design reuse.
An Assembly_module_macro_component is an instantiation of a design fragment that has been stored in a library. Design fragments may be stored in a library
for later use in other designs.
EXPRESS specification:
*)
ENTITY Assembly_module_macro_component
SUBTYPE OF (Physical_component, Single_instance);
SELF\Definition_based_product_occurrence.derived_from : Assembly_module_design_view;
INVERSE
join_access_mechanisms : SET[1:?] OF Assembly_module_macro_component_join_terminal FOR associated_definition;
WHERE
WR1: SIZEOF(QUERY(ammcjt <* join_access_mechanisms | ammcjt\Component_feature.definition\Shape_element.associated_definition
:<>: SELF\Definition_based_product_occurrence.derived_from\Part_design_view.usage_view)) = 0;
WR2: NOT EXISTS(SELF\Product_view_definition.additional_characterization);
END_ENTITY;
(*
Attribute definitions:
derived_from:
specifies the role of the
Assembly_module_design_view
for the Assembly_module_macro_component.
join_access_mechanisms:
specifies an inverse relationship that specifies that the existence of the Assembly_module_macro_component
is dependent on the existence of the
Assembly_module_macro_component_join_terminal
that specifies the Assembly_module_macro_component as its
associated_definition.
There shall be one or more
Assembly_module_macro_component_join_terminal
for an Assembly_module_macro_component.
Formal propositions:
WR1:
The
Assembly_module_usage_view
referenced by the
usage_view
of derived_from shall be the same
Assembly_module_usage_view
as referenced by the
associated_definition
which is referenced by the
definition
of the join_access_mechanisms.
WR2:
The
additional_characterization
shall not be populated.
An Assembly_module_macro_component_join_terminal is a type of
Physical_component_terminal.
An Assembly_module_macro_component_join_terminal is a terminal of a design fragment that has been instantiated in a design.
It is associated with an Assembly_module_macro_component.
EXPRESS specification:
*)
ENTITY Assembly_module_macro_component_join_terminal
SUBTYPE OF (Physical_component_terminal);
SELF\Component_feature.definition : Assembly_module_macro_terminal;
SELF\Component_feature.associated_definition : Assembly_module_macro_component;
END_ENTITY;
(*
Attribute definitions:
definition:
specifies the role of the
Assembly_module_macro_terminal
for the Assembly_module_macro_component_join_terminal.
associated_definition:
specifies the role of the
Assembly_module_macro_component
for the Assembly_module_macro_component_join_terminal.
*)
END_SCHEMA; -- Assembly_module_with_macro_component_arm
(*
© ISO 2018 — All rights reserved
