Application module: Cardinality of relationship | ISO/TS 10303-1211:2005(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:
*)
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.
This subclause specifies the MIM type for this application module. The MIM type and definition is specified below.
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;
(*
This subclause specifies the MIM entities for this module. The MIM entities and definitions are specified below.
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.
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