4 Information requirements

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.

4.1 Required AM ARMs

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.

4.2 ARM type definitions

This subclause specifies the ARM types for this application module. The ARM types and definitions are specified below.

4.2.1 evaluation_result_value   

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.

4.2.2 evaluation_type   

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.

4.2.3 evaluation_activity_select   

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

4.2.4 pc_groupable_item   

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

4.3 ARM entity definitions

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.

4.3.1 Evaluated_characteristic   

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

4.3.2 Evaluation_view_definition   

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.

4.3.3 Planned_characteristic   

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.

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

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

© ISO 2019 — All rights reserved