Application module: Model parameter | ISO/TS 10303-1703:2018-11(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:
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.
This subclause specifies the MIM types for this application module. The MIM types and definitions are specified below.
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;
(*
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;
(*
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;
(*
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;
(*
This subclause specifies the MIM entities for this module. The MIM entities and definitions are specified below.
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;
(*
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;
(*
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;
(*
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.
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.
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.
EXPRESS specification:
*)
ENTITY product_specific_parameter_value_assignment
SUBTYPE OF (characterized_object, product_related_product_category);
END_ENTITY;
(*
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;
(*
EXPRESS specification:
*)
ENTITY test_method_based_parameter_assignment
SUBTYPE OF (parameter_assignment);
END_ENTITY;
(*
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