|
|
Application module:
External properties |
ISO/TS 10303-1129:2018-11(E)
© ISO
|
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;
(*
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.
This subclause specifies the ARM type
for this application module. The ARM type and
definition is specified below.
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;
(*
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.
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.
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.
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.
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
