Application module: Cardinality of relationship ISO/TS 10303-1211:2005(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 Cardinality_of_relationship_mim;

USE FROM Maths_space_mim;    --  ISO/TS 10303-1091

USE FROM mathematical_context_schema    --  ISO 10303-51
  (space_context_select,
   maths_space_context);
(*

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

Maths_space_mim ISO/TS 10303-1091
mathematical_context_schema ISO 10303-51

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

A relationship_select is a relationship for which cardinality is specified.

EXPRESS specification:

*)
TYPE relationship_select = EXTENSIBLE SELECT BASED_ON space_context_select;
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 cardinality_of_related_class   EXPRESS-G

A cardinality_of_related_class is an maths_space_context that is a Cardinality_of_related_class (as defined in the ARM).

EXPRESS specification:

*)
ENTITY cardinality_of_related_class
  SUBTYPE OF (maths_space_context);
  SELF\maths_space_context.physical_space : relationship_select;
END_ENTITY;
(*

Attribute definitions:

physical_space: the relationship for which the maths_space is the allowed cardinality.

5.2.2.2 cardinality_of_relating_class   EXPRESS-G

A cardinality_of_relating_class is an maths_space_context that is a Cardinality_of_relating_class (as defined in the ARM).

EXPRESS specification:

*)
ENTITY cardinality_of_relating_class
  SUBTYPE OF (maths_space_context);
  SELF\maths_space_context.physical_space : relationship_select;
END_ENTITY;
(*

Attribute definitions:

physical_space: the relationship for which the maths_space is the allowed cardinality.



*)
END_SCHEMA;  -- Cardinality_of_relationship_mim
(*


© ISO 2005 — All rights reserved