|
|
Application module:
Item definition structure |
ISO/TS 10303-1345:2014-02(E)
© ISO
|
This clause specifies the information requirements for the
Item definition structure
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
Item_definition_structure_arm
schema and identifies the necessary external references.
EXPRESS specification:
*)
SCHEMA Item_definition_structure_arm;
(*
The following EXPRESS interface statements specify the elements
imported from the ARMs of other application modules.
EXPRESS specification:
*)
USE FROM
Effectivity_application_arm;
--
ISO/TS 10303-1059
USE FROM
Product_occurrence_arm;
--
ISO/TS 10303-1063
USE FROM
Product_structure_arm;
--
ISO/TS 10303-1134
(*
NOTE 1
The schemas referenced above are specified in the following
part of ISO 10303:
| Effectivity_application_arm |
ISO/TS 10303-1059 |
| Product_occurrence_arm |
ISO/TS 10303-1063 |
| Product_structure_arm |
ISO/TS 10303-1134 |
NOTE 2
See Annex C,
Figures
C.1and C.2
for a graphical representation of this schema.
This subclause specifies the ARM type
for this application module. The ARM type and
definition is specified below.
The effectivity_item_for_replacement type is an extension
of the
effectivity_item type.
It adds the data
type
Part_definition_relationship
to the list of alternate data types.
EXPRESS specification:
*)
TYPE
effectivity_item_for_replacement =
SELECT
BASED_ON
effectivity_item
WITH
(Part_definition_relationship);
END_TYPE;
(*
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 Assembled_part_association is a type of
Assembly_component_relationship
that relates an Assembly_definition with an occurrence of one
of its components.
NOTE
The constituent may also be an assembly.
EXPRESS specification:
*)
ENTITY Assembled_part_association
SUBTYPE OF (Assembly_component_relationship);
SELF\Product_occurrence_definition_relationship.relating_view : Assembly_definition;
END_ENTITY;
(*
Attribute definitions:
relating_view:
the Assembly_definition that may have subordinate constituents.
An Assembly_definition is a type of Part_view_definition that characterizes a part version which may contain several components.
EXPRESS specification:
*)
ENTITY Assembly_definition
SUBTYPE OF (Part_view_definition);
END_ENTITY;
(*
An Effectivity_controlled_assembly_definition is a type of
Assembly_definition
where all
Product_occurrence
that are related to it by a
View_definition_usage
(or subtype) must have an
Manufacturing_configuration
to be valid for this assembly.
EXPRESS specification:
*)
ENTITY Effectivity_controlled_assembly_definition
SUBTYPE OF (Assembly_definition);
END_ENTITY;
(*
A Geometrical_relationship is a type of
Part_definition_relationship
that specifies that the shape and location of the relating part version is derived from the shape and location of the related
part version.
Both instances of
Part_view_definition
related by this relationship shall be definitions of different part versions.
Other properties except shape are not concerned by this relationship and therefore not inherited from the related
Part_view_definition
to the relating
Part_view_definition.
Figure 1 — Symmetrical parts
EXAMPLE
Figure 1 shows an example of Geometrical_relationship: the left mudguard of a car is symmetrical to the right mudguard.
A given plane mirroring transformation specifies the location of the left mudguard with respect to the location of the right
mudguard.
EXPRESS specification:
*)
ENTITY Geometrical_relationship
SUBTYPE OF (Part_definition_relationship);
definition_placement : Geometric_model_relationship_with_transformation;
DERIVE
SELF\View_definition_relationship.relation_type : STRING := 'geometrical relationship';
END_ENTITY;
(*
Attribute definitions:
definition_placement:
the instance of a
Geometric_model_relationship_with_transformation
that specifies how a representation of the shape of the relating
Part_view_definition
is derived from a representation of the shape of the related
Part_view_definition.
The "template instance" defines the transformation applied to a geometric model that represents the shape of the related
Part_view_definition
in order to get the shape and location of the relating
Part_view_definition.
Translation, rotation, and mirroring are allowed; scaling is not allowed.
relation_type:
the derived relation_type is equal to "geometrical relationship".
A Part_definition_relationship is a type of View_definition_relationship that relates two instances of Part_view_definitionThe meaning of the relationship is defined with the inherited attribute relation_type. Where applicable, the following values shall be used for relation_type:
EXPRESS specification:
*)
ENTITY Part_definition_relationship
SUBTYPE OF (View_definition_relationship);
SELF\View_definition_relationship.relating_view : Part_view_definition;
SELF\View_definition_relationship.related_view : Part_view_definition;
END_ENTITY;
(*
Attribute definitions:
relating_view:
the relating_view shall be a Part_view_definition.
related_view:
the related_view shall be a Part_view_definition.
This subclause specifies the ARM rules for
this module. The ARM rules and definitions are
specified below.
The definition_replacement_requires_effectivity_assignment rule constrains any instance of Part_definition_relationship whose relation_type attribute is 'definition replacement' to be referred to as items by at least an instance of Effectivity_assignment which specifies the validity conditions of the replacement.
EXPRESS specification:
*)
RULE definition_replacement_requires_effectivity_assignment FOR
(Part_definition_relationship);
WHERE
WR1: SIZEOF( QUERY( pdr <* Part_definition_relationship |
(pdr\View_definition_relationship.relation_type = 'definition replacement') AND
(SIZEOF( USEDIN(pdr,'EFFECTIVITY_APPLICATION_ARM.EFFECTIVITY_ASSIGNMENT.ITEMS') ) = 0) ))
= 0;
END_RULE;
(*
Argument definitions:
Part_definition_relationship :
the set of all instances of
Part_definition_relationship.
Formal propositions:
WR1:
There shall not be any instance of Part_definition_relationship whose relation_type attribute is
'definition replacement', not referred to as items by at least an instance of Effectivity_assignment.
The mandatory_part_occurrence_definition_relationship rules specifies that only the subtype Assembled_part_association of Assembly_component_relationship shall be instantiated when describing assembly relationships between parts.
EXPRESS specification:
*)
RULE mandatory_part_occurrence_definition_relationship FOR
(Assembly_component_relationship);
LOCAL
assemblies_of_parts: SET OF Assembly_component_relationship := [];
END_LOCAL;WHERE
WR1: SIZEOF(QUERY(ar <* assemblies_of_parts |
NOT ('ITEM_DEFINITION_STRUCTURE_ARM.ASSEMBLED_PART_ASSOCIATION' IN TYPEOF(ar)) ))= 0;
END_RULE;
(*
Argument definitions:
Assembly_component_relationship :
the set of all instances of
Assembly_component_relationship.
Formal propositions:
WR1:
There shall not be any instance of Assembly_component_relationship whose relating view is a Part_view_definition, that is not also of type Assembled_part_association.
*)
END_SCHEMA; -- Item_definition_structure_arm
(*
© ISO 2014 — All rights reserved
