Abstract
Computer use is pervasive in our daily life and the increasing demand for computer applications has penetrated into various domains. Construction industry has become one of domains which are more reliable on the application of computer to implement regulatory compliance checking. Like many safety critical domains, the construction domain has its own set of international building codes on construction projects which must comply with. With the increasing complexity of construction projects, many manual compliance checking techniques have shown some serious issues. First, the manual techniques are error-prone due to human errors. Second, the complexity of a construction project exceeds the human limit to deal with. Third, the evolution of a construction project is inevitable and the human maintenance of a construction project is almost impossible because either the memory of the original project design has faked away or some development team members are gone. So, it has become a new trend to employ computers to support automatic regulatory compliance checking in construction industry. In this paper, we propose a novel framework to support compliance checking with the emphasis on the foundation of automatic regulatory compliance checking to certify whether a construction project complies with some international building codes. An example is illustrated how compliance checking is performed in the framework.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Zhou, Z., Goh, Y.M., Shen, L.: Overview and analysis of ontology studies supporting development of the construction industry. J. Comput. Civ. Eng. 30(6), 04016026 (2016)
International Code Council: International Codes (2009). https://archive.org/stream/gov.law.icc.ibc.2009#page/n177/mode/2up. Accessed 23 July 2017
Model national energy code of Canada for houses 1997: Table A 3.3.1.1.—Prescriptive Requirements—Building Assemblies, 1st edn. National Research Council of Canada, Ottawa (1997)
Graydon, P., Habli, I., Hawkins, R., Kelly, T., Knight, J.: Arguing conformance. IEEE Softw. 29, 50–57 (2012)
Kelly, T.: Arguing safety - a systematic approach to manage safety cases. Doctoral dissertation, Department of Computer Science, University of York (1998)
Woehrle, M., Lampka, K., Thiele, L.: Conformance testing for cyber-physical systems. ACM Trans. Embed. Comput. Syst. 11(4), 1–23 (2013)
Hauge, A.A., Stølen, K.: A pattern-based method for safe control systems exemplified within nuclear power production. In: Ortmeier, F., Daniel, P. (eds.) SAFECOMP 2012. LNCS, vol. 7612, pp. 13–24. Springer, Heidelberg (2012). https://doi.org/10.1007/978-3-642-33678-2_2
Pajic, M., Jiang, Z., Lee, I., Sokolsky, O., Mangharam, R.: Safety-critical medical device development using the UPP2SF model translation tool. ACM Trans. Embed. Comput. Syst. 13(4), 1–26 (2014)
Rinehart, D.J., Knight, J.C., Rowanhill, J.: Current practices in constructing and evaluating assurance cases with applications to aviation. NASA/CR–2015-218678, January 2016
Denney, E., Pai, G.: A lightweight methodology for safety case assembly. In: Ortmeier, F., Daniel, P. (eds.) SAFECOMP 2012. LNCS, vol. 7612, pp. 1–12. Springer, Heidelberg (2012). https://doi.org/10.1007/978-3-642-33678-2_1
France, R., Rumpe, B.: Model-driven development of complex software: a research roadmap. In: Proceedings of Future of Software Engineering (2007)
Dimyadi, J., Amor, R.: Automated building code compliance checking–where is it at. In: CIB WBC (2013)
Kasim, T.: BIM-based smart compliance checking to enhance environmental sustainability. Dissertation, Cardiff University (2015)
Lipman, R., Palmer, M., Palacios, S.: Assessment of conformance and interoperability testing methods used for construction industry product models. Autom. Constr. 20(4), 418–428 (2011)
Nawari, N.O.: Automating codes conformance in structural domain. In: International Workshop on Computing in Civil Engineering (2011)
Solihin, W., Eastman, C.: Classification of rules for automated BIM rule checking development. Autom. Constr. 53, 69–82 (2015)
Song, J.-K., Cho, G.-H., Ju, K.-B.: A study on the rule development for BIM-based automatic checking in a duct system. Korean J. Air-Cond. Refrig. Eng. 25(13), 631–639 (2013)
Tan, X., Hammad, A., Fazio, P.: Automated code compliance checking for building envelope design. J. Comput. Civ. Eng. 24(2), 203–211 (2010)
Yeoh, J.K., Wong, J.H., Peng, L.: Integrating crane information models in BIM for checking the compliance of lifting plan requirements. In: International Symposium on Automation and Robotics in Construction (2016)
Yurchyshyna, A., Zarli, A.: An ontology-based approach for formalisation and semantic organisation of conformance requirements in construction. Autom. Constr. 18(8), 1084–1098 (2009)
Yurchyshyna1, A., Zucker, C.F., Thanh, N.L., Lima, C., Zarli, A.: Towards an ontology-based approach for conformance checking modeling in construction. In: Proceedings of 24th W78 Conference-Bringing ITC Knowledge to Work (2007)
The Object Management Group (OMG): Unified Modeling Language (OMG UML), Superstructure Specification (Version 2.4.1) (2011)
The Object Management Group: The Object Constraint Language (OCL) Version 2.4 (2014)
Pauwels, P., Van Deursen, D., Verstraeten, R., De Roo, J., De Meyer, R., Van de Walle, R., Van Campenhout, J.: A semantic rule checking environment for building performance checking. Autom. Constr. 20(5), 506–518 (2011)
Eastman, C.M., Teicholz, P., Sacks, R.: BIM Handbook: A Guide to Building Information Modeling for Owners, Managers, Designers, Engineers and Contractors. Wiley, Hoboken (2011)
Building SMART: IFC Introduction. http://buildingsmart.org/ifc/
Tien, F.S., Zhong, Q.: Construction and Real Estate NETwork (CORENET). Facilities 19(11/12), 419–428 (2001)
Khemlani, L.: CORENET e-PlanCheck: Singapore’s automated code checking system. AECbytes “Building the Future” Article, 26 October 2005. www.novacitynets.com/pdf/aecbytes_20052610.pdf. Accessed 23 July 2017
ICC (International Code Council): International Code Council AEC3, 26 October 2013. http://www.aec3.com/en/5/5_013_ICC.htm. Accessed 23 July 2017
Zhang, J., El-Gohary, N.: Automated information transformation for automated regulatory compliance checking in construction. J. Comput. Civ. Eng. 29(4), B4015001 (2015)
Richters, M., Gogolla, M.: Validating UML models and OCL constraints. In: Proceedings of Unified Modeling Languages (UML 2000), York, England (2000)
Paige, R.F., Brooke, P.J., Ostroff, J.S.: Metamodel-based model conformance and multiview consistency checking. ACM Trans. Softw. Eng. Methodol. (TOSEM) 16(3), 11 (2007)
The Object Management Group: Unified Modeling Language (OMG UML), Superstructure Specification (Version 2.4.1) (2012)
Chavez, H.M., Shen, W., France, R.B., Mechling, B.A., Li, G.: An approach to checking consistency between UML class model and its Java implementation. IEEE Trans. Softw. Eng. 42(4), 322–344 (2016)
Eclipse Foundation. http://www.eclipse.org/modeling/mdt/
Steinberg, D., Budinsky, F., Merks, E., Paternostro, M.: EMF: Eclipse Modeling Framework. Pearson Education, London (2008)
Leroux, D., Nally, M., Hussey, K.: Rational software architect: a tool for domain-specific modeling. IBM Syst. J. 45(3), 555–568 (2006)
Ayoub, A., Kim, B., Lee, I., Sokolsky, O.: A safety case pattern for model-based development approach. In: Goodloe, Alwyn E., Person, S. (eds.) NFM 2012. LNCS, vol. 7226, pp. 141–146. Springer, Heidelberg (2012). https://doi.org/10.1007/978-3-642-28891-3_14
Hunt, W.: Modeling, verification of cyber-physical systems. In: National Workshop on High-Confidence Automotive Cyber-Physical Systems (2008)
Denney, E., Pai, G.: Automating the assembly of aviation of safety cases. IEEE Trans. Reliab. 63(4), 830–849 (2014)
Acknowledgement
This project is supported by the Georgeau Construction Research Institute at Western Michigan University. Li is supported by the National Natural Science Foundation of China (Nos. 61472406 and 61532019).
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG, part of Springer Nature
About this paper
Cite this paper
Shen, W., Li, G., Lin, CL., Liang, H. (2018). Foundation of a Framework to Support Compliance Checking in Construction Industry. In: Tian, C., Nagoya, F., Liu, S., Duan, Z. (eds) Structured Object-Oriented Formal Language and Method. SOFL+MSVL 2017. Lecture Notes in Computer Science(), vol 10795. Springer, Cham. https://doi.org/10.1007/978-3-319-90104-6_7
Download citation
DOI: https://doi.org/10.1007/978-3-319-90104-6_7
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-90103-9
Online ISBN: 978-3-319-90104-6
eBook Packages: Computer ScienceComputer Science (R0)