Application module: Model parameter ISO/TS 10303-1703:2018-11(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 type definitions
     5.2.2 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 Model_parameter_mim;

USE FROM Activity_method_assignment_mim;    --  ISO/TS 10303-1249

USE FROM Characteristic_mim;    --  ISO/TS 10303-1654

USE FROM Classification_with_attributes_mim;    --  ISO/TS 10303-1111

USE FROM Independent_property_representation_mim;    --  ISO/TS 10303-1038

USE FROM Group_mim;    --  ISO/TS 10303-1113

USE FROM product_definition_schema    --  ISO 10303-41
  (product_related_product_category);

USE FROM product_property_definition_schema    --  ISO 10303-41
  (characterized_definition);
(*

NOTE 1   The schemas referenced above are specified in the following part of ISO 10303:

Activity_method_assignment_mim ISO/TS 10303-1249
Characteristic_mim ISO/TS 10303-1654
Classification_with_attributes_mim ISO/TS 10303-1111
Independent_property_representation_mim ISO/TS 10303-1038
Group_mim ISO/TS 10303-1113
product_definition_schema ISO 10303-41
product_property_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 type definitions

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

5.2.1.1 mp_action_method_items   EXPRESS-G

The mp_action_method_items type is an extension of the action_method_items type. It adds the data type test_method_based_parameter_assignment to the list of alternate data types.

EXPRESS specification:

*)
TYPE mp_action_method_items = SELECT BASED_ON action_method_items WITH
   (test_method_based_parameter_assignment);
END_TYPE;
(*

5.2.1.2 mp_document_reference_item   EXPRESS-G

The mp_document_reference_item type is an extension of the document_reference_item type. It adds the data type model_parameter to the list of alternate data types.

EXPRESS specification:

*)
TYPE mp_document_reference_item = SELECT BASED_ON document_reference_item WITH
   (model_parameter);
END_TYPE;
(*

5.2.1.3 mp_groupable_item   EXPRESS-G

The mp_groupable_item type is an extension of the groupable_item type. It adds the data type group_relationship to the list of alternate data types.

EXPRESS specification:

*)
TYPE mp_groupable_item = SELECT BASED_ON groupable_item WITH
   (group_relationship);
END_TYPE;
(*

5.2.1.4 parameter_assignment_select   EXPRESS-G

The parameter_assignment_select type is an extensible list of alternate data types that allows for the designation of the data type model_parameter.

NOTE   The list of entity data types may be extended in application modules that use the constructs of this module.

EXPRESS specification:

*)
TYPE parameter_assignment_select = EXTENSIBLE GENERIC_ENTITY SELECT
   (model_parameter);
END_TYPE;
(*

5.2.2 MIM entity definitions

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

5.2.2.1 category_model_parameter   EXPRESS-G

A category_model_parameter is a type of model_parameter that implements the ARM concept of Category_model_parameter.

EXPRESS specification:

*)
ENTITY category_model_parameter
  SUBTYPE OF (model_parameter);
END_ENTITY;
(*

5.2.2.2 default_value_property_definition_representation   EXPRESS-G

A default_value_property_definition_representation is a type of property_definition_representation.

EXPRESS specification:

*)
ENTITY default_value_property_definition_representation
  SUBTYPE OF (property_definition_representation);
END_ENTITY;
(*

5.2.2.3 model_parameter   EXPRESS-G

A model_parameter is a type of descriptive_representation_item, of group_assignment and of general_property that implements the ARM concept of Model_parameter.

EXPRESS specification:

*)
ENTITY model_parameter
  SUBTYPE OF (general_property);
END_ENTITY;
(*

5.2.2.4 model_parameter_with_unit   EXPRESS-G

A model_parameter_with_unit is a type of model_parameter that implements the ARM concept of Model_parameter_with_unit.

EXPRESS specification:

*)
ENTITY model_parameter_with_unit
  SUBTYPE OF (model_parameter);
WHERE
  WR1: NOT ('MODEL_PARAMETER_MIM.SCHEMA_BASED_MODEL_PARAMETER' IN TYPEOF(SELF));
END_ENTITY;
(*

Formal propositions:

WR1: A model_parameter_with_unit shall not also be a schema_based_model_parameter.

5.2.2.5 parameter_assignment   EXPRESS-G

A parameter_assignment is a type of property_definition_representation and of representation.

EXPRESS specification:

*)
ENTITY parameter_assignment
  SUBTYPE OF (property_definition_representation, representation);
  SELF\property_definition_representation.definition : parameter_assignment_select;
END_ENTITY;
(*

Attribute definitions:

definition: an attribute inherited from property_definition_representation that shall be of type model_parameter.

5.2.2.6 parameter_assignment_override   EXPRESS-G

A parameter_assignment_override is a type of representation and of representation_relationship that implements the ARM concept of Parameter_assignment_override. The attribute rep_1 inherited from representation_relationship references the parameter assignment that is being overridden. The attribute rep_2 inherited from representation_relationship reference the replacing attribute.

EXPRESS specification:

*)
ENTITY parameter_assignment_override
  SUBTYPE OF (representation, representation_relationship);
  SELF\representation_relationship.rep_1 : parameter_assignment;
  SELF\representation_relationship.rep_2 : parameter_assignment;
UNIQUE
  UR1: rep_1, rep_2;
WHERE
  WR1: SELF\representation_relationship.rep_1 <> SELF\representation_relationship.rep_2;
END_ENTITY;
(*

Attribute definitions:

rep_1: specifies a role of the parameter_assignment for the parameter_assignment_override.

rep_2: specifies a role of the parameter_assignment for the parameter_assignment_override.

Formal propositions:

UR1: The combination of rep_1 and rep_2 shall be unique within a population of parameter_assignment_override.

WR1: The parameter_assignment_override shall only be a representation, or representation_relationship, in addition to itself.

5.2.2.7 product_specific_parameter_value_assignment   EXPRESS-G

A product_specific_parameter_value_assignment is a type of characterized_object and of product_related_product_category that implements the ARM concept of Product_specific_parameter_value_assignment.

EXPRESS specification:

*)
ENTITY product_specific_parameter_value_assignment
  SUBTYPE OF (characterized_object, product_related_product_category);
END_ENTITY;
(*

5.2.2.8 schema_based_model_parameter   EXPRESS-G

A schema_based_model_parameter is a type of model_parameter that implements the ARM concept of Schema_based_model_parameter.

EXPRESS specification:

*)
ENTITY schema_based_model_parameter
  SUBTYPE OF (model_parameter);
END_ENTITY;
(*

5.2.2.9 test_method_based_parameter_assignment   EXPRESS-G

A test_method_based_parameter_assignment is a type of parameter_assignment.

EXPRESS specification:

*)
ENTITY test_method_based_parameter_assignment
  SUBTYPE OF (parameter_assignment);
END_ENTITY;
(*

5.2.2.10 valid_range_property_definition_representation   EXPRESS-G

A valid_range_property_definition_representation is a type of property_definition_representation.

EXPRESS specification:

*)
ENTITY valid_range_property_definition_representation
  SUBTYPE OF (property_definition_representation);
END_ENTITY;
(*



*)
END_SCHEMA;  -- Model_parameter_mim
(*


© ISO 2018 — All rights reserved