Application module: Property as definition ISO/TS 10303-1399: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 ARM
   4.2 ARM entity definition
5 Module interpreted model
   5.1 Mapping specification
   5.2 MIM EXPRESS short listing
     5.2.1 MIM entity definition

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 Property_as_definition_mim;

USE FROM Product_view_definition_properties_mim;    --  ISO/TS 10303-1034
(*

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

Product_view_definition_properties_mim ISO/TS 10303-1034

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

5.2.1 MIM entity definition

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

5.2.1.1 single_property_is_definition   EXPRESS-G

A single_property_is_definition is a type of property_definition that identifies this property as being the property_definition itself.

EXPRESS specification:

*)
ENTITY single_property_is_definition
  SUBTYPE OF (property_definition);
  SELF\property_definition.definition : product_definition;
UNIQUE
  UR1: definition;
END_ENTITY;
(*

Attribute definitions:

definition: the inherited attribute definition is constrained to be of type product_definition.

Formal propositions:

UR1: the described product_definition can only have one self-describing property.



*)
END_SCHEMA;  -- Property_as_definition_mim
(*


© ISO 2018 — All rights reserved