|
|
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
