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