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:

• 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.

USE FROM Characteristic_mim;    --  ISO/TS 10303-1654



USE FROM product_property_definition_schema    --  ISO 10303-41
  (characterized_object,
   property_definition);



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



USE FROM group_schema    --  ISO 10303-41
  (group);



USE FROM document_schema    --  ISO 10303-41
  (document_usage_constraint);
(*



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

Characteristic_mim	ISO/TS 10303-1654
product_property_definition_schema	ISO 10303-41
material_property_definition_schema	ISO 10303-45
group_schema	ISO 10303-41
document_schema	ISO 10303-41

NOTE 2   See Annex D, Figures D.1and D.2 for a graphical representation of this schema.

5.2.1 MIM type definition

This subclause specifies the MIM type for this application module. The MIM type and definition is specified below.

5.2.1.1 s_external_identification_item   

The s_external_identification_item type is an extension of the external_identification_item type. It adds the data types composite_signal_property_relationship, property_definition and signal 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 s_external_identification_item = EXTENSIBLE GENERIC_ENTITY SELECT BASED_ON external_identification_item WITH
   (composite_signal_property_relationship,
    property_definition,
    signal);
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 composite_signal_property_relationship   

A composite_signal_property_relationship is a type of property_definition and of property_definition_relationship that implements the ARM concept of Composite_signal_property_relationship

EXPRESS specification:

*)
ENTITY composite_signal_property_relationship
  SUBTYPE OF (property_definition, property_definition_relationship);
WHERE
  WR1: SELF\property_definition_relationship.related_property_definition.definition :<>: SELF\property_definition_relationship.relating_property_definition.definition;
END_ENTITY;
(*

Formal propositions:

WR1: The composite_signal_property_relationship shall not relate to the same property_definition definition through the related and relating attributes.

5.2.2.2 signal   

A signal is a type of characterized_object that implements the ARM concept of Signal.

EXPRESS specification:

*)
ENTITY signal
  SUBTYPE OF (characterized_object);
END_ENTITY;
(*

5.2.2.3 signal_category   

A signal_category is a type of group that specifies the External_item_identification for a Signal_property.

EXPRESS specification:

*)
ENTITY signal_category
  SUBTYPE OF (group);
END_ENTITY;
(*

© ISO 2006 — All rights reserved