This paper describes a framework for automating manual compliantbuilding engineering design procedures in conjunction withformalized regulatory knowledge in open standard representations.For illustration purposes, the verification method prescribed by theBuilding Code of New Zealand (NZBC) for the performance-basedfire engineering design of buildings has been used in this project.