|
|
Application module:
Basic data representation |
ISO/TS 10303-1773:2014-02(E)
© ISO
|
This clause specifies the information requirements for the
Basic data representation
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
Basic_data_representation_arm
schema and identifies the necessary external references.
EXPRESS specification:
*)
SCHEMA Basic_data_representation_arm;
(*
The following EXPRESS interface statements specify the elements
imported from the ARMs of other application modules.
EXPRESS specification:
*)
USE FROM
Extended_date_arm;
--
ISO/TS 10303-1776
USE FROM
Foundation_representation_arm;
--
ISO/TS 10303-1006
(*
NOTE 1
The schemas referenced above are specified in the following
part of ISO 10303:
| Extended_date_arm |
ISO/TS 10303-1776 |
| Foundation_representation_arm |
ISO/TS 10303-1006 |
NOTE 2
See Annex C,
Figures
C.1and C.2
for a graphical representation of this schema.
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.
A Boolean_representation_item is a type of Representation_item whose value is either true or false.
EXPRESS specification:
*)
ENTITY Boolean_representation_item
SUBTYPE OF (Representation_item);
the_value : BOOLEAN;
END_ENTITY;
(*
Attribute definitions:
the_value:
the value of the Boolean_representation_item.
A Compound_representation_item is a type of
Representation_item.
A Compound_representation_item is a
Sequence_representation_item
or a
Set_representation_item.
EXPRESS specification:
*)
ENTITY Compound_representation_item
ABSTRACT SUPERTYPE
OF (ONEOF (Sequence_representation_item,
Set_representation_item))
SUBTYPE OF (Representation_item);
END_ENTITY;
(*
A Date_time_representation_item is a type of
Representation_item
whose value is
date_or_date_time_select.
EXPRESS specification:
*)
ENTITY Date_time_representation_item
SUBTYPE OF (Representation_item);
the_value : date_or_date_time_select;
END_ENTITY;
(*
Attribute definitions:
the_value:
specifies the
date_or_date_time_select.
for the Date_time_representation_item.
A Integer_representation_item is a type of Representation_item whose value is an integer.
EXPRESS specification:
*)
ENTITY Integer_representation_item
SUBTYPE OF (Representation_item);
the_value : INTEGER;
END_ENTITY;
(*
Attribute definitions:
the_value:
the value of the Integer_representation_item.
A Logical_representation_item is a type of
Representation_item
for the representation of logical and boolean values.
NOTE
A Logical_representation_item is included in the characteristic select via its supertype
String_representation_item.
EXPRESS specification:
*)
ENTITY Logical_representation_item
SUBTYPE OF (Representation_item);
the_value : LOGICAL;
END_ENTITY;
(*
Attribute definitions:
the_value:
the value of the Logical_representation_item.
A Rational_representation_item is a type of Representation_item whose value is a rational number.
EXPRESS specification:
*)
ENTITY Rational_representation_item
SUBTYPE OF (Representation_item);
numerator : INTEGER;
denominator : INTEGER;
END_ENTITY;
(*
Attribute definitions:
numerator:
the numerator of the rational number.
denominator:
the denominator of the rational number.
A Real_representation_item is a type of
Representation_item
whose value is a real number.
NOTE
Use
Value_with_unit
instead of
Real_representation_item
for all cases of measurement and when a physical unit is needed.
EXPRESS specification:
*)
ENTITY Real_representation_item
SUBTYPE OF (Representation_item);
the_value : REAL;
END_ENTITY;
(*
Attribute definitions:
the_value:
the value of the Real_representation_item.
A Sequence_representation_item is a type of
Compound_representation_item
whose value is a sequence of
Representation_item
objects.
EXPRESS specification:
*)
ENTITY Sequence_representation_item
SUBTYPE OF (Compound_representation_item);
the_value : LIST[0:?] OF Representation_item;
END_ENTITY;
(*
Attribute definitions:
the_value:
the value of the Sequence_representation_item.
A Set_representation_item is a type of
Compound_representation_item
whose value is a set of
Representation_item
objects.
EXPRESS specification:
*)
ENTITY Set_representation_item
SUBTYPE OF (Compound_representation_item);
the_value : SET[0:?] OF Representation_item;
END_ENTITY;
(*
Attribute definitions:
the_value:
the value of the Set_representation_item.
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
representation_item_subtypes
constraint specifies a constraint that applies to instances of subtypes of
Representation_item.
EXPRESS specification:
*)
SUBTYPE_CONSTRAINT representation_item_subtypes FOR Representation_item;
ONEOF (Boolean_representation_item,
Compound_representation_item,
Date_time_representation_item,
Integer_representation_item,
Logical_representation_item,
Rational_representation_item,
Real_representation_item);
END_SUBTYPE_CONSTRAINT;
(*
*)
END_SCHEMA; -- Basic_data_representation_arm
(*
© ISO 2014 — All rights reserved
