Verification of constraints satisfaction
CVD meta-model
Figure 1 - Kernel of the CVD meta-model
Figure 2 - CVD.ecore
CC meta-model
Figure 3 - Kernel of the CC meta-model
Figure 4 - CC.ecore
HOT
Figure 5 - HOT
MAST-2 scenario
Integrity constraints
Figure 6 - Mast2_integrity.cc.xmi