| 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