Application module: File identification | ISO/TS 10303-1127:2019(E) © ISO |
This clause specifies the information requirements for the File identification application module. The information requirements are specified as the Application Reference Model (ARM) of this application module.
NOTE 1 A graphical representation of the information requirements is given in Annex C.
NOTE 2 The mapping specification is specified in 5.1. It shows how the information requirements are met by using common resources and constructs defined or imported in the MIM schema of this application module.
This clause defines the information requirements to which implementations shall conform using the EXPRESS language as defined in ISO 10303-11. The following begins the File_identification_arm schema and identifies the necessary external references.
EXPRESS specification:
*)
SCHEMA File_identification_arm;
(*
The following EXPRESS interface statements specify the elements imported from the ARMs of other application modules.
EXPRESS specification:
*)
USE FROM
Activity_arm;
--
ISO/TS 10303-1047
USE FROM
External_item_identification_assignment_arm;
--
ISO/TS 10303-1128
(*
NOTE 1 The schemas referenced above are specified in the following part of ISO 10303:
Activity_arm ISO/TS 10303-1047 External_item_identification_assignment_arm ISO/TS 10303-1128
NOTE 2 See Annex C, Figures C.1and C.2 for a graphical representation of this schema.
This subclause specifies the ARM types for this application module. The ARM types and definitions are specified below.
The fi_activity_item type is an extension of the activity_item type. It adds the data type Document_type to the list of alternate data types.
EXPRESS specification:
*)
TYPE
fi_activity_item =
SELECT
BASED_ON
activity_item
WITH
(Document_type);
END_TYPE;
(*
The located_select type is an extension of the external_identification_item type. It adds the data type File to the list of alternate data types.
EXPRESS specification:
*)
TYPE
located_select =
SELECT
BASED_ON
external_identification_item
WITH
(File);
END_TYPE;
(*
This subclause specifies the ARM entities for this module. Each ARM application entity is an atomic element that embodies a unique application concept and contains attributes specifying the data elements of the entity. The ARM entities and definitions are specified below.
EXPRESS specification:
*)
ENTITY Digital_file
SUBTYPE OF (File);
END_ENTITY;
(*
EXPRESS specification:
*)
ENTITY Document_type;
product_data_type : STRING;
END_ENTITY;
(*
Attribute definitions:
product_data_type: a string that provides information about the kind of data.
Where applicable, the following values shall be used:
EXPRESS specification:
*)
ENTITY File
ABSTRACT SUPERTYPE
OF (ONEOF (Digital_file,
Hardcopy));
id : STRING;
version :
OPTIONAL
STRING;
contained_data_type :
OPTIONAL
Document_type;
END_ENTITY;
(*
Attribute definitions:
id: the identifier for the File.
EXAMPLE This attribute may be used to convey the identification of a digital file in the directory where it is stored.
version: a string that provides a version identifier for the file. The value of this attribute need not be specified.
contained_data_type: a Document_type that provides information about the kind of data stored in the file. The value of this attribute need not be specified.
A File_location_identification is a type of External_item_identification that identifies the location of a File in an external storage system where it can be found.
EXAMPLE 1 For a computer file identified by a filename and directory path, for example 'D:\project1\specification.txt', the external_id attribute represents the filename, 'specification.txt' and the source_id attribute represents the path name, 'D:\project1\'.
EXAMPLE 2 Examples of source_type are:
EXPRESS specification:
*)
ENTITY File_location_identification
SUBTYPE OF (External_item_identification);
WHERE
WR1: 'FILE_IDENTIFICATION_ARM.FILE' IN TYPEOF(SELF\External_source_identification.item);
END_ENTITY;
(*
Formal propositions:
WR1: The identified external item shall be of type File.
EXAMPLE An actual stack of paper consisting of one or more sheets, on which some product data is written, printed or plotted.
EXPRESS specification:
*)
ENTITY Hardcopy
SUBTYPE OF (File);
END_ENTITY;
(*
*)
END_SCHEMA; -- File_identification_arm
(*
© ISO 2019 — All rights reserved