Application module: File identification | ISO/TS 10303-1127:2019(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 File_identification_mim;
USE FROM
Activity_mim;
--
ISO/TS 10303-1047
USE FROM
document_schema
--
ISO 10303-41
(document,
document_type,
document_representation_type);
USE FROM
External_item_identification_assignment_mim;
--
ISO/TS 10303-1128
USE FROM
Identification_assignment_mim;
--
ISO/TS 10303-1021
USE FROM
product_property_definition_schema
--
ISO 10303-41
(characterized_object);
(*
NOTE 1 The schemas referenced above are specified in the following part of ISO 10303:
Activity_mim ISO/TS 10303-1047 document_schema ISO 10303-41 External_item_identification_assignment_mim ISO/TS 10303-1128 Identification_assignment_mim ISO/TS 10303-1021 product_property_definition_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 fi_action_items type is an extension of the action_items type. It adds the data type document_type 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
fi_action_items =
EXTENSIBLE
GENERIC_ENTITY
SELECT
BASED_ON
action_items
WITH
(document_type);
END_TYPE;
(*
The file_identification_item type is an extension of the identification_item type. It adds the data type document_file to the list of alternate data types.
NOTE This extension enables the assignment of an identifier to a document_file , using the entity applied_identification_assignment.
EXPRESS specification:
*)
TYPE
file_identification_item =
SELECT
BASED_ON
identification_item
WITH
(document_file);
END_TYPE;
(*
The file_location_select type is an extension of the external_identification_item type. It adds the data type document_file to the list of alternate data types.
EXPRESS specification:
*)
TYPE
file_location_select =
SELECT
BASED_ON
external_identification_item
WITH
(document_file);
END_TYPE;
(*
This subclause specifies the MIM entity for this module. The MIM entity and definition is specified below.
EXPRESS specification:
*)
ENTITY document_file
SUBTYPE OF (document, characterized_object);
WHERE
WR1: SELF\characterized_object.name = '';
WR2: NOT EXISTS(SELF\characterized_object.description);
WR3: SIZEOF(QUERY(drt <* SELF\document.representation_types | drt.name IN ['digital', 'physical'])) = 1;
END_ENTITY;
(*
Formal propositions:
WR1: the name attribute of the characterized_object shall be an empty string.
WR2: the description attribute of the characterized_object shall not be assigned.
WR3: the document_file shall be referred to by one document_representation_type that has for name 'digital' or 'physical'.
NOTE This instance of document_representation_type specifies whether the document_file represents a digital file or a hardcopy.
*)
END_SCHEMA; -- File_identification_mim
(*
© ISO 2019 — All rights reserved