5.3.3.10 IfcWorkPlan（工作计划）

5.3.3.10.1 语义定义（Semantic definition）

IfcWorkPlan 代表施工或设施管理项目中的工作计划。

工作计划包含一组用于不同目的（包括施工和设施管理）的工作日程。包含的工作日程通过 IfcRelAggregates 关系定义。通过继承 IfcWorkControl，还可以定义对工作计划中使用的活动（例如 IfcTask）和资源的引用。

工作计划包含开始日期、结束日期、总自由浮动时间等信息。IfcWorkPlan 还可以引用由单个 IfcProject 实例表示的施工项目（也请检查 IfcWorkControl 的定义）。

图 PROJECTDECLARATION 显示了工作计划的骨干结构，该结构定义了（1）通过 IfcRelAggregates 包含的工作日程，以及（2）如果未另行分配给包含的工作日程，则通过 IfcRelAssignsToControl 分配的任务和资源。

如果分配的 IfcTask 是根级别任务，则必须使用 IfcRelDeclares 关系在 IfcProject 上声明该任务。

图 5.3.3.10.A — 项目如何声明工作计划，而工作计划又包含任务或日程

5.3.3.10.2 实体继承（Entity inheritance）

5.3.3.10.3 特性（Attributes）

#	特性（Attributes）	类型（Type）	描述（Description）
IfcRoot (4)
1	GlobalId	IfcGloballyUniqueId	在整个软件世界中分配全局唯一标识符。
2	OwnerHistory	OPTIONAL IfcOwnerHistory	分配有关该对象当前所有权的信息，包括所有者参与者、应用程序、本地标识以及捕获到的关于对象近期更改的信息。注释仅存储最后一次修改——无论是添加、删除还是修改。 IFC4 变更该特性已更改为 OPTIONAL。
3	Name	OPTIONAL IfcLabel	供参与的软件系统或用户使用的可选名称。对于某些 IfcRoot 的子类型，可能需要插入 Name 特性。这将通过 where 规则强制执行。
4	Description	OPTIONAL IfcText	可选的描述，用于提供信息性注释。
IfcObjectDefinition (7)
	HasAssignments	SET [0:?] OF IfcRelAssigns FOR RelatedObjects	引用分配（通过关联关系）其他 IfcObject 子类型到此对象实例的关系对象。例如，与产品、过程、控制、资源或组的关联。
	Nests	SET [0:1] OF IfcRelNests FOR RelatedObjects	引用作为嵌套的分解关系。它确定此对象定义是顺序整体/部分分解关系中的一部分。对象实例或类型只能是单个分解的一部分（仅允许分层结构）。 IFC4 变更新增反向属性数据类型，并与 IfcObjectDefinition 中定义的 Decomposes 分离。
	IsNestedBy	SET [0:?] OF IfcRelNests FOR RelatingObject	引用作为嵌套的分解关系。它确定此对象定义是顺序整体/部分分解关系中的整体。对象或对象类型可以被多个其他对象（实例或类型）嵌套。 IFC4 变更新增反向属性数据类型，并与 IfcObjectDefinition 中定义的 IsDecomposedBy 分离。
	HasContext	SET [0:1] OF IfcRelDeclares FOR RelatedDefinitions	引用提供上下文信息的上下文，例如项目单位或表示上下文。它只应断言在最上层的非空间对象上。 IFC4 变更新增反向属性数据类型。
	IsDecomposedBy	SET [0:?] OF IfcRelAggregates FOR RelatingObject	引用作为聚合的分解关系。它确定此对象定义是无序整体/部分分解关系中的整体。对象定义可以被多个其他对象（实例或部分）聚合。 IFC4 变更反向属性数据类型已从超类型 IfcRelDecomposes 更改为子类型 IfcRelAggregates。
	Decomposes	SET [0:1] OF IfcRelAggregates FOR RelatedObjects	引用作为聚合的分解关系。它确定此对象定义是无序整体/部分分解关系中的一部分。对象定义只能是单个分解的一部分（仅允许分层结构）。 IFC4 变更反向属性数据类型已从超类型 IfcRelDecomposes 更改为子类型 IfcRelAggregates。
	HasAssociations	SET [0:?] OF IfcRelAssociates FOR RelatedObjects	引用将外部资源或资源定义与对象关联的关系对象。例如，与库、文档或分类的关联。
