IfcOwnerHistory

标签：EXISTS LastModifiedDate ChangeAction Time IfcOwnerHistory OPTIONAL

IfcOwnerHistory

实体定义

IfcOwnerHistory定义所有历史和标识相关信息。为了提供快速访问，它直接连接到所有独立的对象、关系和属性。

 

IfcOwnerHistory用于标识创建和拥有关联对象的应用程序和用户，以及捕获上次修改的应用程序或用户。

 

IFC1.0中的新实体。

IFC4 CHANGE ChangeAction现在是可选的，相关的WHERE规则在断言时强制执行条件。

非正式提议：

1、如果定义了LastModifiedDate，但未断言ChangeAction，则假定ChangeAction的状态为UNDEFINED。

2、如果LastModifiedDate和ChangeAction都被断言，那么ChangeAction的状态将应用于LastModified Date中断言的值。

 

 

Formal Propositions

Rule	Description
CorrectChangeAction	If ChangeAction is asserted and LastModifiedDate is not defined, ChangeAction must be set to NOTDEFINED

 

 

Attribute inheritance

#	Attribute	Type	Cardinality	Description	C
IfcOwnerHistory
1	OwningUser	IfcPersonAndOrganization	[1:1]	Direct reference to the end user who currently "owns" this object. Note that IFC includes the concept of ownership transfer from one user to another and therefore distinguishes between the Owning User and Creating User.	X
2	OwningApplication	IfcApplication	[1:1]	Direct reference to the application which currently "owns" this object on behalf of the owning user of the application. Note that IFC includes the concept of ownership transfer from one application to another and therefore distinguishes between the Owning Application and Creating Application.	X
3	State	IfcStateEnum	[0:1]	Enumeration that defines the current access state of the object.	X
4	ChangeAction	IfcChangeActionEnum	[0:1]	Enumeration that defines the actions associated with changes made to the object.	X
5	LastModifiedDate	IfcTimeStamp	[0:1]	Date and Time expressed in UTC (Universal Time Coordinated, formerly Greenwich Mean Time or GMT) at which the last modification was made by LastModifyingUser and LastModifyingApplication.	X
6	LastModifyingUser	IfcPersonAndOrganization	[0:1]	User who carried out the last modification using LastModifyingApplication.	X
7	LastModifyingApplication	IfcApplication	[0:1]	Application used to make the last modification.	X
8	CreationDate	IfcTimeStamp	[1:1]	The date and time expressed in UTC (Universal Time Coordinated, formerly Greenwich Mean Time or GMT) when first created by the original OwningApplication. Once defined this value remains unchanged through the lifetime of the entity.	X

 

EXPRESS Specification

ENTITY IfcOwnerHistory;
  OwningUser : IfcPersonAndOrganization;
  OwningApplication : IfcApplication;
  State : OPTIONAL IfcStateEnum;
  ChangeAction : OPTIONAL IfcChangeActionEnum;
  LastModifiedDate : OPTIONAL IfcTimeStamp;
  LastModifyingUser : OPTIONAL IfcPersonAndOrganization;
  LastModifyingApplication : OPTIONAL IfcApplication;
  CreationDate : IfcTimeStamp;
 WHERE
  CorrectChangeAction : (EXISTS(LastModifiedDate)) OR (NOT(EXISTS(LastModifiedDate)) AND NOT(EXISTS(ChangeAction))) OR (NOT(EXISTS(LastModifiedDate)) AND EXISTS(ChangeAction) AND ((ChangeAction = IfcChangeActionEnum.NOTDEFINED) OR (ChangeAction = IfcChangeActionEnum.NOCHANGE)));
END_ENTITY;

 

 

 

#################

标签：EXISTS,LastModifiedDate,ChangeAction,Time,IfcOwnerHistory,OPTIONAL
From： https://www.cnblogs.com/herd/p/16990650.html