Application module: Functional usage view ISO/TS 10303-1705: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
   4.4 ARM function 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 Functional_usage_view_mim;

USE FROM Analytical_model_mim;    --  ISO/TS 10303-1603

USE FROM Network_functional_design_view_mim;    --  ISO/TS 10303-1704

USE FROM Shape_property_assignment_mim;    --  ISO/TS 10303-1032

USE FROM document_schema    --  ISO 10303-41
  (document_type);

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

USE FROM product_property_definition_schema    --  ISO 10303-41
  (shape_aspect,
   shape_aspect_relationship);

USE FROM material_property_definition_schema    --  ISO 10303-45
  (property_definition_relationship);
(*

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

Analytical_model_mim ISO/TS 10303-1603
Network_functional_design_view_mim ISO/TS 10303-1704
Shape_property_assignment_mim ISO/TS 10303-1032
document_schema ISO 10303-41
product_definition_schema ISO 10303-41
product_property_definition_schema ISO 10303-41
material_property_definition_schema ISO 10303-45

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

The fuuv_classification_item type is an extension of the classification_item type. It adds the data type functional_unit_terminal_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 fuuv_classification_item = EXTENSIBLE GENERIC_ENTITY SELECT BASED_ON classification_item WITH
   (functional_unit_terminal_definition);
END_TYPE;
(*

5.2.1.2 nfuv_groupable_item   EXPRESS-G

The nfuv_groupable_item type is an extension of the groupable_item type. It adds the data type shape_aspect 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 nfuv_groupable_item = EXTENSIBLE GENERIC_ENTITY SELECT BASED_ON groupable_item WITH
   (shape_aspect);
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 functional_terminal_group   EXPRESS-G

A functional_terminal_group is a type of group group that implements the ARM concept of Functional_terminal_group. A functional_terminal_group specifies a type for the terminals assigned to the group.

EXPRESS specification:

*)
ENTITY functional_terminal_group
  SUBTYPE OF (group);
UNIQUE
  UR1: SELF\group.name;
END_ENTITY;
(*

Formal propositions:

UR1: The name shall be unique within a population of functional_terminal_group.

5.2.2.2 functional_unit   EXPRESS-G

A functional_unit is a type of product_definition and a type of product_definition_shape. A functional_unit is the characterization of the functionality of an occurrence of an electrical device or of an abstract component. A functional_unit implements the ARM concepts of:

EXPRESS specification:

*)
ENTITY functional_unit
  SUBTYPE OF (product_definition, product_definition_shape);
DERIVE
  SELF\property_definition.definition : functional_unit := SELF;
WHERE
  WR1: SIZEOF (USEDIN (SELF, 'BASIC_ATTRIBUTE_SCHEMA.' +'NAME_ATTRIBUTE.NAMED_ITEM')) = 0;
  WR2: NOT EXISTS(SELF\property_definition.description);
END_ENTITY;
(*

Attribute definitions:

definition: an attribute inherited from the property_definition shall be redeclared as the functional_unit for the functional_unit.

Formal propositions:

WR1: No member of entity data type functional_unit shall be referenced by a member of entity data type name_attribute as a named_item.

WR2: The description shall not be populated.

5.2.2.3 functional_unit_terminal_definition   EXPRESS-G

A functional_unit_terminal_definition is a type of shape_aspect that implements the ARM concepts of Functional_unit_usage_view_terminal_definition and Scalar_terminal_definition.

EXPRESS specification:

*)
ENTITY functional_unit_terminal_definition
  SUBTYPE OF (shape_aspect);
  SELF\shape_aspect.of_shape : functional_unit;
UNIQUE
  UR1: SELF\shape_aspect.name, of_shape;
WHERE
  WR1: SELF\shape_aspect.product_definitional = FALSE;
END_ENTITY;
(*

Attribute definitions:

of_shape: an attribute inherited from the shape_aspect shall be redeclared as the functional_unit for the functional_unit_terminal_definition.

Formal propositions:

UR1: The name shall be unique within a population of of_shape.

WR1: The product_definitional shall be FALSE.

5.2.2.4 make_from_functional_unit_terminal_definition_relationship   EXPRESS-G

A make_from_functional_unit_terminal_definition_relationship is a type of shape_aspect and of shape_aspect_relationship that implements the ARM concept of Functional_unit_usage_view_terminal_definition_make_from_relationship.

EXPRESS specification:

*)
ENTITY make_from_functional_unit_terminal_definition_relationship
  SUBTYPE OF (shape_aspect, shape_aspect_relationship);
UNIQUE
  UR1: SELF\shape_aspect_relationship.relating_shape_aspect, SELF\shape_aspect_relationship.related_shape_aspect;
WHERE
  WR1: relating_shape_aspect.of_shape :<>: related_shape_aspect.of_shape;
  WR2: SELF\shape_aspect.product_definitional = FALSE;
END_ENTITY;
(*

Formal propositions:

UR1: The combination of relating_shape_aspect and related_shape_aspect shall be unique within a population of make_from_functional_unit_terminal_definition_relationships.

WR1: The make_from_functional_unit_terminal_definition_relationship shall have a relating_shape_aspect that is a functional_unit_terminal_definition.

WR2: The product_definitional shall be FALSE.

5.2.2.5 scalar_terminal_definition_link   EXPRESS-G

A scalar_terminal_definition_link is a type of shape_aspect and of shape_aspect_relationship that implements the ARM concept of Scalar_terminal_definition_link.

EXPRESS specification:

*)
ENTITY scalar_terminal_definition_link
  SUBTYPE OF (shape_aspect, shape_aspect_relationship);
  SELF\shape_aspect_relationship.relating_shape_aspect : functional_unit_terminal_definition;
UNIQUE
  UR1: SELF\shape_aspect_relationship.related_shape_aspect, relating_shape_aspect;
WHERE
  WR1: SELF\shape_aspect_relationship.related_shape_aspect :<>: SELF\shape_aspect_relationship.relating_shape_aspect;
END_ENTITY;
(*

Attribute definitions:

relating_shape_aspect: specifies a role of the functional_unit_terminal_definition for the scalar_terminal_definition_link.

Formal propositions:

UR1: The combination of related_shape_aspect and relating_shape_aspect shall be unique within a population of scalar_terminal_definition_links.

WR1: The related point shall not be the relating point.



*)
END_SCHEMA;  -- Functional_usage_view_mim
(*


© ISO 2018 — All rights reserved