Representation and execution of building codes for automated code checking

被引:0
|
作者
Yang, QZ [1 ]
Li, X [1 ]
机构
[1] Gint Inst Mfg Technol, Mfg IT Div, Singapore, Singapore
来源
COMPUTER AIDED ARCHITECTURAL DESIGN FUTURES 2001, PROCEEDINGS | 2001年
关键词
object orientation; design representation; code representation; rule execution; automated building code checking;
D O I
暂无
中图分类号
TU [建筑科学];
学科分类号
0813 ;
摘要
Computer-based representation and execution of building codes are investigated from the perspective of facilitating the operation of automated building code checking. The automated procedure proposed in this paper is based on the object-oriented (00) representations for both building design and building code. These 00 representation models fully support the execution of building compliance checking automatically. A prototype in Java on Windows NT has been developed to implement our approaches presented in this paper. Case studies are also conducted by using this prototype for automatic checking of building designs compliance with building codes under the "Technical Requirements for Household and Storey Shelters" of Singapore.
引用
收藏
页码:315 / 329
页数:15
相关论文
共 50 条
  • [31] Implementation of an Automated Code Checking Algorithm Based on Site Analysis
    Jeongmin, Seong
    Sangyun, Shin
    BUILDINGS, 2024, 14 (06)
  • [32] A KNOWLEDGE-BASED SYSTEM FOR AUTOMATED ARCHITECTURAL CODE CHECKING
    DYM, CL
    HENCHEY, RP
    DELIS, EA
    GONICK, S
    COMPUTER-AIDED DESIGN, 1988, 20 (03) : 137 - 145
  • [33] Client/server framework for on-line building code checking
    Han, CS
    Kunz, JC
    Law, KH
    JOURNAL OF COMPUTING IN CIVIL ENGINEERING, 1998, 12 (04) : 181 - 194
  • [34] Automated coverage-driven testing: combining symbolic execution and model checking
    Ting SU
    Geguang PU
    Weikai MIAO
    Jifeng HE
    Zhendong SU
    Science China(Information Sciences), 2016, 59 (09) : 242 - 243
  • [35] Automated coverage-driven testing: combining symbolic execution and model checking
    Su, Ting
    Pu, Geguang
    Miao, Weikai
    He, Jifeng
    Su, Zhendong
    SCIENCE CHINA-INFORMATION SCIENCES, 2016, 59 (09)
  • [36] Automated Compliance Checking System for Structural Design Codes in a BIM Environment
    Goh, Wonhui
    Jang, Jaeguk
    Park, Sang I.
    Choi, Bong-Hyuck
    Lim, Heuiseok
    Zi, Goangseup
    KSCE JOURNAL OF CIVIL ENGINEERING, 2024, 28 (10) : 4175 - 4189
  • [37] Protecting Legacy Code against Control Hijacking via Execution Location Equivalence Checking
    Pfeffer, Tobias F.
    Sydow, Stefan
    Fellmuth, Joachim
    Herber, Paula
    2016 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY (QRS 2016), 2016, : 230 - 241
  • [38] Rule capture of automated compliance checking of building requirements: a review
    Zhang Z.
    Broyd T.
    Ma L.
    Proceedings of the Institution of Civil Engineers: Smart Infrastructure and Construction, 2023, 176 (04) : 224 - 238
  • [39] Model view checking: automated validation for IFC building models
    Zhang, C.
    Beetz, J.
    Weise, M.
    EWORK AND EBUSINESS IN ARCHITECTURE, ENGINEERING AND CONSTRUCTION 2014, 2015, : 123 - 128
  • [40] Unpacking Ambiguity in Building Requirements to Support Automated Compliance Checking
    Zhang, Zijing
    Ma, Ling
    Nisbet, Nicholas
    JOURNAL OF MANAGEMENT IN ENGINEERING, 2023, 39 (05)