Application module: External properties ISO/TS 10303-1129:2018-11(E)
© ISO

Cover page
Table of contents
Copyright
Foreword
Introduction
1 Scope
2 Normative references
3 Terms, definitions and abbreviated terms
    3.1 Terms and definitions
    3.2 Abbreviated terms

4 Information requirements
   4.1 Required AM ARMs
   4.2 ARM type definition
   4.3 ARM entity definitions
   4.4 ARM subtype constraint definition
5 Module interpreted model
   5.1 Mapping specification
   5.2 MIM EXPRESS short listing
     5.2.1 MIM type definition
     5.2.2 MIM entity definition
     5.2.3 MIM function definition
     5.2.4 MIM rule definitions

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

4 Information requirements

This clause specifies the information requirements for the External properties 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 External_properties_arm schema and identifies the necessary external references.

EXPRESS specification:

*)
SCHEMA External_properties_arm;
(*

4.1 Required AM ARMs

The following EXPRESS interface statements specify the elements imported from the ARMs of other application modules.

EXPRESS specification:

*)
USE FROM External_library_arm;    --  ISO/TS 10303-1778

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

USE FROM Independent_property_arm;    --  ISO/TS 10303-1036

USE FROM Plib_class_reference_arm;    --  ISO/TS 10303-1291
(*

NOTE 1   The schemas referenced above are specified in the following part of ISO 10303:

External_library_arm ISO/TS 10303-1778
Identification_assignment_arm ISO/TS 10303-1021
Independent_property_arm ISO/TS 10303-1036
Plib_class_reference_arm ISO/TS 10303-1291

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

4.2 ARM type definition

This subclause specifies the ARM type for this application module. The ARM type and definition is specified below.

4.2.1 external_property_select   EXPRESS-G

The external_property_select type allows for the designation of the data types Plib_property_reference and External_library_property.

EXPRESS specification:

*)
TYPE external_property_select = SELECT
   (Plib_property_reference,
    External_library_property);
END_TYPE;
(*

4.3 ARM entity definitions

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.

4.3.1 External_library_property   EXPRESS-GMapping table

An External_library_property is a type of Independent_property is a mechanism to refer to an entry in an external library other than ISO 13584.

EXPRESS specification:

*)
ENTITY External_library_property
  SUBTYPE OF (Independent_property);
  external_id : STRING;
  source : External_source;
DERIVE
  library_type : STRING := source.id;
END_ENTITY;
(*

Attribute definitions:

external_id: the unique identifier of the referenced entry in the external library.

source: specifies a role of the External_source for the External_library_property.

library_type: the type of library that is used.

4.3.2 Plib_property_reference   EXPRESS-GMapping table

A Plib_property_reference is a type of Independent_property that designates a property in a library compliant to ISO 13584.

EXPRESS specification:

*)
ENTITY Plib_property_reference
  SUBTYPE OF (Independent_property);
  code : STRING;
  version : STRING;
  name_scope : Plib_class_reference;
END_ENTITY;
(*

Attribute definitions:

code: the property in the PLIB library. The format of this code is defined in ISO 13584-42.

version: the identification of a particular version of a property in a PLIB library. The format of this version is defined in ISO 13584-42.

name_scope: the Plib_class_reference in which the property is visible.

4.4 ARM subtype constraint definition

This subclause specifies the ARM subtype constraint for this module. The subtype constraint places a constraint on the possible super-type / subtype instantiations. The ARM subtype constraint and definition is specified below.

4.4.1 plib_or_external   EXPRESS-GMapping table

The plib_or_external constraint specifies that an instance of Independent_property cannot be simultaneously of type Plib_property_reference or External_library_property.

NOTE    This constraint limits the instantiation of only the mentioned subtypes because it is not a "TOTAL OVER" constraint; it does not constrain instanciation of possible other subtypes of Independent_property.

EXPRESS specification:

*)
SUBTYPE_CONSTRAINT plib_or_external FOR Independent_property;
  ONEOF (Plib_property_reference,
         External_library_property);
END_SUBTYPE_CONSTRAINT;
(*



*)
END_SCHEMA;  -- External_properties_arm
(*


© ISO 2018 — All rights reserved