|
|
Application module:
Manufacturing configuration effectivity |
ISO/TS 10303-1147:2019(E)
© ISO
|
This clause specifies the information requirements for the
Manufacturing configuration effectivity
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
Manufacturing_configuration_effectivity_arm
schema and identifies the necessary external references.
EXPRESS specification:
*)
SCHEMA Manufacturing_configuration_effectivity_arm;
(*
The following EXPRESS interface statements specify the elements
imported from the ARMs of other application modules.
EXPRESS specification:
*)
USE FROM
Configuration_effectivity_arm;
--
ISO/TS 10303-1058
USE FROM
Person_organization_arm;
--
ISO/TS 10303-1011
USE FROM
Product_occurrence_arm;
--
ISO/TS 10303-1063
USE FROM
Specified_product_arm;
--
ISO/TS 10303-1104
(*
NOTE 1
The schemas referenced above are specified in the following
part of ISO 10303:
| Configuration_effectivity_arm |
ISO/TS 10303-1058 |
| Person_organization_arm |
ISO/TS 10303-1011 |
| Product_occurrence_arm |
ISO/TS 10303-1063 |
| Specified_product_arm |
ISO/TS 10303-1104 |
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.
A Dated_configuration is a type of Manufacturing_configuration whose effectivity domain is a time interval.
The interval of time during which the Product_specification has been, is, or will be produced.
EXPRESS specification:
*)
ENTITY Dated_configuration
SUBTYPE OF (Manufacturing_configuration);
SELF\Item_usage_effectivity.effectivity_domain : Dated_effectivity;
END_ENTITY;
(*
Attribute definitions:
effectivity_domain:
the Dated_effectivity that defines the effectivity domain.
A Lot_configuration is a type of Manufacturing_configuration whose effectivity domain is identified by a production lot identifier.
The lot is a production lot of the Product_specification under consideration.
EXPRESS specification:
*)
ENTITY Lot_configuration
SUBTYPE OF (Manufacturing_configuration);
SELF\Item_usage_effectivity.effectivity_domain : Lot_effectivity;
END_ENTITY;
(*
Attribute definitions:
effectivity_domain:
the Lot_effectivity that defines the effectivity domain.
A Manufacturing_configuration is a type of Item_usage_effectivity that specifies a condition for the use of a Product_occurrence
in a product represented by an instance of Product_specification.
Only specializations of Manufacturing_configuration shall be instantiated.
EXPRESS specification:
*)
ENTITY Manufacturing_configuration
ABSTRACT SUPERTYPE
OF (ONEOF (Serial_configuration,
Dated_configuration,
Lot_configuration))
SUBTYPE OF (Item_usage_effectivity);
concerned_organization : SET[0:?] OF Organization;
WHERE
WR1: ('MANUFACTURING_CONFIGURATION_EFFECTIVITY_ARM.' + 'PRODUCT_SPECIFICATION') IN TYPEOF(resolved_configuration.configuration);
WR2: ('PRODUCT_OCCURRENCE_ARM.' + 'PRODUCT_OCCURRENCE') IN
TYPEOF(item_usage_relationship\View_definition_relationship.related_view);
END_ENTITY;
(*
Attribute definitions:
concerned_organization:
the set of Organization for which the Manufacturing_configuration is valid.
In the case where the concerned_organization is an empty set, the Manufacturing_configuration is relevant to any organization that may consider the proposed product.
Formal propositions:
WR1:
The context for which the configuration conditions are characterized shall be a Product_specification.
WR2:
The object for which a conditional use case is specified shall be a Product_occurrence.
A Serial_configuration is a type of Manufacturing_configuration whose effectivity domain is an interval of serial numbers.
The serial numbers of the Product_specification under consideration are in the given interval of serial numbers.
EXPRESS specification:
*)
ENTITY Serial_configuration
SUBTYPE OF (Manufacturing_configuration);
SELF\Item_usage_effectivity.effectivity_domain : Serial_effectivity;
END_ENTITY;
(*
Attribute definitions:
effectivity_domain:
the Serial_effectivity that defines the effectivity domain.
*)
END_SCHEMA; -- Manufacturing_configuration_effectivity_arm
(*
© ISO 2019 — All rights reserved
