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.

Short names of entities defined in this schema are described in Annex A. Unambiguous identification of this schema is defined in Annex B.

USE FROM Document_and_version_identification_mim;    --  ISO/TS 10303-1121



USE FROM Document_definition_mim;    --  ISO/TS 10303-1123



USE FROM document_schema    --  ISO 10303-41
  (document_product_association);



USE FROM File_identification_mim;    --  ISO/TS 10303-1127



USE FROM management_resources_schema    --  ISO 10303-41
  (document_reference,
   document_usage_constraint_assignment);



USE FROM basic_attribute_schema    --  ISO 10303-41
  (role_association,
   object_role);
(*



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

Document_and_version_identification_mim	ISO/TS 10303-1121
Document_definition_mim	ISO/TS 10303-1123
document_schema	ISO 10303-41
File_identification_mim	ISO/TS 10303-1127
management_resources_schema	ISO 10303-41
basic_attribute_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 document_reference_item   

The document_reference_item type is an extensible list of alternate data types. Additional alternate data types are specified in select data types that extend the document_reference_item type.

NOTE   This empty extensible select requires extension in a further module to ensure that entities that refer to it have at least one valid instantiation.

A document_reference_item is a type that specifies those objects to which a document_reference or a document_usage_constraint may be assigned through an applied_document_reference or applied_document_usage_constraint_assignment respectively.

EXPRESS specification:

*)
TYPE document_reference_item = EXTENSIBLE GENERIC_ENTITY 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 applied_document_reference   

An applied_document_reference is a type of document_reference that assigns a document to a set of document_reference_item.

EXPRESS specification:

*)
ENTITY applied_document_reference
  SUBTYPE OF (document_reference);
  items : SET[1:?] OF document_reference_item;
END_ENTITY;
(*

Attribute definitions:

items: the product or activity data to which the document is assigned.

5.2.2.2 applied_document_usage_constraint_assignment   

An applied_document_usage_constraint_assignment is a type of applied_document_usage_constraint_assignment that assigns a document_usage_constraint to a set of document_reference_item.

The document_usage_constraint identifies a specific subject area or aspect from within a document and gives the relevant information or text that applies.

NOTE    The applied_document_usage_constraint_assignment entity may be used to identify the clause of a document and the content or portions of the content in that clause that are relevant for particular product or activity data.

EXPRESS specification:

*)
ENTITY applied_document_usage_constraint_assignment
  SUBTYPE OF (document_usage_constraint_assignment);
  items : SET[1:?] OF document_reference_item;
END_ENTITY;
(*

Attribute definitions:

items: the product or activity data to which the partial document is assigned.

5.2.2.3 document_product_equivalence   

A document_product_equivalence is a type of document_product_association. It specifies the equivalence of an instance of product, product_definition, or of product_definition_formation with an instance of document.

EXPRESS specification:

*)
ENTITY document_product_equivalence
  SUBTYPE OF (document_product_association);
WHERE
  WR1: SELF\document_product_association.name = 'equivalence';
  WR2: NOT ('PRODUCT_DEFINITION_SCHEMA.PRODUCT' IN TYPEOF(SELF\document_product_association.related_product)) OR ((SELF\document_product_association.relating_document.kind.product_data_type = 'configuration controlled document') AND (SIZEOF(QUERY(prpc <* USEDIN(SELF\document_product_association.related_product, 'PRODUCT_DEFINITION_SCHEMA.' + 'PRODUCT_RELATED_PRODUCT_CATEGORY.PRODUCTS') | prpc.name = 'document')) = 1));
  WR3: NOT ('PRODUCT_DEFINITION_SCHEMA.PRODUCT_DEFINITION_FORMATION' IN TYPEOF(SELF.related_product)) OR ((SELF\document_product_association.relating_document.kind.product_data_type = 'configuration controlled document version') AND (SIZEOF(QUERY(prpc <* USEDIN(SELF.related_product\product_definition_formation.of_product, 'PRODUCT_DEFINITION_SCHEMA.PRODUCT_RELATED_PRODUCT_CATEGORY.PRODUCTS') | prpc.name = 'document')) = 1));
  WR4: NOT ('PRODUCT_DEFINITION_SCHEMA.PRODUCT_DEFINITION' IN TYPEOF(SELF.related_product)) OR ((SELF\document_product_association.relating_document.kind.product_data_type = 'configuration controlled document definition') AND (SIZEOF(QUERY(prpc <* USEDIN(SELF\document_product_association.related_product\product_definition.formation.of_product, 'PRODUCT_DEFINITION_SCHEMA.PRODUCT_RELATED_PRODUCT_CATEGORY.PRODUCTS') | prpc.name = 'document')) = 1));
END_ENTITY;
(*

Formal propositions:

WR1: The name of the document_product_association shall be 'equivalence'.

WR2: If the related_product is a product then the relating_document shall have a document_type with product_data_type 'configuration controlled document' and there is exactly one product_related_product_category with a name of 'document' for the product.

WR3: If the related_product is a product_definition_formation then the relating_document shall have a document_type with product_data_type 'configuration controlled document version' and there is exactly one product_related_product_category with a name of 'document' for the product of the related product_definition_formation.

WR4: If the related_product is a product_definition then the relating_document shall have a document_type with product_data_type 'configuration controlled document definition' and there is exactly one product_related_product_category with a name of 'document' for the product of the related product_definition.

5.2.3 MIM subtype constraint definition

This subclause specifies the MIM subtype constraint for this module. The subtype constraint places a constraint on the possible super-type / subtype instantiations. The MIM subtype constraint and definition is specified below.

5.2.3.1 subtype_mandatory_document_product_association   

EXPRESS specification:

*)
SUBTYPE_CONSTRAINT subtype_mandatory_document_product_association FOR document_product_association;
  ABSTRACT SUPERTYPE;
END_SUBTYPE_CONSTRAINT;
(*

© ISO 2018 — All rights reserved