Symmetry-Aware Hybrid Verification for Complex Building Information Systems

As building information model technologies become more complex and interconnected, the validation of building information models remains critical to ensure their reliability and effectiveness in practical applications. However, most of the existing research focuses on the application of building information modeling in a single domain and lacks the collaborative validation of the overall behavior of complex dynamic systems. Therefore, how to ensure the correctness and reliability of complex building systems has become a challenging issue. To solve this problem, this paper proposes a symmetry-aware hybrid validation framework that combines Timed Automata (TA), Unified Modeling Language (UML), and AnyLogic simulation to enhance the logical correctness and practical reliability of complex building information systems; the framework inherently preserves structural and temporal symmetry between formal models and dynamic simulations, ensuring consistent validation across virtual–physical interactions. Taking the Building Information Physical Model (BIPM) as an example, the method first solves the defects of traditional methods in logical consistency and reliability validation by firstly modeling the structural model and behavioral logic of the BIPM through UML normalization, transforming the behavioral logic of the BIPM into a network of TA, and realizing the formal validation of its dynamic interaction mechanism to enhance the logical correctness and practical reliability of the complex building information system. Secondly, AnyLogic is used to map the BIPM structural model into a visual simulation model, which supports the real-time dynamic display of building system behavior and performance analysis, enhances the interpretability of the model, and provides an intuitive decision-making platform for stakeholders. Finally, an empirical study of an air conditioning system as a case study shows that the method can effectively integrate formal verification and dynamic visualization techniques, providing a scalable solution for the collaborative verification of complex building systems.