Application module: Document assignment | ISO/TS 10303-1122:2018-11(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:
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 Document_assignment_mim;
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.
This subclause specifies the MIM type for this application module. The MIM type and definition is specified below.
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;
(*
This subclause specifies the MIM entities for this module. The MIM entities and definitions are specified below.
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.
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.
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.
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.
EXPRESS specification:
*)
SUBTYPE_CONSTRAINT subtype_mandatory_document_product_association FOR document_product_association;
ABSTRACT SUPERTYPE;
END_SUBTYPE_CONSTRAINT;
(*
*)
END_SCHEMA; -- Document_assignment_mim
(*
© ISO 2018 — All rights reserved