A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is
Proceedings of the 2021 European Conference on Computing in Construction
This paper proposes a novel 'bottom-up' object-oriented approach for automated model checking and the corresponding plugin prototype. The approach and the prototype enable four key processes: (i) define and interpret the requirement rules, (ii) prepare the BIM object data, (iii) execute the requirement rules, and (iv) report the results that were made available to the user. To demonstrate the feasibility and accuracy of the approach, we use a case study from the foodservice equipment industrydoi:10.35490/ec3.2021.152 fatcat:qmbnetil2bbpdbtt5qmbxh7k2m