EXPLORING SEMANTIC BASED MODEL CHECKING

This paper explores the foundation of semantic based model checking concepts. Development of computable rules in a pure semantic based concept is characterized by “soft coding” by following a pre-defined mark-up methodology for linguistic (text and numbers) analysis, organization, execution and reporting. The software programming for this can be done automatically or semi-automatically based on predefined procedures. This enables a person skilled in the AEC domain to develop applicable rules without support of programmers. The rules can be then be applied to the semantic content of a Building Information Model, typically in the IFC format. Whether it is possible to develop a valid and reliable system applicable to rule sources (laws, codes, regulations and standards) depends on testing two key hypotheses: The user's perspective is basis for the first hypothesis which says that a pre-defined semantic system or toolset can be used by person skilled in the AEC domain (not software programmer) to define rules. The second hypothesis proposes that a system for automatic, or semi-automatic, generation of applicable rule sets for software implementation can be developed.