8.21.3.1 IfcApplication（应用）
RV ⓘ
AbV ⓘ
8.21.3.1.1 语义定义（Semantic definition）
IfcApplication 保存由应用开发者开发的符合IFC标准的应用信息。该 IfcApplication 使用应用开发者提供的简短标识名称。
8.21.3.1.2 实体继承（Entity inheritance）
8.21.3.1.3 特性（Attributes）
| # | 特性（Attributes） | 类型 | 描述 |
|---|---|---|---|
| IfcApplication (4) | |||
| 1 | ApplicationDeveloper | IfcOrganization |
应用开发者的名称。 |
| 2 | Version | IfcLabel |
应用开发者指定的该软件版本号。 |
| 3 | ApplicationFullName | IfcLabel |
应用开发者指定的应用完整名称。 |
| 4 | ApplicationIdentifier | IfcIdentifier |
应用的简短标识名称。 |
8.21.3.1.4 形式化命题（Formal propositions）
| 名称 | 描述 |
|---|---|
| UR1 | The attribute ApplicationIdentifier should be unique |
| UR2 | The attribute ApplicationFullName, should be unique |
8.21.3.1.5 形式化表示（Formal representation）
ENTITY IfcApplication;
ApplicationDeveloper : IfcOrganization;
Version : IfcLabel;
ApplicationFullName : IfcLabel;
ApplicationIdentifier : IfcIdentifier;
UNIQUE
UR1 : ApplicationIdentifier;
UR2 : ApplicationFullName, Version;
END_ENTITY;