Application module: Functional usage view | ISO/TS 10303-1705: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 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.
This subclause specifies the MIM types for this application module. The MIM types and definitions are specified below.
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;
(*
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;
(*
This subclause specifies the MIM entities for this module. The MIM entities and definitions are specified below.
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.
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.
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.
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.
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