|
|
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:
-
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 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.
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;
(*
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.
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.
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.
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.
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
