Application module: Signal ISO/TS 10303-1745:2006(E)
© ISO

Cover page
Table of contents
Copyright
Foreword
Introduction
1 Scope
2 Normative references
3 Terms, definitions and abbreviations

4 Information requirements
   4.1 Required AM ARM
   4.2 ARM type definition
   4.3 ARM entity definitions
5 Module interpreted model
   5.1 Mapping specification
   5.2 MIM EXPRESS short listing
     5.2.1 MIM type definition
     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
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:

EXPRESS specification:

*)
SCHEMA Signal_mim;

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

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

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

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

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



*)
END_SCHEMA;  -- Signal_mim
(*


© ISO 2006 — All rights reserved