Application module: Process plan | ISO/TS 10303-1803:2019(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:
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 Process_plan_mim;
USE FROM
action_schema
--
ISO 10303-41
(action,
action_method,
action_method_relationship,
action_resource);
USE FROM
Activity_method_mim;
--
ISO/TS 10303-1049
USE FROM
application_context_schema
--
ISO 10303-41
(application_context_element);
USE FROM
Item_definition_structure_mim;
--
ISO/TS 10303-1345
USE FROM
Product_view_definition_mim;
--
ISO/TS 10303-1019
USE FROM
Resource_item_mim;
--
ISO/TS 10303-1268
USE FROM
Support_resource_mim;
--
ISO/TS 10303-1800
USE FROM
Shape_property_assignment_mim;
--
ISO/TS 10303-1032
USE FROM
Specification_control_mim;
--
ISO/TS 10303-1112
USE FROM
Time_interval_assignment_mim;
--
ISO/TS 10303-1365
USE FROM
process_property_representation_schema
--
ISO 10303-49
(action_property_representation,
resource_property_representation);
USE FROM
process_property_schema
--
ISO 10303-49
(action_property,
action_resource_requirement,
process_product_association,
process_property_association,
product_definition_process,
property_process,
requirement_for_action_resource,
resource_property,
resource_requirement_type);
USE FROM
product_definition_schema
--
ISO 10303-41
(product,
product_definition,
product_definition_formation,
product_related_product_category);
(*
NOTE 1 The schemas referenced above are specified in the following part of ISO 10303:
action_schema ISO 10303-41 Activity_method_mim ISO/TS 10303-1049 application_context_schema ISO 10303-41 Item_definition_structure_mim ISO/TS 10303-1345 Product_view_definition_mim ISO/TS 10303-1019 Resource_item_mim ISO/TS 10303-1268 Support_resource_mim ISO/TS 10303-1800 Shape_property_assignment_mim ISO/TS 10303-1032 Specification_control_mim ISO/TS 10303-1112 Time_interval_assignment_mim ISO/TS 10303-1365 process_property_representation_schema ISO 10303-49 process_property_schema ISO 10303-49 product_definition_schema ISO 10303-41
NOTE 2 See Annex D, Figures D.1and D.2 for a graphical representation of this schema.
This subclause specifies the MIM entities for this module. The MIM entities and definitions are specified below.
EXPRESS specification:
*)
ENTITY process_operation
SUBTYPE OF (action_method);
END_ENTITY;
(*
EXPRESS specification:
*)
ENTITY process_plan
SUBTYPE OF (action);
WHERE
WR1: SIZEOF( QUERY( ar <* USEDIN(SELF,'ACTION_SCHEMA.' +
'ACTION_RELATIONSHIP.RELATED_ACTION') |
SIZEOF(['PROCESS_PLAN_MIM.PROCESS_PLAN',
'PROCESS_PLAN_MIM.PRODUCT_PROCESS_PLAN'] *
TYPEOF(ar.relating_action)) <> 1
)) = 0;
WR2: SIZEOF( QUERY( ar <* USEDIN(SELF,'ACTION_SCHEMA.' +
'ACTION_RELATIONSHIP.RELATING_ACTION') |
(SIZEOF(['PROCESS_PLAN_MIM.PROCESS_PLAN',
'PROCESS_PLAN_MIM.PRODUCT_PROCESS_PLAN'] *
TYPEOF(ar.related_action)) = 1) OR
((ar.name = 'process operation occurrence') AND
('PROCESS_PLAN_MIM.PROCESS_OPERATION' IN
TYPEOF(ar.related_action.chosen_method)))
)) =
SIZEOF(USEDIN(SELF,'ACTION_SCHEMA.' +
'ACTION_RELATIONSHIP.RELATING_ACTION'));
END_ENTITY;
(*
Formal propositions:
WR1: The process_plan shall only be referenced as the related_action by action_relationships that reference as the relating_action a process_plan or a product_process_plan.
WR2: The process_plan shall only be referenced as the relating_action by action_relationships that reference as the related_action a process_plan, or a product_process_plan, or by action_relationships that have a name of 'process operation occurrence' and that reference as the related_action an action that refers to a process_plan as its chosen_method.
EXPRESS specification:
*)
ENTITY product_definition_formation_resource
SUBTYPE OF (action_resource, product_definition_formation);
WHERE
WR1: SIZEOF( USEDIN(SELF,'PROCESS_PROPERTY_SCHEMA.' +
'REQUIREMENT_FOR_ACTION_RESOURCE.RESOURCES')
) > 0;
WR2: SIZEOF ( QUERY ( prpc <* USEDIN( SELF\product_definition_formation.of_product,
'PRODUCT_DEFINITION_SCHEMA.PRODUCT_RELATED_PRODUCT_CATEGORY.PRODUCTS' ) |
prpc.name ='part' ) ) <> 0;
WR3: SELF\action_resource.name = SELF\product_definition_formation.id;
WR4: SELF\action_resource.description = SELF\product_definition_formation.description;
END_ENTITY;
(*
Formal propositions:
WR1: A product_definition_formation_resource is contained in the set of resources of at least one requirement_for_action_resource.
WR2: A product_definition_formation_resource shall reference as its of_product a product that is referenced by a product_related_product_category with a name of 'part'.
WR3: A product_definition_formation_resource shall have the same name for both the product_definition_formation and the action_resource.
WR4: A product_definition_formation_resource shall have the same description for both the product_definition_formation and the action_resource.
EXPRESS specification:
*)
ENTITY product_definition_resource
SUBTYPE OF (action_resource, product_definition);
WHERE
WR1: SIZEOF( USEDIN(SELF,'PROCESS_PROPERTY_SCHEMA.' +
'REQUIREMENT_FOR_ACTION_RESOURCE.RESOURCES')
) > 0;
WR2: SELF\product_definition.frame_of_reference\application_context_element.name IN
['part definition','part occurrence','physical occurrence'];
WR3: SELF\action_resource.name = SELF\product_definition.name;
WR4: SELF\action_resource.description = SELF\product_definition.description;
END_ENTITY;
(*
Formal propositions:
WR1: A product_definition_resource is contained in the set of resources of at least one requirement_for_action_resource.
WR2: A product_definition_resource shall reference as its frame_of_reference an application_context_element with a name of 'part definition', 'part occurrence', or 'physical occurrence'.
WR3: A product_definition_resource shall have the same name for both the product_definition and the action_resource.
WR4: A product_definition_resource shall have the same description for both the product_definition and the action_resource.
EXPRESS specification:
*)
ENTITY product_process_plan
SUBTYPE OF (product_definition_process);
WHERE
WR1: SIZEOF( QUERY( ar <* USEDIN(SELF,'ACTION_SCHEMA.' +
'ACTION_RELATIONSHIP.RELATED_ACTION') |
SIZEOF(['PROCESS_PLAN_MIM.PROCESS_PLAN',
'PROCESS_PLAN_MIM.PRODUCT_PROCESS_PLAN'] *
TYPEOF(ar.relating_action)
) <> 1
)) = 0;
WR2: SIZEOF( QUERY( ar <* USEDIN(SELF,'ACTION_SCHEMA.' +
'ACTION_RELATIONSHIP.RELATING_ACTION') |
(SIZEOF(['PROCESS_PLAN_MIM.PROCESS_PLAN',
'PROCESS_PLAN_MIM.PRODUCT_PROCESS_PLAN'] *
TYPEOF(ar.related_action)) = 1) OR
((ar.name = 'process operation occurrence') AND
('PROCESS_PLAN_MIM.PROCESS_OPERATION' IN
TYPEOF(ar.related_action.chosen_method)))
)) =
SIZEOF(USEDIN(SELF,'ACTION_SCHEMA.' +
'ACTION_RELATIONSHIP.RELATING_ACTION'));
WR3: SIZEOF( QUERY( ppa <* USEDIN(SELF,'PROCESS_PROPERTY_SCHEMA.' +
'PROCESS_PRODUCT_ASSOCIATION.PROCESS') |
(ppa.name <> 'produced output') OR
NOT('PROCESS_PLAN_MIM.PRODUCT_DEFINITION' IN
TYPEOF(ppa.defined_product))
)) = 0;
END_ENTITY;
(*
Formal propositions:
WR1: The product_process_plan shall only be referenced as the related_action by action_relationships that reference as the relating_action a process_plan or a product_process_plan.
WR2: The product_process_plan shall only be referenced as the relating_action by action_relationships that reference as the related_action a process_plan or a product_process_plan, or by action_relationships that have a name of 'process operation occurrence' and that reference as the related_action an action that refers to a process_operation as its chosen_method.
WR3: The product_process_plan shall only be referenced as a process by process_product_associations that have a name of 'produced output' and that reference as defined_product a product_definition.
EXPRESS specification:
*)
ENTITY product_resource
SUBTYPE OF (action_resource, product);
WHERE
WR1: SIZEOF( USEDIN(SELF,'PROCESS_PROPERTY_SCHEMA.' +
'REQUIREMENT_FOR_ACTION_RESOURCE.RESOURCES')
) > 0;
WR2: SIZEOF ( QUERY ( prpc <* USEDIN ( SELF,
'PRODUCT_DEFINITION_SCHEMA.PRODUCT_RELATED_PRODUCT_CATEGORY.PRODUCTS' ) |
prpc.name ='part' ) ) <> 0;
WR3: SELF\action_resource.name = SELF\product.name;
WR4: SELF\action_resource.description = SELF\product.description;
END_ENTITY;
(*
Formal propositions:
WR1: A product_definition_resource is contained in the set of resources of at least one requirement_for_action_resource.
WR2: A product_resource shall be referenced by a product_related_product_category with a name of 'part'.
WR3: A product_resource shall have the same name for both the product and the action_resource.
WR4: A product_resource shall have the same description for both the product and the action_resource.
*)
END_SCHEMA; -- Process_plan_mim
(*
© ISO 2019 — All rights reserved