BIM-Based Model Checking: A Scientometric Analysis and Critical Review
Building information modeling (BIM) has been widely applied throughout the entire lifecycle of projects in the architecture, engineering, and construction (AEC) industry. The errors in BIM models can lead to significant losses in engineering projects, thus leading to BIM-based model checking (BMC) t...
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
MDPI AG
2024-12-01
|
| Series: | Applied Sciences |
| Subjects: | |
| Online Access: | https://www.mdpi.com/2076-3417/15/1/49 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1841549473975631872 |
|---|---|
| author | Sihao Li Ziyang Jiang Zhao Xu |
| author_facet | Sihao Li Ziyang Jiang Zhao Xu |
| author_sort | Sihao Li |
| collection | DOAJ |
| description | Building information modeling (BIM) has been widely applied throughout the entire lifecycle of projects in the architecture, engineering, and construction (AEC) industry. The errors in BIM models can lead to significant losses in engineering projects, thus leading to BIM-based model checking (BMC) technology garnering an increasing amount of attention. Despite numerous documents detailing the BMC process, there is a lack of systematic analysis and visualization of existing research. This study employs a combined approach of scientometric analysis and a critical review to survey articles on BMC published from 2008 to 2024 in the Web of Science (WOS) and Scopus databases. The scientific analysis objectively presents the status and evolution of this research field through quantitative data, including publications, authors, and references. Furthermore, the critical review is employed to analyze the content of the articles, summarizing the topics and challenges of current research. Finally, potential promising directions for future development are proposed. |
| format | Article |
| id | doaj-art-fce6f09415aa49a5b3800d81bf7e298f |
| institution | Kabale University |
| issn | 2076-3417 |
| language | English |
| publishDate | 2024-12-01 |
| publisher | MDPI AG |
| record_format | Article |
| series | Applied Sciences |
| spelling | doaj-art-fce6f09415aa49a5b3800d81bf7e298f2025-01-10T13:14:16ZengMDPI AGApplied Sciences2076-34172024-12-011514910.3390/app15010049BIM-Based Model Checking: A Scientometric Analysis and Critical ReviewSihao Li0Ziyang Jiang1Zhao Xu2School of Civil Engineering, Southeast University, Nanjing 210096, ChinaSchool of Civil Engineering, Southeast University, Nanjing 210096, ChinaSchool of Civil Engineering, Southeast University, Nanjing 210096, ChinaBuilding information modeling (BIM) has been widely applied throughout the entire lifecycle of projects in the architecture, engineering, and construction (AEC) industry. The errors in BIM models can lead to significant losses in engineering projects, thus leading to BIM-based model checking (BMC) technology garnering an increasing amount of attention. Despite numerous documents detailing the BMC process, there is a lack of systematic analysis and visualization of existing research. This study employs a combined approach of scientometric analysis and a critical review to survey articles on BMC published from 2008 to 2024 in the Web of Science (WOS) and Scopus databases. The scientific analysis objectively presents the status and evolution of this research field through quantitative data, including publications, authors, and references. Furthermore, the critical review is employed to analyze the content of the articles, summarizing the topics and challenges of current research. Finally, potential promising directions for future development are proposed.https://www.mdpi.com/2076-3417/15/1/49building information modeling (BIM)automated compliance checkingscientometricscritical reviewindustry foundation classes (IFC) |
| spellingShingle | Sihao Li Ziyang Jiang Zhao Xu BIM-Based Model Checking: A Scientometric Analysis and Critical Review Applied Sciences building information modeling (BIM) automated compliance checking scientometrics critical review industry foundation classes (IFC) |
| title | BIM-Based Model Checking: A Scientometric Analysis and Critical Review |
| title_full | BIM-Based Model Checking: A Scientometric Analysis and Critical Review |
| title_fullStr | BIM-Based Model Checking: A Scientometric Analysis and Critical Review |
| title_full_unstemmed | BIM-Based Model Checking: A Scientometric Analysis and Critical Review |
| title_short | BIM-Based Model Checking: A Scientometric Analysis and Critical Review |
| title_sort | bim based model checking a scientometric analysis and critical review |
| topic | building information modeling (BIM) automated compliance checking scientometrics critical review industry foundation classes (IFC) |
| url | https://www.mdpi.com/2076-3417/15/1/49 |
| work_keys_str_mv | AT sihaoli bimbasedmodelcheckingascientometricanalysisandcriticalreview AT ziyangjiang bimbasedmodelcheckingascientometricanalysisandcriticalreview AT zhaoxu bimbasedmodelcheckingascientometricanalysisandcriticalreview |