Computer Guided Model Checking System and Method

摘要

A semi-automatic information filling system and method for a model checking system is disclosed. The information filling system and method identifies missing information in a computer-generated model that is a digital representation of a physical object. The information filling system and method is particularly useful in connection with a rules-based model checking system for a building information modeling (BIM) model.

主权项

1. A model checking system for checking a computer-generated model representing a physical object comprising:
a. a rules set manager module containing a pre-established rules set that specifies requirements for the physical object; b. a model information manager module that compares the rules set to the computer-generated model and identifies information missing from the computer-generated model; c. a task list manager module for receiving the identify missing information from the model information manager module and creating a task list listing the missing information from the computer-generated model.