IfcObject (5)
5	ObjectType	OPTIONAL IfcLabel	该类型表示指示对象的特定类型。必须在可实例化的子类型的级别上建立用法。特别是，如果特性 PredefinedType 的枚举设置为 USERDEFINED，或者当实例化的具体实体没有 PredefinedType 特性时，它保存用户定义的类型。后者发生在一些特殊的叶子类中，以及直接实例化 IfcBuiltElement 时。
	IsDeclaredBy	SET [0:1] OF IfcRelDefinesByObject FOR RelatedObjects	链接到指向声明对象的关系对象，该声明对象为此对象实例提供对象定义。声明对象必须是对象类型分解的一部分。关联的 IfcObject 或其子类型包含特定信息（作为类型或样式定义的一部分），该信息对于声明 IfcObject 或其子类型的所有反映实例是通用的。 IFC4 变更新增逆向关系，此变更保持基于文件交换的向上兼容性。
	Declares	SET [0:?] OF IfcRelDefinesByObject FOR RelatingObject	链接到指向接收对象定义的反向对象的关系对象。反向对象必须是对象实例分解的一部分。关联的 IfcObject 或其子类型提供特定信息（作为类型或样式定义的一部分），该信息对于声明 IfcObject 或其子类型的所有反向实例是通用的。 IFC4 变更新增逆向关系，此变更保持基于文件交换的向上兼容性。
	IsTypedBy	SET [0:1] OF IfcRelDefinesByType FOR RelatedObjects	与对象类型的关系集合，该对象类型为此对象实例提供类型定义。然后，关联的 IfcTypeObject 或其子类型包含特定信息（或类型或样式），该信息对于引用同一类型的所有 IfcObject 或其子类型的实例是通用的。 IFC4 变更新增逆向关系，与 IfcRelDefinesByType 的链接先前包含在逆向关系 IfcRelDefines 中。此变更保持基于文件交换的向上兼容性。
	IsDefinedBy	SET [0:?] OF IfcRelDefinesByProperties FOR RelatedObjects	与附加到此对象的属性集定义的集合的关系。这些静态或动态定义的特性包含字母数字信息内容，这些内容进一步定义了对象。 IFC4 变更数据类型已从 IfcRelDefines 更改为 IfcRelDefinesByProperties，保持基于文件交换的向上兼容性。
IfcControl (2)
6	Identification	OPTIONAL IfcIdentifier	赋予控制的标识名称。它是发生层级的标识符。 IFC4 变更通过从 IfcControl 的各种子类型提升来统一属性。
	Controls	SET [0:?] OF IfcRelAssignsToControl FOR RelatingControl	引用将控制与被控制对象相关联的关系。
IfcWorkControl (7)
7	CreationDate	IfcDateTime	计划创建的日期。
8	Creators	OPTIONAL SET [1:?] OF IfcPerson	工作计划的作者。
9	Purpose	OPTIONAL IfcLabel	工作日程目的的描述。
10	Duration	OPTIONAL IfcDuration	整个工作日程的总持续时间。
11	TotalFloat	OPTIONAL IfcDuration	整个工作日程的总浮动时间。
12	StartTime	IfcDateTime	日程的开始时间。
13	FinishTime	OPTIONAL IfcDateTime	日程的结束时间。
点击显示 25 个隐藏的继承特性点击隐藏 25 个继承特性
IfcWorkPlan (1)
14	PredefinedType	OPTIONAL IfcWorkPlanTypeEnum	标识工作计划的预定义类型，可从中设置所需类型。

表 5.3.3.10.B

5.3.3.10.4 形式化命题（Formal propositions）

