TY - GEN
T1 - Definition and implementation of temporal operators for a 4D query language
AU - Daum, S.
AU - Borrmann, A.
PY - 2013
Y1 - 2013
N2 - Currently, there is no technology available to validate 4D Building Information Models using formal methods of temporal and spatial analysis. We propose to fill this technological gap by providing a query language which provides dedicated spatial and temporal operators. In the presented approach, a building is digitally represented by an instance of the neutral data format Industry Foundation Classes (IFC). With reference to the temporal and spatial data, the promoted IFC class structure is optimized for the particular query functionality. On the basis of this adapted object model, we make use of the Language-Integrated Query technology (LINQ) provided by Microsoft's.NET framework. As LINQ was originally developed for defining static queries which are evaluated at compile time, we have implemented a dynamic version called Live LINQ in order to allow the user to flexibly formulate queries and to process these during the runtime of the BIM application. The developed interface provides a powerful and easy-to use mechanism for the spatial-temporal analysis and verification of 4D building information models.
AB - Currently, there is no technology available to validate 4D Building Information Models using formal methods of temporal and spatial analysis. We propose to fill this technological gap by providing a query language which provides dedicated spatial and temporal operators. In the presented approach, a building is digitally represented by an instance of the neutral data format Industry Foundation Classes (IFC). With reference to the temporal and spatial data, the promoted IFC class structure is optimized for the particular query functionality. On the basis of this adapted object model, we make use of the Language-Integrated Query technology (LINQ) provided by Microsoft's.NET framework. As LINQ was originally developed for defining static queries which are evaluated at compile time, we have implemented a dynamic version called Live LINQ in order to allow the user to flexibly formulate queries and to process these during the runtime of the BIM application. The developed interface provides a powerful and easy-to use mechanism for the spatial-temporal analysis and verification of 4D building information models.
UR - http://www.scopus.com/inward/record.url?scp=84887329179&partnerID=8YFLogxK
U2 - 10.1061/9780784413029.059
DO - 10.1061/9780784413029.059
M3 - Conference contribution
AN - SCOPUS:84887329179
SN - 9780784477908
T3 - Computing in Civil Engineering - Proceedings of the 2013 ASCE International Workshop on Computing in Civil Engineering
SP - 468
EP - 475
BT - Computing in Civil Engineering - Proceedings of the 2013 ASCE International Workshop on Computing in Civil Engineering
PB - American Society of Civil Engineers (ASCE)
T2 - 2013 ASCE International Workshop on Computing in Civil Engineering, IWCCE 2013
Y2 - 23 June 2013 through 25 June 2013
ER -