ABSTRACT
Regulations play an important role in assuring the integrity of the Building Information Model (BIM) in Architecture, Engineering and Construction (AEC) project. Regulation based BIM model checking is widely used in many disciplines. It can ensure the model meets users' various requirements or detect the potential defects. However, the correctness of checking result is not certainly guaranteed because of the incompleteness of model, the ambiguity of regulation etc. IFC has become an open international standard for BIM data that is exchanged and shared among software applications used by various participants in building construction or facility management project. In this paper, we propose a method to automatically check the integrity of IFC models relative to various building regulations. It can check comprehensively whether the information required by the regulation is contained in the model, demonstrating the problem elements. The standard IFC format of BIM models are considered. Given a building regulation, we first describe it formally by logic formulas, then extract an OWL model form IFC and generate corresponding SPARQL queries to check the information integrity. We propose several optimization strategies on the style of generated SPARQL queries and its execution flow, which can improve the time efficiency and deal with large-scale applications. A prototype has been implemented and used in the BIM models of a real building project in China. Our method found out many problems on the information integrity of construction BIM automatically, which helped to reduce the manual efforts on checking and ensure the correctness of construction BIM.
- F. Boukamp, B. Akinci, Automated processing of construction specifications to support inspection and quality control, Automation in Construction 17 (1) (2007) 90--106.Google ScholarCross Ref
- C. Eastman, J. Lee, Y. Jeong, J. Lee, Automatic rule-based checking of building designs, Automation in Construction 18 (8) (2010) 1011--1033.Google ScholarCross Ref
- X. Tan, A. Hammad, P. Fazio, Automated code integrity checking for building envelope design, Journal of Computing in Civil Engineering 24 (2) (2010) 203--211.Google ScholarCross Ref
- S.J. Fenves, Tabular decision logic for structural design, Journal of StructuralGoogle Scholar
- D. Jain, K.H. Law, H. Karwinkler, On processing standards with predicate calculus, Proceedings of the Sixth Conference on Computing in Civil Engineering, ASCE, Atlanta, Georgia, 1989.Google Scholar
- W.J. Rasdorf, S. Lakmazaheri, Logic-based approach for modeling organization of design standards, Journal of Computing in Civil Engineering 4 (2) (1990) 102--123.Google ScholarCross Ref
- S.J. Fenves, R.N. Wright, F.I. Stahl, K.A. Reed, Introduction to SASE: Standards Analysis, Synthesis, and Expression, Report NBSIR 87-3513 U.S, Department of Commerce, National Bureau of Standards, 1987.Google Scholar
- L. Khemlani, CORENET e-PlanCheck: Singapore's automated code checking system, http://www.aecbytes.com/buildingthefuture/2005/CORENETePlanCheck.html 2005 (Retrieved 03/01/2014, 2014).Google Scholar
- Solibri, Solibri model checker, http://www.solibri.com/products/solibri-model-checker/ (Retrieved 03/01/2016).Google Scholar
- novaCITYNETS, FORNAX Makes Headway in Kingdom of Saudi Arabia {Press release}, 2013.Google Scholar
- T.R. Gruber, Towards Principles for the Design of Ontologies Used for Knowledge Sharing, Formal Ontology in Conceptual Analysis and Knowledge Representation, Kluwer Academic Publishers, Deventer, the Netherlands, 1993.Google Scholar
- H. Kim, F. Grobler, Design coordination in building information modeling using ontological consistency checking, In: Proc. of the ASCE International Workshop on Computing in Civil Engineering, 2009, pp. 410--421.Google Scholar
- A. Yurchyshyna, A. Zarli, An ontology-based approach for formalization and semantic organization of conformance requirements in construction, Automation in Construction 18 (8) (2009) 1084--1098.Google ScholarCross Ref
- Apache Jena: http://jena.apache.org/Google Scholar
- JavaCC: the Java Compiler Compiler: https://javacc.java.net/Google Scholar
Index Terms
- Automatic Integrity Checking of IFC Models relative to building Regulations
Recommendations
Bounded model checking of high-integrity software
HILT '13: Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technologyModel checking [5] is an automated algorithmic technique for exhaustive verification of systems, described as finite state machines, against temporal logic [9] specifications. It has been used successfully to verify hardware at an industrial scale [6]. ...
Bounded model checking of high-integrity software
HILT '13Model checking [5] is an automated algorithmic technique for exhaustive verification of systems, described as finite state machines, against temporal logic [9] specifications. It has been used successfully to verify hardware at an industrial scale [6]. ...
Conditional model checking: a technique to pass information between verifiers
FSE '12: Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software EngineeringSoftware model checking, as an undecidable problem, has three possible outcomes: (1) the program satisfies the specification, (2) the program does not satisfy the specification, and (3) the model checker fails. The third outcome usually manifests itself ...
Comments