Application module: Analytical model ISO/TS 10303-1603:2019(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
   4.4 ARM rule 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 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.

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 am_document_reference_item   EXPRESS-G

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

5.2.1.2 am_external_identification_item   EXPRESS-G

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

5.2.1.3 am_parameter_assignment_select   EXPRESS-G

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

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 across_port_variable   EXPRESS-G

An across_port_variable is a type of port_variable that implements the ARM concept of Across_port_variable. An across_port_variable describes a variable for an interface point for an analytical_model_definition.

EXPRESS specification:

*)
ENTITY across_port_variable
  SUBTYPE OF (port_variable);
END_ENTITY;
(*

5.2.2.2 analog_analytical_model_port   EXPRESS-G

An analog_analytical_model_port is a type of analytical_model_port that implements the ARM concept of Analog_analytical_model_port. An analog_analytical_model_port describes an interface point for an analytical_model_definition.

EXPRESS specification:

*)
ENTITY analog_analytical_model_port
  SUBTYPE OF (analytical_model_port);
END_ENTITY;
(*

5.2.2.3 analytical_model_definition   EXPRESS-G

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

5.2.2.4 analytical_model_make_from_relationship   EXPRESS-G

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.

5.2.2.5 analytical_model_parameter   EXPRESS-G

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

5.2.2.6 analytical_model_port   EXPRESS-G

An analytical_model_port is a type of property_definition, property_definition_representation and representation that implements the ARM concept of Analytical_model_port. An analytical_model_port describes an interface point for an analytical_model_definition.

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.

5.2.2.7 analytical_model_port_assignment   EXPRESS-G

An analytical_model_port_assignment is a type of property_definition_representation and representation_relationship that implements the ARM concept of Analytical_model_port_assignment.

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.

5.2.2.8 analytical_model_scalar_port   EXPRESS-G

An analytical_model_scalar_port is a type of analytical_model_vector_port that implements the ARM concept of Analytical_model_scalar_port. An analytical_model_scalar_port describes an interface point for an analytical_model_definition.

EXPRESS specification:

*)
ENTITY analytical_model_scalar_port
  SUBTYPE OF (analytical_model_vector_port);
END_ENTITY;
(*

5.2.2.9 analytical_model_vector_port   EXPRESS-G

An analytical_model_vector_port is a type of analytical_model_port and compound_representation_item that implements the ARM concept of Analytical_model_vector_port. An analytical_model_vector_port describes an interface point for an analytical_model_definition.

EXPRESS specification:

*)
ENTITY analytical_model_vector_port
  SUBTYPE OF (analytical_model_port, compound_representation_item);
END_ENTITY;
(*

5.2.2.10 analytical_representation   EXPRESS-G

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.

5.2.2.11 digital_analytical_model_port   EXPRESS-G

A digital_analytical_model_port is a type of analytical_model_port that implements the ARM concept of Digital_analytical_model_port. A digital_analytical_model_port describes an interface point for an analytical_model_definition.

EXPRESS specification:

*)
ENTITY digital_analytical_model_port
  SUBTYPE OF (analytical_model_port);
END_ENTITY;
(*

5.2.2.12 digital_analytical_model_scalar_port   EXPRESS-G

A digital_analytical_model_scalar_port is a type of digital_analytical_model_vector_port and analytical_model_scalar_port that implements the ARM concept of Digital_analytical_model_scalar_port. A digital_analytical_model_scalar_port describes a variable for an interface point for an analytical_model_definition.

EXPRESS specification:

*)
ENTITY digital_analytical_model_scalar_port
  SUBTYPE OF (digital_analytical_model_vector_port, analytical_model_scalar_port);
END_ENTITY;
(*

5.2.2.13 digital_analytical_model_vector_port   EXPRESS-G

A digital_analytical_model_vector_port is a type of analytical_model_vector_port that implements the ARM concept of Digital_analytical_model_vector_port.

EXPRESS specification:

*)
ENTITY digital_analytical_model_vector_port
  SUBTYPE OF (analytical_model_vector_port);
END_ENTITY;
(*

5.2.2.14 make_from_model_port_relationship   EXPRESS-G

A make_from_model_port_relationship is a type of representation and representation_relationship that implements the ARM concept of Analytical_model_port_make_from_relationship.

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.

5.2.2.15 port_variable   EXPRESS-G

A port_variable is a type of representation and representation_item that implements the ARM concept of Port_variable. A port_variable describes a variable for an interface point for an analytical_model_definition. A port_variable may be one of an across_port_variable, a through_port_variable, or a transform_port_variable.

EXPRESS specification:

*)
ENTITY port_variable
  SUPERTYPE OF (ONEOF (across_port_variable,
                       through_port_variable,
                       transform_port_variable))
  SUBTYPE OF (representation, representation_item);
END_ENTITY;
(*

5.2.2.16 through_port_variable   EXPRESS-G

A through_port_variable is a type of port_variable that implements the ARM concept of Through_port_variable. A through_port_variable describes a variable for an interface point for an analytical_model_definition.

EXPRESS specification:

*)
ENTITY through_port_variable
  SUBTYPE OF (port_variable);
END_ENTITY;
(*

5.2.2.17 transform_port_variable   EXPRESS-G

A transform_port_variable is a type of port_variable that implements the ARM concept of Transform_port_variable. A transform_port_variable describes a variable for an interface point for an analytical_model_definition.

EXPRESS specification:

*)
ENTITY transform_port_variable
  SUBTYPE OF (port_variable);
END_ENTITY;
(*



*)
END_SCHEMA;  -- Analytical_model_mim
(*

© ISO 2019 — All rights reserved