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