8.21.3.1 IfcApplication（应用）

RV ⓘ

AbV ⓘ

8.21.3.1.1 语义定义

IfcApplication 保存由应用开发者开发的符合IFC标准的应用信息。该 IfcApplication 使用应用开发者提供的简短标识名称。

沿革在 IFC1.5 中的新实体。

8.21.3.1.2 实体继承

- IfcApplication

8.21.3.1.3 特性

#	特性	类型	描述
IfcApplication (4)
1	ApplicationDeveloper	IfcOrganization	应用开发者的名称。
2	Version	IfcLabel	应用开发者指定的该软件版本号。
3	ApplicationFullName	IfcLabel	应用开发者指定的应用完整名称。
4	ApplicationIdentifier	IfcIdentifier	应用的简短标识名称。

表 8.21.3.1.A

8.21.3.1.4 形式化命题

名称	描述
UR1	特性 ApplicationIdentifier 应唯一。
UR2	特性 ApplicationFullName 应唯一。

表 8.21.3.1.B

8.21.3.1.5 形式化表示

ENTITY IfcApplication;
	ApplicationDeveloper : IfcOrganization;
	Version : IfcLabel;
	ApplicationFullName : IfcLabel;
	ApplicationIdentifier : IfcIdentifier;
 UNIQUE
	UR1 : ApplicationIdentifier;
	UR2 : ApplicationFullName, Version;
END_ENTITY;

8.21.3.1.6 参考

IfcOwnerHistory