Application module: Specification document | ISO/TS 10303-1747: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 Specification_document_mim;
USE FROM
Characteristic_mim;
--
ISO/TS 10303-1654
USE FROM
Configuration_item_mim;
--
ISO/TS 10303-1056
USE FROM
Tagged_text_representation_mim;
--
ISO/TS 10303-1366
USE FROM
document_schema
--
ISO 10303-41
(document_type);
USE FROM
management_resources_schema
--
ISO 10303-41
(group_assignment);
USE FROM
date_time_schema
--
ISO 10303-41
(date_time_role);
USE FROM
product_definition_schema
--
ISO 10303-41
(product_definition_formation_relationship);
USE FROM
product_property_representation_schema
--
ISO 10303-41
(item_identified_representation_usage);
(*
NOTE 1 The schemas referenced above are specified in the following part of ISO 10303:
Characteristic_mim ISO/TS 10303-1654 Configuration_item_mim ISO/TS 10303-1056 Tagged_text_representation_mim ISO/TS 10303-1366 document_schema ISO 10303-41 management_resources_schema ISO 10303-41 date_time_schema ISO 10303-41 product_definition_schema ISO 10303-41 product_property_representation_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 types for this application module. The MIM types and definitions are specified below.
The document_identifier_assigned_item type allows for the designation of the data type document.
A document_identifier_assigned_item type specifies those items to which a document_identifier may be assigned.EXPRESS specification:
*)
TYPE
document_identifier_assigned_item =
SELECT
(document);
END_TYPE;
(*
The sd_document_reference_item type is an extension of the document_reference_item type. It adds the data types configuration_item, product, product_definition, and product_definition_formation to the list of alternate data types.
NOTE The list of entity data types may be extended in application modules that use the constructs of this module.
EXPRESS specification:
*)
TYPE
sd_document_reference_item =
EXTENSIBLE
GENERIC_ENTITY
SELECT
BASED_ON
document_reference_item
WITH
(configuration_item,
product,
product_definition,
product_definition_formation);
END_TYPE;
(*
This subclause specifies the MIM entities for this module. The MIM entities and definitions are specified below.
EXPRESS specification:
*)
ENTITY document_identifier
SUBTYPE OF (group);
UNIQUE
UR1:
SELF\group.name,
SELF\group.description;
END_ENTITY;
(*
Formal propositions:
UR1: The combination of name and description shall be unique within a population of document_identifiers.
A document_identifier_assignment is a type of group_assignment that specifies one or more of document_identifier_assigned_item. If there are more than one, then the items are all revisions of the same drawing.
EXAMPLE A schematic diagram may have a base identifier and each revision identification of that diagram differs from other revisions identification only in the document.description.
NOTE Due to a constraint on document_identifier, no member of document_identifier may be referenced more than once, guaranteeing uniqueness of assigned_group.
EXPRESS specification:
*)
ENTITY document_identifier_assignment
SUBTYPE OF (group_assignment);
SELF\group_assignment.assigned_group : document_identifier;
items : SET[1:?] OF document_identifier_assigned_item;
END_ENTITY;
(*
Attribute definitions:
assigned_group: an attribute inherited from the group_assignment shall be redeclared as the document_identifier for the document_identifier_assignment.
items: specifies a role of the document_identifier_assigned_item for the document_identifier_assignment.
EXPRESS specification:
*)
ENTITY partial_document_with_structured_text_representation_assignment
SUBTYPE OF (applied_document_usage_constraint_assignment, characterized_object);
END_ENTITY;
(*
An specification_definition is a type of product_definition which implements the ARM concepts of:
EXPRESS specification:
*)
ENTITY specification_definition
SUBTYPE OF (product_definition);
END_ENTITY;
(*
*)
END_SCHEMA; -- Specification_document_mim
(*
© ISO 2018 — All rights reserved