名称（Name）	描述（Description）
CorrectPredefinedType	当 IfcWorkPlanTypeEnum 的值设置为 USERDEFINED 时，必须断言 ObjectType 特性。
`NOT(EXISTS(PredefinedType)) OR (PredefinedType <> IfcWorkPlanTypeEnum.USERDEFINED) OR ((PredefinedType = IfcWorkPlanTypeEnum.USERDEFINED) AND EXISTS(SELF\IfcObject.ObjectType))`

表 5.3.3.10.C

5.3.3.10.5 属性集（Property sets）

Pset_WorkControlCommon
- WorkStartTime
- WorkFinishTime
- WorkDayDuration
- WorkWeekDuration
- WorkMonthDuration

5.3.3.10.6 概念用法（Concept usage）

概念（Concept）	用法（Usage）	描述（Description）
IfcRoot (2)
Revision Control	General	使用 IfcOwnerHistory 捕获所有权、历史记录和合并状态。
Software Identity	General	IfcRoot 分配全局唯一 ID。此外，它还可以为概念提供名称和描述。
IfcObjectDefinition (9)
Classification Association	General	任何对象实例或对象类型都可以具有对特定分类引用的引用，即对分类系统中特定方面的引用。
Aggregation	General	无可用描述
Approval Association	General	无可用描述
Constraint Association	General	无可用描述
Document Association	General	无可用描述
Library Association	General	无可用描述
Material Association	General	无可用描述
Material Single	General	无可用描述
Nesting	General	无可用描述
IfcObject (5)
Object Predefined Type	General	无可用描述
Object Typing	General	任何对象实例都可以通过被分配给一个使用此概念的通用对象类型来类型化。通过在 IfcObject 的子类型级别覆盖此概念，引入了一个限制可分配的 IfcTypeObject 子类型的特定规则。此概念可应用于以下资源 IfcTypeObject
Object User Identity	General	特性 Name 和可选的 Description 可用于 IfcObject 的所有子类型。对于那些具有对象类型定义的子类型，例如 IfcBeam - IfcBeamType，通用的 Name 和可选的 Description 与对象类型相关联。
Property Sets with Override	General	任何对象实例都可以拥有属性集，可以直接在对象实例上作为元素特定的属性集，也可以在对象类型上作为类型属性集。在这种情况下，提供给对象实例的特性是元素特定特性和类型特性的组合。如果在实例和类型特性中都定义了相同的特性（在同一属性集中），则实例特性的特性值将覆盖类型特性的特性值。
Assignment to Group	General	无可用描述
IfcControl (1)
Control Assignment	General	控制通过使用关系对象 IfcRelAssignsToControl 从产品、过程或其他对象进行分配。此概念可应用于以下资源 IfcObjectDefinition
IfcWorkControl (2)
Control Assignment	General	这是对继承概念的进一步阐述从 IFC4 开始，任务到工作控制的分配由 IfcRelAssignsToControl 关系处理。先前 IFC 版本中使用的 IfcRelAssignsTasks 已被删除，不能再使用。IFC4 的另一个变化是，不必将每个任务分配给一个工作控制，因为将汇总任务（通过 IfcRelNests 关系定义的任务层级中的根任务）分配给一个工作控制就足够了。此概念可应用于以下资源 IfcTask
Property Sets for Objects	General	此概念可应用于以下资源 Pset_WorkControlCommon
点击显示 19 个隐藏的继承概念点击隐藏 19 个继承概念

表 5.3.3.10.D

5.3.3.10.7 形式化表示（Formal representation）

ENTITY IfcWorkPlan
 SUBTYPE OF (IfcWorkControl);
	PredefinedType : OPTIONAL IfcWorkPlanTypeEnum;
 WHERE
	CorrectPredefinedType : NOT(EXISTS(PredefinedType)) OR (PredefinedType <> IfcWorkPlanTypeEnum.USERDEFINED) OR
((PredefinedType = IfcWorkPlanTypeEnum.USERDEFINED) AND EXISTS(SELF\IfcObject.ObjectType));
END_ENTITY;

5.3.3.10.8 参考（References）

IfcWorkControl