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 条
  • [41] Evaluation of the Opportunities and Limitations of Using IFC Models as Source of Building Metadata
    Lange, Henrik
    Johansen, Aslak
    Kjaergaard, Mikkel Baun
    BUILDSYS'18: PROCEEDINGS OF THE 5TH CONFERENCE ON SYSTEMS FOR BUILT ENVIRONMENTS, 2018, : 21 - 24
  • [42] A SPARQL query engine for binary-formatted IFC building models
    Krijnen, Thomas
    Beetz, Jakob
    AUTOMATION IN CONSTRUCTION, 2018, 95 : 46 - 63
  • [43] 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
  • [44] Building performance and maintenance information model based on IFC schema
    Marmo, Rossella
    Polverino, Francesco
    Nicolella, Maurizio
    Tibaut, Andrej
    AUTOMATION IN CONSTRUCTION, 2020, 118
  • [45] Aspect validation using model checking
    Katz, S
    Sihman, M
    VERIFICATION: THEORY AND PRACTICE: ESSAYS DEDICATED TO ZHOAR MANNA ON THE OCCASION OF HIS 64TH BIRTHDAY, 2003, 2772 : 373 - 394
  • [46] The hidden models of model checking
    Visser, Willem
    Dwyer, Matthew B.
    Whalen, Michael
    SOFTWARE AND SYSTEMS MODELING, 2012, 11 (04) : 541 - 555
  • [47] Applying novelty detection to identify model element to IFC class misclassifications on architectural and infrastructure Building Information Models
    Koo, Bonsang
    Shin, Byungjin
    JOURNAL OF COMPUTATIONAL DESIGN AND ENGINEERING, 2018, 5 (04) : 391 - 400
  • [48] Automated validation of software models
    Sims, S
    Cleaveland, R
    Butts, K
    Ranville, S
    16TH ANNUAL INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2001), PROCEEDINGS, 2001, : 91 - 96
  • [49] The hidden models of model checking
    Willem Visser
    Matthew B. Dwyer
    Michael Whalen
    Software & Systems Modeling, 2012, 11 : 541 - 555
  • [50] Model checking with graphical validation rules
    Feja, Sven
    Foetsch, Daniel
    FIFTEENTH IEEE INTERNATIONAL CONFERENCE AND WORKSHOPS ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS, 2008, : 117 - 125