|
|
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:
-
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.
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.
A document_file is a type of document
and of characterized_object.
It identifies an external file or hardcopy to which properties may be assigned to depict its characteristics.
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
