Evaluating Conceptual Model of Complex Simulation System Using Qualitative Simulation

摘要

A component connection modeling(CC) scheme is adopted to construct executable model of conceptual model of complex simulation system. CC has defined component in two parts: the interface and the implement. Then Qsim constraint represents for behavior generation is compiled from defined conceptual models by combining the interface variables. With properties of conceptual model formally described by the temporal logic CTL, then rationality and credibility of conceptual model can be evaluated by combining an implemented, semantic approach, model-checking algorithm for the properties with a corresponding Kripke structure, which is transformed from the behavior generation above. In the end, by putting a formal model check on a two-tank pumped loop system detailedly, the respective conclusions are listed.