Application module: Planned characteristic | ISO/TS 10303-1733:2019(E) © ISO |
This clause specifies the information requirements for the Planned characteristic 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 Planned_characteristic_arm schema and identifies the necessary external references.
EXPRESS specification:
*)
SCHEMA Planned_characteristic_arm;
(*
The following EXPRESS interface statements specify the elements imported from the ARMs of other application modules.
EXPRESS specification:
*)
USE FROM
Group_arm;
--
ISO/TS 10303-1113
USE FROM
Production_rule_arm;
--
ISO/TS 10303-1739
USE FROM
Requirement_assignment_arm;
--
ISO/TS 10303-1233
USE FROM
Process_plan_arm;
--
ISO/TS 10303-1803
(*
NOTE 1 The schemas referenced above are specified in the following part of ISO 10303:
Group_arm ISO/TS 10303-1113 Production_rule_arm ISO/TS 10303-1739 Requirement_assignment_arm ISO/TS 10303-1233 Process_plan_arm ISO/TS 10303-1803
NOTE 2 See Annex C, Figures C.1and C.2 for a graphical representation of this schema.
This subclause specifies the ARM types for this application module. The ARM types and definitions are specified below.
EXPRESS specification:
*)
TYPE
evaluation_result_value =
ENUMERATION
OF
(pass,
fail,
undefined);
END_TYPE;
(*
Enumerated item definitions:
pass: specifies that evaluation has passed;
fail: specifies that evaluation has failed;
undefined: specifies that evaluation result is undefined.
EXPRESS specification:
*)
TYPE
evaluation_type =
ENUMERATION
OF
(not_evaluatable,
invalid,
valid,
to_be_evaluated);
END_TYPE;
(*
Enumerated item definitions:
not_evaluatable: specifies that evaluation is not evaluable;
invalid: specifies that evaluation is invalid;
valid: specifies that evaluation is valid;
to_be_evaluated: specifies that evaluation has to be performed.
The evaluation_activity_select type allows for the designation of the data types Activity and Process_operation_occurrence.
EXPRESS specification:
*)
TYPE
evaluation_activity_select =
SELECT
(Activity,
Process_operation_occurrence);
END_TYPE;
(*
The pc_groupable_item type is an extension of the groupable_item type. It adds the data type Evaluated_characteristic to the list of alternate data types.
EXPRESS specification:
*)
TYPE
pc_groupable_item =
SELECT
BASED_ON
groupable_item
WITH
(Evaluated_characteristic);
END_TYPE;
(*
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.
EXPRESS specification:
*)
ENTITY Evaluated_characteristic
SUPERTYPE OF (Rule_based_evaluated_characteristic);
id :
OPTIONAL
STRING;
name :
OPTIONAL
STRING;
description :
OPTIONAL
STRING;
planned_product_data : Planned_characteristic;
measured_product_data : Measured_characteristic;
product_data_status : evaluation_type;
evaluation_result : evaluation_result_value;
evaluation_activity :
OPTIONAL
evaluation_activity_select;
END_ENTITY;
(*
Attribute definitions:
id: the identifier for the for the Evaluated_characteristic. TThe value of this attribute need not be specified
name: the word or words by which the the Evaluated_characteristic is known. The value of this attribute need not be specified.
description: text that provides additional information about the Evaluated_characteristic. The value of this attribute need not be specified
planned_product_data: specifies a role of the Planned_characteristic for an Evaluated_characteristic.
measured_product_data: specifies a role of the Measured_characteristic for an Evaluated_characteristic.
product_data_status: specifies the evaluation_type for the Evaluated_characteristic. The product_data_status provides a status of valid, invalid, not_evaluatable, or to_be_evaluated for an Evaluated_characteristic.
evaluation_result: specifies the evaluation_result_value for the Evaluated_characteristic.
evaluation_activity: specifies the evaluation_activity_select for the Evaluated_characteristic. The value of this attribute need not be specified
NOTE Each evaluation included is for the same Product_view_definition.
EXPRESS specification:
*)
ENTITY Evaluation_view_definition
SUBTYPE OF (Product_view_definition);
evaluated_product_definition : Product_view_definition;
evaluation_data : SET[1:?] OF Evaluated_characteristic;
WHERE
WR1: TYPEOF(SELF) <> TYPEOF(evaluated_product_definition);
END_ENTITY;
(*
Attribute definitions:
evaluated_product_definition: specifies a role of the Product_view_definition for the Evaluation_view_definition.
evaluation_data: specifies a role of the Evaluated_characteristic for the Evaluation_view_definition. There shall exist more than one Evaluated_characteristic for the Evaluation_view_definition.
Formal propositions:
WR1: The type of Evaluation_view_definition instance shall not be the same as type of evaluated_product_definition.
EXPRESS specification:
*)
ENTITY Planned_characteristic;
reference_requirement : Requirement_assignment;
planned_coordinated_characteristic : Property_representation;
WHERE
WR1: planned_coordinated_characteristic.property.described_element :=: reference_requirement.assigned_requirement;
END_ENTITY;
(*
Attribute definitions:
reference_requirement: specifies the Requirement_assignment for the Planned_characteristic.
planned_coordinated_characteristic: specifies a role of the Property_value_representation for the Planned_characteristic.
Formal propositions:
WR1: The requirement referenced by reference_requirement shall be the same instance that is referenced by planned_coordinated_characteristic.
NOTE WR1 states that the property referenced by Planned_characteristic will be assigned to the requirement referenced by Planned_characteristic.
EXPRESS specification:
*)
ENTITY Measured_characteristic;
id :
OPTIONAL
STRING;
description :
OPTIONAL
STRING;
measurement_activity :
OPTIONAL
evaluation_activity_select;
measured_coordinated_characteristic : Property_representation;
END_ENTITY;
(*
Attribute definitions:
id: specifies the identifier for the Measured_characteristic. The value of this attribute need not be specified.
description: specifies the description for the Measured_characteristic. The value of this attribute need not be specified.
measurement_activity: specifies the evaluation_activity_select for the Measured_characteristic. The value of this attribute need not be specified.
measured_coordinated_characteristic: specifies a role of the Property_value_representation for the Measured_characteristic.
EXPRESS specification:
*)
ENTITY Rule_based_evaluated_characteristic
SUBTYPE OF (Evaluated_characteristic);
evaluating_rule : Rule_definition;
END_ENTITY;
(*
Attribute definitions:
evaluating_rule: specifies the Rule_definition for a Rule_based_evaluated_characteristic.
*)
END_SCHEMA; -- Planned_characteristic_arm
(*
© ISO 2019 — All rights reserved