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

1. • IfcApplication

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.

8.21.3.1.4 Formal propositions

Name	Description
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;

8.21.3.1.6 References

• IfcOwnerHistory