Formal modelling and validation of a novel building information model

Building Information Physical Model (BIPM) is a new special information model in which information processes and physical processes are coupled and intertwined, integrating static information, dynamic interaction mechanisms and physical mechanisms, while how to model and verify the theory of BIPM becomes an urgent problem to be solved. In this paper, firstly, we further improve the BIPM conceptual framework to make the interaction between the information model, the physical model, the interaction model and the three sub-models more clear and complete. In this way, we achieve the purpose of integrating dynamic and static attribute information and physical information of buildings into one environment. Secondly, we combine the implementation logic of BIPM with a strict mathematical description to establish the theoretical model of BIPM, so that BIPM accurately and realistically reflects the behavioral state in physical space, realizes the two-way interaction of virtual physics, achieving the purpose of controlling physics with virtual and optimal regulation. Again, we validated the theoretical model of BIPM by formal modelling using Communication Sequential Process (CSP), which proved the reliability and correctness of BIPM. Further, we have built a BIPM prototype system in conjunction with a chiller to validate the proposed modelling approach, which proves the feasibility and effectiveness of the modelling approach. BIPM is expected to form a new paradigm for information model of the building, which will provide basic support for the development of new platforms such as BIPM-based building operation and maintenance and urban digital twin.