Capability EXPRESS information model

This section describes the EXPRESS information model for the capability.

From module : date_time - using all


TYPE date_or_date_time_select = SELECT
   (Calendar_date,
    Date_time);
END_TYPE;



TYPE day_in_month_number = INTEGER ;
WHERE
  WR1: {1 <= SELF <= 31};
END_TYPE;



TYPE hour_in_day = INTEGER ;
WHERE
  WR1: { 0 <= SELF < 24 };
END_TYPE;



TYPE minute_in_hour = INTEGER ;
WHERE
  WR1: { 0 <= SELF <= 59 };
END_TYPE;



TYPE month_in_year_number = INTEGER ;
WHERE
  WR1: { 1 <= SELF <= 12 };
END_TYPE;



TYPE offset_orientation = ENUMERATION OF
   (ahead,
exact,
behind);
END_TYPE;



TYPE second_in_minute = REAL ;
WHERE
  WR1: { 0 <= SELF <= 60.0 };
END_TYPE;



TYPE year_number = INTEGER;
END_TYPE;


Calendar_date


ENTITY Calendar_date;
  year_component : year_number;
  month_component : month_in_year_number;
  day_component : day_in_month_number;
END_ENTITY;


year_component: the year element of the Calendar_date.

month_component: the month element of the Calendar_date.

day_component: the day element of the Calendar_date.

Date_time


ENTITY Date_time;
  date_component : Calendar_date;
  time_component : Local_time;
END_ENTITY;


date_component: the date element of the date time combination.

time_component: the time element of the date time combination.

Local_time


ENTITY Local_time;
  hour_component : hour_in_day;
  minute_component : OPTIONAL minute_in_hour;
  second_component : OPTIONAL second_in_minute;
  zone : Time_offset;
END_ENTITY;


hour_component: the number of hours.

minute_component: the number of minutes. The value of this attribute need not be specified.

second_component: the number of seconds. The value of this attribute need not be specified.

zone:

the offset applied from the Coordinated Universal Time.

The following formulas apply for the determination of the local time:

• if sense = ahead then local time = UTC - hour_offset - minute_offset;
• if sense = exact then local time = UTC;
• if sense = behind then local time = UTC + hour_offset + minute_offset.

Time_offset


ENTITY Time_offset;
  hour_offset : INTEGER;
  minute_offset : OPTIONAL INTEGER;
  sense : offset_orientation;
DERIVE
  actual_minute_offset : INTEGER := NVL(minute_offset,0);
WHERE
  WR1: { 0 <= hour_offset < 24 };
  WR2: { 0 <= actual_minute_offset <= 59 };
  WR3: NOT (((hour_offset <> 0) OR (actual_minute_offset <>0)) AND (sense = exact));
END_ENTITY;


hour_offset: the number of hours by which a time is offset from Coordinated Universal Time.

minute_offset: the number of minutes by which a time is offset from Coordinated Universal Time. The value of this attribute need not be specified.

sense: the direction of the offset.

From module : date_time_assignment - using all


TYPE date_or_date_time_item = EXTENSIBLE SELECT;
END_TYPE;


Date_or_date_time_assignment


ENTITY Date_or_date_time_assignment;
  assigned_date : date_or_date_time_select;
  role : STRING;
  items : SET[1:?] OF date_or_date_time_item;
END_ENTITY;


assigned_date: the Calendar_date or the Date_time that is assigned to activity or product data.

role: the text that specifies the purpose of the association between the Calendar_date or the Date_time with activity or product data.

items: the activity or product data to which the Calendar_date or Date_time is assigned.

From module : classification_assignment - using all


TYPE classification_item = EXTENSIBLE GENERIC_ENTITY SELECT;
END_TYPE;


Classification_assignment


ENTITY Classification_assignment;
  assigned_class : Class;
  items : SET[1:?] OF classification_item;
  role : OPTIONAL STRING;
END_ENTITY;


assigned_class: the Class that is considered in the assignment.

items: the set or more instances of types listed in classification_item that are classified.

role:

the meaning of the relationship between the assigned_class and the associated items. The value of this attribute need not be specified.

NOTE    When there is a specific role, the assignment has extra information that can be useful to differentiate this assignment from others.When all the items are assigned to the same Class in the same way there is no need to specify a role. Just when it is needed to distinguish them, the role attribute is useful.

From module : external_class - using all


TYPE external_class_assigned_name_select = SELECT BASED_ON assigned_name_select WITH
   (External_class_library);
END_TYPE;


External_class


ENTITY External_class
  SUBTYPE OF (Class);
  external_source : External_class_library;
END_ENTITY;


external_source: the identification of the external class library that provides the definition for the class.

External_class_library


ENTITY External_class_library;
  id : STRING;
  description : OPTIONAL STRING;
END_ENTITY;


id:

an identifier for the external class library.

NOTE    If appropriate this should be the URL of the external class library.

description: the text that provides further information about the External_class_library. The value of the attribute need not be specified.