Model view checking: automated validation for IFC building models

被引:0
|
作者
Zhang, C. [1 ]
Beetz, J. [1 ]
Weise, M. [2 ]
机构
[1] Eindhoven Univ Technol, Eindhoven, Netherlands
[2] AEC3 Deutschland GmbH, Munich, Germany
来源
EWORK AND EBUSINESS IN ARCHITECTURE, ENGINEERING AND CONSTRUCTION 2014 | 2015年
关键词
D O I
暂无
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
The validation for IFC building models is becoming increasingly important in BIM-based collaboration processes. In this paper we are reporting on a prototypical implementation of a model view checker for IFC validation. Although some checking methods have already been developed and implemented, they are based on proprietary methods which cannot be easily accessed, used and extended by end-users. This checker is developed based on the open mvdXML standard and is implemented on top of the bimserver. org framework. The checker is validated using rule-sets that were developed based on real-world BIM standards as test examples.
引用
收藏
页码:123 / 128
页数:6
相关论文
共 50 条
  • [31] IFC2BCM: A Tool for Generating IndoorGML and Building Configuration Model from IFC
    Jia, Zhuroan
    Nourian, Pirouz
    Luscuere, Peter
    Wagenaar, Cor
    SOFTWAREX, 2025, 29
  • [32] Minimum distance model checking in Berkson measurement error models with validation data
    Pei Geng
    Hira L. Koul
    TEST, 2019, 28 : 879 - 899
  • [33] Minimum distance model checking in Berkson measurement error models with validation data
    Geng, Pei
    Koul, Hira L.
    TEST, 2019, 28 (03) : 879 - 899
  • [34] ValiFrag: validation of fragments during automated protein model building.
    Pereira, Joana
    Wiegels, Tim
    Lamzin, Victor
    ACTA CRYSTALLOGRAPHICA A-FOUNDATION AND ADVANCES, 2013, 69 : S296 - S296
  • [35] Model building and model checking for biochemical processes
    Antoniotti, M
    Policriti, A
    Ugel, N
    Mishra, B
    CELL BIOCHEMISTRY AND BIOPHYSICS, 2003, 38 (03) : 271 - 286
  • [36] Model building and model checking for biochemical processes
    Marco Antoniotti
    Alberto Policriti
    Nadia Ugel
    Bud Mishra
    Cell Biochemistry and Biophysics, 2003, 38 : 271 - 286
  • [37] Model checking approach to automated planning
    Yi Li
    Jin Song Dong
    Jing Sun
    Yang Liu
    Jun Sun
    Formal Methods in System Design, 2014, 44 : 176 - 202
  • [38] Clustering Information Types for Semantic Enrichment of Building Information Models to Support Automated Code Compliance Checking
    Bloch, Tanya
    Sacks, Rafael
    JOURNAL OF COMPUTING IN CIVIL ENGINEERING, 2020, 34 (06)
  • [39] Model checking approach to automated planning
    Li, Yi
    Dong, Jin Song
    Sun, Jing
    Liu, Yang
    Sun, Jun
    FORMAL METHODS IN SYSTEM DESIGN, 2014, 44 (02) : 176 - 202
  • [40] A Machine-Learning Approach for Semantic Matching of Building Codes and Building Information Models (BIMs) for Supporting Automated Code Checking
    Zhang, Ruichuan
    El-Gohary, Nora
    RECENT RESEARCH IN SUSTAINABLE STRUCTURES, 2020, : 64 - 73