|
|
Application module:
Time interval |
ISO/TS 10303-1065:2004(E)
© ISO
|
This clause specifies the information requirements for the
Time interval
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.
The following EXPRESS specification begins the
Time_interval_arm
schema and identifies the necessary external references.
EXPRESS specification:
*)
SCHEMA Time_interval_arm;
(*
The following EXPRESS interface statements specify the elements
imported from the ARMs of other application modules.
EXPRESS specification:
*)
USE FROM
Event_arm;
--
ISO/TS 10303-1064
USE FROM
Value_with_unit_arm;
--
ISO/TS 10303-1054
(*
NOTE 1
The schemas referenced above are specified in the following
part of ISO 10303:
| Event_arm |
ISO/TS 10303-1064 |
| Value_with_unit_arm |
ISO/TS 10303-1054 |
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 Time_interval is the identification of an intervening time.
EXPRESS specification:
*)
ENTITY Time_interval;
id : STRING;
name : STRING;
description :
OPTIONAL
STRING;
END_ENTITY;
(*
Attribute definitions:
id:
the
identifier for the Time_interval.
name:
the
words by which the Time_interval is known.
description:
the
text that provides further information about the Time_interval.
The value of this attribute need not be specified.
A Time_interval_relationship is the association of two instances of Time_interval.
The meaning of this association is specified in the relation_type attribute.
EXPRESS specification:
*)
ENTITY Time_interval_relationship;
relation_type : STRING;
description : STRING;
relating_time_interval : Time_interval;
related_time_interval : Time_interval;
END_ENTITY;
(*
Attribute definitions:
relation_type:
the text that identifies the meaning of the relationship.
description:
the text that provides further information about the Time_interval_relationship.
relating_time_interval:
the first instance of Time_interval that is part of the relationship.
related_time_interval:
the other instance of Time_interval. If one element of the relationship
is dependent upon the other, this attribute shall be the dependent one.
A Time_interval_with_bounds is a type of Time_interval.
A Time_interval_with_bounds is bounded either on one side or both sides.
If neither secondary_bound nor Duration are specified,
the time interval begins at the point in time identified by primary_bound and
has no specified end point.
EXPRESS specification:
*)
ENTITY Time_interval_with_bounds
SUBTYPE OF (Time_interval);
primary_bound :
OPTIONAL
date_or_event;
secondary_bound :
OPTIONAL
date_or_event;
duration_from_primary_bound :
OPTIONAL
Duration;
WHERE
WR1: NOT (EXISTS (secondary_bound) AND EXISTS (duration_from_primary_bound));
WR2: EXISTS (primary_bound) OR EXISTS (secondary_bound);
END_ENTITY;
(*
Attribute definitions:
primary_bound:
the bound of the Time_interval_with_bounds from which the length of the time interval is measured.
The value of this attribute need not be specified.
secondary_bound:
the other bound of the Time_interval_with_bounds.
The value of this attribute need not be specified.
duration_from_primary_bound:
the Duration that specifies
the length of the time interval from the primary bound.
If positive, the Time_interval_with_bounds defines a lower bounded time interval, else an upper bounded
time interval.
The value of this attribute need not be specified.
Formal propositions:
WR1:
The secondary_bound and duration_from_primary_bound shall not be specified
both for an instance of Time_interval_with_bounds.
WR2:
Either the primary_bound or the secondary_bound or both shall be specified.
*)
END_SCHEMA; -- Time_interval_arm
(*
© ISO 2004 — All rights reserved
