AP scope  |  AP module  |  AP contents  |  AP index
Application module: File identification ISO/TS 10303-1127:2004(E)
© ISO

Cover page
Table of contents
Copyright
Foreword
Introduction
1 Scope
2 Normative references
3 Terms, definitions and abbreviations

4 Information requirements
   4.1 Required AM ARM
   4.2 ARM type definition
   4.3 ARM entity definitions
5 Module interpreted model
   5.1 Mapping specification
   5.2 MIM EXPRESS short listing
     5.2.1 MIM type definitions
     5.2.2 MIM entity definition

A MIM short names
B Information object registration
C ARM EXPRESS-G   EXPRESS-G
D MIM EXPRESS-G   EXPRESS-G
E Computer interpretable listings
Bibliography
Index

5.2 MIM EXPRESS short listing

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:

EXPRESS specification:

*)
SCHEMA File_identification_mim;

USE FROM Identification_assignment_mim;    --  ISO/TS 10303-1021

USE FROM External_item_identification_assignment_mim;    --  ISO/TS 10303-1128

USE FROM document_schema    --  ISO 10303-41
  (document,
   document_representation_type);

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:

Identification_assignment_mim ISO/TS 10303-1021
External_item_identification_assignment_mim ISO/TS 10303-1128
document_schema ISO 10303-41
product_property_definition_schema ISO 10303-41

NOTE 2   See Annex D, Figures D.1and D.2 for a graphical representation of this schema.

5.2.1 MIM type definitions

This subclause specifies the MIM types for this application module. The MIM types and definitions are specified below.

5.2.1.1 file_identification_item   EXPRESS-G

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;
(*

5.2.1.2 file_version_item   EXPRESS-G

The file_version_item type is an extension of the versionable_item type. It adds the data type document_file to the list of alternate data types.

NOTE    In the context of this application module, it provides the capability to assign a version identifier to an instance of document_file.

EXPRESS specification:

*)
TYPE file_version_item = SELECT BASED_ON versionable_item WITH
   (document_file);
END_TYPE;
(*

5.2.1.3 file_location_select   EXPRESS-G

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;
(*

5.2.2 MIM entity definition

This subclause specifies the MIM entity for this module. The MIM entity and definition is specified below.

5.2.2.1 document_file   EXPRESS-G

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 2004 — All rights reserved