Application module: Altered part | ISO/TS 10303-1602:2006(E) © ISO |
This clause specifies the information requirements for the Altered part 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.
The following EXPRESS specification begins the Altered_part_arm schema and identifies the necessary external references.
EXPRESS specification:
*)
SCHEMA Altered_part_arm;
(*
The following EXPRESS interface statements specify the elements imported from the ARMs of other application modules.
EXPRESS specification:
*)
USE FROM
Altered_package_arm;
--
ISO/TS 10303-1601
USE FROM
Packaged_part_black_box_model_arm;
--
ISO/TS 10303-1710
(*
NOTE 1 The schemas referenced above are specified in the following part of ISO 10303:
Altered_package_arm ISO/TS 10303-1601 Packaged_part_black_box_model_arm ISO/TS 10303-1710
NOTE 2 See Annex C, Figures C.1and C.2 for a graphical representation of this schema.
This subclause specifies the ARM entity for this module. The ARM entity is an atomic element that embodies a unique application concept and contains attributes specifying the data elements of the entity. The ARM entity and definition is specified below.
An Altered_packaged_part is a type of Packaged_part whose used_package is an Altered_package or that has a different implemented function than the base_packaged_part. The material or shape or functional properties are different from the reference Packaged_part.
EXPRESS specification:
*)
ENTITY Altered_packaged_part
SUBTYPE OF (Packaged_part);
base_packaged_part : Packaged_part;
WHERE
WR1: NOT EXISTS(SELF\Product_view_definition.name);
WR2: ((SIZEOF(SELF\Packaged_part.used_package) = 1) AND ('ALTERED_PACKAGE_ARM.ALTERED_PACKAGE' IN TYPEOF(used_package[1])))
OR
(EXISTS(SELF\Packaged_part.implemented_function) AND
(SELF\Packaged_part.implemented_function :<>: base_packaged_part\Packaged_part.implemented_function));
END_ENTITY;
(*
Attribute definitions:
base_packaged_part: specifies the original, unmodified Packaged_part for the Altered_packaged_part.
Formal propositions:
WR1: The name shall not be populated.
WR2: Either the used_package inherited from Packaged_part shall be of size one and shall only contain an Altered_package or the implemented_function inherited from Packaged_part shall exist and shall not be the implemented_function of the base_packaged_part.
*)
END_SCHEMA; -- Altered_part_arm
(*
© ISO 2006 — All rights reserved