IFC 4.3.0.0 (IFC4X3) final

8.21.3.1 IfcApplication

8.21.3.1.1 Semantic definition

IfcApplication holds the information about an IFC compliant application developed by an application developer. The IfcApplication utilizes a short identifying name as provided by the application developer.

8.21.3.1.2 Entity inheritance

8.21.3.1.3 Attributes

# Attribute Type Description
IfcApplication (4)
1 ApplicationDeveloper IfcOrganization

Name of the application developer.

2 Version IfcLabel

The version number of this software as specified by the developer of the application.

3 ApplicationFullName IfcLabel

The full name of the application as specified by the application developer.

4 ApplicationIdentifier IfcIdentifier

Short identifying name for the application.

Table 8.21.3.1.S

8.21.3.1.4 Formal propositions

Name Description
UR1 The attribute ApplicationIdentifier should be unique
UR2 The attribute ApplicationFullName, should be unique
Table 8.21.3.1.T

8.21.3.1.5 Examples

8.21.3.1.6 Formal representation

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

8.21.3.1.7 References