Application module: Process plan ISO/TS 10303-1803:2019(E)
© ISO

Cover page
Table of contents
Copyright
Foreword
Introduction
1 Scope
2 Normative references
3 Terms, definitions and abbreviated terms
    3.1 Terms and definitions
    3.2 Abbreviated terms

4 Information requirements
   4.1 Required AM ARMs
   4.2 ARM type definitions
   4.3 ARM entity definitions
5 Module interpreted model
   5.1 Mapping specification
   5.2 MIM EXPRESS short listing
     5.2.1 MIM entity definitions

A MIM short names
B Information object registration
C ARM EXPRESS-G   EXPRESS-G
D MIM EXPRESS-G   EXPRESS-G
E Computer interpretable listings
F Change history
Bibliography
Index

5.2 MIM EXPRESS short listing

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.

5.2.1 MIM entity definitions

This subclause specifies the MIM entities for this module. The MIM entities and definitions are specified below.

5.2.1.1 process_operation   EXPRESS-G

A process_operation is a type of action_method that implements the ARM concept of Process_operation_definition. A process_operation is the identification of a specific step in a process. It collects all information that is common for all occurrences of this particular step in the processes which make use of this step.

EXPRESS specification:

*)
ENTITY process_operation
  SUBTYPE OF (action_method);
END_ENTITY;
(*

5.2.1.2 process_plan   EXPRESS-G

A process_plan is a type of action that implements the ARM concept of Process_plan. A process_plan specifies the information necessary for manufacturing planning.

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.

5.2.1.3 product_definition_formation_resource   EXPRESS-G

A product_definition_formation_resource is a type of action_resource and a type of product_definition_formation that specifies a tool that is used to perform a process_operation.

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.

5.2.1.4 product_definition_resource   EXPRESS-G

A product_definition_resource is a type of action_resource and a type of product_definition that specifies a tool that is used to perform a process_operation.

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.

5.2.1.5 product_process_plan   EXPRESS-G

A product_process_plan is a type of product_definition_process that implements the ARM concept of Process_plan. A product_process_plan specifies the information necessary for manufacturing planning to realize or produce a product.

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.

5.2.1.6 product_resource   EXPRESS-G

A product_resource is a type of action_resource and a type of product that specifies a tool that is used to perform a process_operation.

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