5.3.3.8 IfcWorkCalendar
5.3.3.8.1 Semantic definition
An IfcWorkCalendar defines working and non-working time periods for tasks and resources. It enables to define both specific time periods, such as from 7:00 till 12:00 on 25th August 2009, as well as repetitive time periods based on frequently used recurrence patterns, such as each Monday from 7:00 till 12:00 between 1st March 2009 and 31st December 2009.
A work calendar is a subtype of IfcControl and thus inherits the feature for controlling other objects through IfcRelAssignsToControl, which is used to define a work calendar for tasks (IfcTask) and resources (IfcResource). It also inherits a name and description attribute, whereas a name shall be given and a description may be given as an indication of its content and usage.
The definition of time periods can be derived from a base calendar and/or modified/defined by a set of working times and non-working exception times. All time periods defined by IfcWorkCalendar.ExceptionTimes override the time periods inherited from the base calendar (base calendar is defined as the next applicable calendar for the task or resource). Thus, exception times replace the working times from the base calendar.
Figure 5.3.3.8.A shows the definition of a work calendar, which is defined by a set of work times and exception times. The work times are defined as recurring patterns with optional boundaries (applying from and/or to a specific date). The shown example defines a simple work calendar with working times Monday to Thursday 8:00 to 12:00 and 13:00 to 17:00, Friday 8:00 to 14:00 and as exception every 1st Monday in a month the work starts one hour later - i.e. the working time on every 1st Monday in a month is overridden to be 9:00 to 12:00 and 13:00 to 17:00. Both the working time and the exception time is valid for the period of 01.09.2010 till 30.08.2011.

5.3.3.8.2 Entity inheritance
5.3.3.8.3 Attributes
# | Attribute | Type | Description |
---|---|---|---|
IfcRoot (4) | |||
IfcObjectDefinition (7) | |||
IfcObject (5) | |||
IfcControl (2) | |||
Click to show 18 hidden inherited attributes Click to hide 18 inherited attributes | |||
IfcWorkCalendar (3) | |||
7 | WorkingTimes | OPTIONAL SET [1:?] OF IfcWorkTime |
Set of times periods that are regarded as an initial set-up of working times. Exception times can then further restrict these working times. |
8 | ExceptionTimes | OPTIONAL SET [1:?] OF IfcWorkTime |
Set of times periods that define exceptions (non-working times) for the given working times including the base calendar, if provided. |
9 | PredefinedType | OPTIONAL IfcWorkCalendarTypeEnum |
Identifies the predefined types of a work calendar from which the type required may be set. |
5.3.3.8.4 Formal propositions
Name | Description | ||||
---|---|---|---|---|---|
CorrectPredefinedType |
The attribute ObjectType must be asserted when the value of the IfcWorkCalendarTypeEnum is set to USERDEFINED. |
||||
|
5.3.3.8.5 Concept usage
Concept | Usage | Description | |
---|---|---|---|
IfcRoot (2) | |||
IfcObjectDefinition (9) | |||
IfcObject (5) | |||
IfcControl (1) | |||
Click to show 17 hidden inherited concepts Click to hide 17 inherited concepts | |||
IfcWorkCalendar (1) | |||
Control Assignment | General |
The base calendar of a work calendar is defined by IfcRelAssignsToControl, where IfcRelAssignsToControl.RelatingControl is linked with the base calendar and IfcRelAssignsToControl.RelatedObjects is linked with work calendars that are derived from the base calendar. Although not restricted by the IfcRelAssignsToControl relationship it is only allowed to have one base calendar. This concept can be applied to the following resources: |
5.3.3.8.6 Examples
5.3.3.8.7 Formal representation
ENTITY IfcWorkCalendar SUBTYPE OF (IfcControl); WorkingTimes : OPTIONAL SET [1:?] OF IfcWorkTime; ExceptionTimes : OPTIONAL SET [1:?] OF IfcWorkTime; PredefinedType : OPTIONAL IfcWorkCalendarTypeEnum; WHERE CorrectPredefinedType : NOT(EXISTS(PredefinedType)) OR (PredefinedType <> IfcWorkCalendarTypeEnum.USERDEFINED) OR ((PredefinedType = IfcWorkCalendarTypeEnum.USERDEFINED) AND EXISTS(SELF\IfcObject.ObjectType)); END_ENTITY;