Skip to main content
SpringerLink
Log in

Foundation of a Framework to Support Compliance Checking in Construction Industry

  • Conference paper
  • First Online:
Book cover Structured Object-Oriented Formal Language and Method (SOFL+MSVL 2017)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 10795))

  • 876 Accesses

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

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. 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)

    Article  Google Scholar 

  2. International Code Council: International Codes (2009). https://archive.org/stream/gov.law.icc.ibc.2009#page/n177/mode/2up. Accessed 23 July 2017

  3. 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)

    Google Scholar 

  4. Graydon, P., Habli, I., Hawkins, R., Kelly, T., Knight, J.: Arguing conformance. IEEE Softw. 29, 50–57 (2012)

    Article  Google Scholar 

  5. Kelly, T.: Arguing safety - a systematic approach to manage safety cases. Doctoral dissertation, Department of Computer Science, University of York (1998)

    Google Scholar 

  6. Woehrle, M., Lampka, K., Thiele, L.: Conformance testing for cyber-physical systems. ACM Trans. Embed. Comput. Syst. 11(4), 1–23 (2013)

    Article  Google Scholar 

  7. 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

    Chapter  Google Scholar 

  8. 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)

    Article  Google Scholar 

  9. 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

    Google Scholar 

  10. 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

    Chapter  Google Scholar 

  11. France, R., Rumpe, B.: Model-driven development of complex software: a research roadmap. In: Proceedings of Future of Software Engineering (2007)

    Google Scholar 

  12. Dimyadi, J., Amor, R.: Automated building code compliance checking–where is it at. In: CIB WBC (2013)

    Google Scholar 

  13. Kasim, T.: BIM-based smart compliance checking to enhance environmental sustainability. Dissertation, Cardiff University (2015)

    Google Scholar 

  14. 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)

    Article  Google Scholar 

  15. Nawari, N.O.: Automating codes conformance in structural domain. In: International Workshop on Computing in Civil Engineering (2011)

    Google Scholar 

  16. Solihin, W., Eastman, C.: Classification of rules for automated BIM rule checking development. Autom. Constr. 53, 69–82 (2015)

    Article  Google Scholar 

  17. 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)

    Google Scholar 

  18. Tan, X., Hammad, A., Fazio, P.: Automated code compliance checking for building envelope design. J. Comput. Civ. Eng. 24(2), 203–211 (2010)

    Article  Google Scholar 

  19. 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)

    Google Scholar 

  20. 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)

    Article  Google Scholar 

  21. 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)

    Google Scholar 

  22. The Object Management Group (OMG): Unified Modeling Language (OMG UML), Superstructure Specification (Version 2.4.1) (2011)

    Google Scholar 

  23. The Object Management Group: The Object Constraint Language (OCL) Version 2.4 (2014)

    Google Scholar 

  24. 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)

    Article  Google Scholar 

  25. 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)

    Google Scholar 

  26. Building SMART: IFC Introduction. http://buildingsmart.org/ifc/

  27. Tien, F.S., Zhong, Q.: Construction and Real Estate NETwork (CORENET). Facilities 19(11/12), 419–428 (2001)

    Article  Google Scholar 

  28. 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

  29. 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

  30. Zhang, J., El-Gohary, N.: Automated information transformation for automated regulatory compliance checking in construction. J. Comput. Civ. Eng. 29(4), B4015001 (2015)

    Article  Google Scholar 

  31. Richters, M., Gogolla, M.: Validating UML models and OCL constraints. In: Proceedings of Unified Modeling Languages (UML 2000), York, England (2000)

    Google Scholar 

  32. 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)

    Article  Google Scholar 

  33. The Object Management Group: Unified Modeling Language (OMG UML), Superstructure Specification (Version 2.4.1) (2012)

    Google Scholar 

  34. 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)

    Article  Google Scholar 

  35. Eclipse Foundation. http://www.eclipse.org/modeling/mdt/

  36. Steinberg, D., Budinsky, F., Merks, E., Paternostro, M.: EMF: Eclipse Modeling Framework. Pearson Education, London (2008)

    Google Scholar 

  37. Leroux, D., Nally, M., Hussey, K.: Rational software architect: a tool for domain-specific modeling. IBM Syst. J. 45(3), 555–568 (2006)

    Article  Google Scholar 

  38. 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

    Chapter  Google Scholar 

  39. Hunt, W.: Modeling, verification of cyber-physical systems. In: National Workshop on High-Confidence Automotive Cyber-Physical Systems (2008)

    Google Scholar 

  40. Denney, E., Pai, G.: Automating the assembly of aviation of safety cases. IEEE Trans. Reliab. 63(4), 830–849 (2014)

    Article  Google Scholar 

Download references

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

  1. Department of Computer Science, Western Michigan University, Kalamazoo, MI, USA

    Wuwei Shen & Chung-Ling Lin

  2. State Key Laboratory of Computer Science, Institute of Software, CAS, Beijing, China

    Guangyuan Li

  3. School of Computer and Control Engineering, UCAS, Beijing, China

    Guangyuan Li

  4. Beijing University of Posts and Telecommunications, Beijing, China

    Hongliang Liang

Authors
  1. Wuwei Shen
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Guangyuan Li
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Chung-Ling Lin
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Hongliang Liang
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Wuwei Shen .

Editor information

Editors and Affiliations

  1. Xidian University, Xi’an, China

    Cong Tian

  2. Nihon University, Tokyo, Japan

    Fumiko Nagoya

  3. Hosei University, Koganei-shi, Tokyo, Japan

    Shaoying Liu

  4. Xidian University, Xi’an, China

    Zhenhua Duan

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer International Publishing AG, part of Springer Nature

About this paper

Check for updates. Verify currency and authenticity via CrossMark

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)

Publish with us

Policies and ethics

Search

Navigation