Application module: Analytical model | ISO/TS 10303-1603:2019(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 Analytical_model_mim;
USE FROM
date_time_schema
--
ISO 10303-41
(date_time_role,
date_role);
USE FROM
Document_structure_mim;
--
ISO/TS 10303-1124
USE FROM
Model_parameter_mim;
--
ISO/TS 10303-1703
USE FROM
Part_template_mim;
--
ISO/TS 10303-1722
USE FROM
product_definition_schema
--
ISO 10303-41
(product_related_product_category);
USE FROM
Product_view_definition_relationship_mim;
--
ISO/TS 10303-1041
USE FROM
Software_mim;
--
ISO/TS 10303-1746
(*
NOTE 1 The schemas referenced above are specified in the following part of ISO 10303:
date_time_schema ISO 10303-41 Document_structure_mim ISO/TS 10303-1124 Model_parameter_mim ISO/TS 10303-1703 Part_template_mim ISO/TS 10303-1722 product_definition_schema ISO 10303-41 Product_view_definition_relationship_mim ISO/TS 10303-1041 Software_mim ISO/TS 10303-1746
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 am_document_reference_item type is an extension of the document_reference_item type. It adds the data type analytical_model_definition to the list of alternate data types.
NOTE The list of entity data types may be extended in application modules that use the constructs of this module.
EXPRESS specification:
*)
TYPE
am_document_reference_item =
EXTENSIBLE
GENERIC_ENTITY
SELECT
BASED_ON
document_reference_item
WITH
(analytical_model_definition);
END_TYPE;
(*
The am_external_identification_item type is an extension of the external_identification_item type. It adds the data type digital_analytical_model_vector_port to the list of alternate data types.
NOTE The list of entity data types may be extended in application modules that use the constructs of this module.
EXPRESS specification:
*)
TYPE
am_external_identification_item =
EXTENSIBLE
GENERIC_ENTITY
SELECT
BASED_ON
external_identification_item
WITH
(digital_analytical_model_vector_port);
END_TYPE;
(*
The am_parameter_assignment_select type is an extension of the parameter_assignment_select type. It adds the data type analytical_model_parameter to the list of alternate data types.
EXPRESS specification:
*)
TYPE
am_parameter_assignment_select =
SELECT
BASED_ON
parameter_assignment_select
WITH
(analytical_model_parameter);
END_TYPE;
(*
This subclause specifies the MIM entities for this module. The MIM entities and definitions are specified below.
EXPRESS specification:
*)
ENTITY across_port_variable
SUBTYPE OF (port_variable);
END_ENTITY;
(*
EXPRESS specification:
*)
ENTITY analog_analytical_model_port
SUBTYPE OF (analytical_model_port);
END_ENTITY;
(*
An analytical_model_definition is a type of product_definition that implements the ARM concept of Analytical_model_definition.
EXPRESS specification:
*)
ENTITY analytical_model_definition
SUBTYPE OF (product_definition);
END_ENTITY;
(*
An analytical_model_make_from_relationship is a type of product_definition_relationship that implements the ARM concept of Analytical_model_make_from_relationship.
EXPRESS specification:
*)
ENTITY analytical_model_make_from_relationship
SUBTYPE OF (product_definition_relationship);
SELF\product_definition_relationship.relating_product_definition : analytical_model_definition;
SELF\product_definition_relationship.related_product_definition : analytical_model_definition;
UNIQUE
UR1:
SELF\product_definition_relationship.relating_product_definition,
SELF\product_definition_relationship.related_product_definition;
END_ENTITY;
(*
Attribute definitions:
relating_product_definition: specifies a role of the analytical_model_definition for the analytical_model_make_from_relationship.
related_product_definition: specifies a role of the analytical_model_definition for the analytical_model_make_from_relationship.
Formal propositions:
UR1: The combination of relating_product_definition and related_product_definition shall be unique within a population of analytical_model_make_from_relationship.
A analytical_model_parameter is a type of property_definition that implements the ARM concept of Analytical_model_parameter.
EXPRESS specification:
*)
ENTITY analytical_model_parameter
SUBTYPE OF (property_definition);
END_ENTITY;
(*
EXPRESS specification:
*)
ENTITY analytical_model_port
SUBTYPE OF (property_definition, property_definition_representation, representation);
DERIVE
SELF\property_definition_representation.definition : property_definition := SELF;
SELF\property_definition_representation.used_representation : representation := SELF;
END_ENTITY;
(*
Attribute definitions:
definition: an attribute inherited from the property_definition_representation shall be redeclared as the property_definition for the analytical_model_port.
used_representation: an attribute inherited from the property_definition_representation shall be redeclared as the representation for the analytical_model_port.
EXPRESS specification:
*)
ENTITY analytical_model_port_assignment
SUBTYPE OF (property_definition_representation, representation_relationship);
SELF\property_definition_representation.used_representation : analytical_model_port;
SELF\representation_relationship.rep_1 : analytical_representation;
DERIVE
SELF\representation_relationship.rep_2 : analytical_model_port := SELF\property_definition_representation.used_representation;
END_ENTITY;
(*
Attribute definitions:
used_representation: an attribute inherited from the property_definition_representation shall be redeclared as the analytical_model_port for the analytical_model_port_assignment.
rep_1: an attribute inherited from the representation_relationship shall be redeclared as the analytical_representation for the analytical_model_port_assignment.
rep_2: an attribute inherited from the representation_relationship shall be redeclared as the analytical_model_port for the analytical_model_port_assignment.
EXPRESS specification:
*)
ENTITY analytical_model_scalar_port
SUBTYPE OF (analytical_model_vector_port);
END_ENTITY;
(*
EXPRESS specification:
*)
ENTITY analytical_model_vector_port
SUBTYPE OF (analytical_model_port, compound_representation_item);
END_ENTITY;
(*
An analytical_representation is a type of representation that implements the ARM concept of Analytical_model_application. An analytical_representation associates specific properties with an analytical_model_definition.
EXPRESS specification:
*)
ENTITY analytical_representation
SUBTYPE OF (representation);
UNIQUE
UR1:
SELF\representation.name;
END_ENTITY;
(*
Formal propositions:
UR1: The name shall be unique within a population of analytical_representation.
EXPRESS specification:
*)
ENTITY digital_analytical_model_port
SUBTYPE OF (analytical_model_port);
END_ENTITY;
(*
EXPRESS specification:
*)
ENTITY digital_analytical_model_scalar_port
SUBTYPE OF (digital_analytical_model_vector_port, analytical_model_scalar_port);
END_ENTITY;
(*
EXPRESS specification:
*)
ENTITY digital_analytical_model_vector_port
SUBTYPE OF (analytical_model_vector_port);
END_ENTITY;
(*
EXPRESS specification:
*)
ENTITY make_from_model_port_relationship
SUBTYPE OF (representation, representation_relationship);
SELF\representation_relationship.rep_1 : analytical_model_port;
SELF\representation_relationship.rep_2 : analytical_model_port;
UNIQUE
UR1:
SELF\representation_relationship.rep_1,
SELF\representation_relationship.rep_2;
WHERE
WR1: rep_1 :<>: rep_2;
END_ENTITY;
(*
Attribute definitions:
rep_1: specifies a role of the analytical_model_port for the make_from_model_port_relationship.
rep_2: specifies a role of the analytical_model_port for the make_from_model_port_relationship.
Formal propositions:
UR1: The combination of rep_1 and rep_2 shall be unique within a population of the make_from_model_port_relationship.
WR1: The rep_2 shall not be equal to rep_1.
EXPRESS specification:
*)
ENTITY port_variable
SUPERTYPE OF (ONEOF (across_port_variable,
through_port_variable,
transform_port_variable))
SUBTYPE OF (representation, representation_item);
END_ENTITY;
(*
EXPRESS specification:
*)
ENTITY through_port_variable
SUBTYPE OF (port_variable);
END_ENTITY;
(*
EXPRESS specification:
*)
ENTITY transform_port_variable
SUBTYPE OF (port_variable);
END_ENTITY;
(*
*)
END_SCHEMA; -- Analytical_model_mim
(*
© ISO 2019 — All rights reserved