|
|
Application module:
Specified product |
ISO/TS 10303-1104:2021(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 Specified_product_mim;
USE FROM
Characterizable_object_mim;
--
ISO/TS 10303-1765
USE FROM
Configuration_item_mim;
--
ISO/TS 10303-1056
USE FROM
configuration_management_schema
--
ISO 10303-44
(configurable_item);
USE FROM
Product_class_mim;
--
ISO/TS 10303-1103
(*
NOTE 1
The schemas referenced above are specified in the following
part of ISO 10303:
| Characterizable_object_mim |
ISO/TS 10303-1765 |
| Configuration_item_mim |
ISO/TS 10303-1056 |
| configuration_management_schema |
ISO 10303-44 |
| Product_class_mim |
ISO/TS 10303-1103 |
NOTE 2
See Annex D,
Figures
D.1and D.2
for a graphical representation of this schema.
This subclause specifies the MIM type
for this application module. The MIM type and
definition is specified below.
The id_for_product_identification type is an extension
of the
identification_item type.
It adds the data
type
product_identification
to the list of alternate data types.
EXPRESS specification:
*)
TYPE
id_for_product_identification =
SELECT
BASED_ON
identification_item
WITH
(product_identification);
END_TYPE;
(*
This subclause specifies the MIM entities for this
module. The MIM entities and definitions are specified below.
A product_identification is a type of
configuration_item
and a type of
characterized_object
that implements the ARM concept of
Product_specification.
A product_identification identifies a manufacturable product in a
product_class.
EXPRESS specification:
*)
ENTITY product_identification
SUBTYPE OF (configuration_item, characterized_object);
SELF\configuration_item.item_concept : product_class;
WHERE
WR1: SIZEOF(QUERY
( cd <* USEDIN ( SELF ,'CONFIGURATION_MANAGEMENT_SCHEMA.CONFIGURATION_DESIGN.CONFIGURATION' )
|
( 'PRODUCT_DEFINITION_SCHEMA.'+ 'PRODUCT_DEFINITION_FORMATION' IN TYPEOF ( cd. design ) )
AND
( SIZEOF ( QUERY
(
prpc <* USEDIN ( cd. design\product_definition_formation.of_product , 'PRODUCT_DEFINITION_SCHEMA.PRODUCT_RELATED_PRODUCT_CATEGORY.PRODUCTS')
|
prpc. name IN ['part' , 'raw material' , 'tool'] ) ) >0
)
)
) <=1;
WR2: NOT ( 'CONFIGURATION_MANAGEMENT_SCHEMA.'+ 'CONFIGURABLE_ITEM' IN TYPEOF( SELF ) )
XOR ( 'SPECIFIED_PRODUCT_MIM.'+ 'PRODUCT_SPECIFICATION' IN TYPEOF ( SELF ) );
END_ENTITY;
(*
Attribute definitions:
item_concept:
the product_class the product_specification
defined in
product_identification is a member of.
Formal propositions:
WR1:
Each product_specification
defined in
product_identification shall be referenced as the configuration by
at most one instance of configuration_design that references as design a
product_definition_formation
which references as "of product" a product which is contained in the of products set of a product_related_product_category with a name of either 'part', 'raw material', or 'tool'
WR2:
If the product_identification
defined in
product_identification is of type configurable_item, it shall also be of type product_specification
defined in
product_identification. If the product_specification
defined in
specified_product is of type product_specification
defined in
specified_product, it shall also be of type configurable_item.
A product_specification is a type of
product_identification
and a type of
configurable_item
that implements the ARM concept of
Product_specification.
A product_specification identifies a manufacturable product that is characterized with instances of
product_concept_feature.
The inherited attribute
item_concept_feature
points to a set of
product_concept_feature_association
instances that define the specified characteristics of the manufacturable product.
EXPRESS specification:
*)
ENTITY product_specification
SUBTYPE OF (product_identification, configurable_item);
END_ENTITY;
(*
*)
END_SCHEMA; -- Specified_product_mim
(*
© ISO 2021 — All rights reserved
