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

Figure 4

The Abstract Syntax of CDL.