IFC 4.3.2.20250327 (IFC4X3_ADD2) under development

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.

task type instantiation diagram
Figure 5.3.3.8.A — Work calendar instantiation

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
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.

Table 5.3.3.8.C

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.

NOT(EXISTS(PredefinedType)) OR (PredefinedType <> IfcWorkCalendarTypeEnum.USERDEFINED) OR
((PredefinedType = IfcWorkCalendarTypeEnum.USERDEFINED) AND EXISTS(SELF\IfcObject.ObjectType))
Table 5.3.3.8.D

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
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:

Table 5.3.3.8.E

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;

5.3.3.8.8 References

Edit on Github


Is this page difficult to understand? Let us know!

5.3.3.8.9 Changelog

5.3.3.8.9.1 IFC4

  • New resource