OntCheck: An Ontology-Driven Static Correctness Checking Tool for Component-Based Models

Figure 2

The overall framework of OntCheck.