Restrictive views
CVS meta-model
Figure 1 - Kernel of the CVS meta-model
Download complete description (PDF format)
Download meta-model (eCore - XMI format)
Download integrity constraints (OCL format)
Figure 2 - CVS.ecore
Figure 3 - Promoting transformation
Download transformation (ATL format)
HOT
Figure 4 - HOT
Download HOT (ATL format)
MAST-2 scenario
The LinuxClassicRMA view (LCRMA)
...........
...........
Download especification (PDF format)
Sample MAST-2 model according to LCRMA
Figure 5 - MAST-2 model according to the LCRMA view
Download model (eCore - XMI format)
Figure 6 - finalModel.mast2.xmi
CVS model
Figure 6 - Kernel of the CVS model for the LCRMA view
Download model (eCore - XMI format)
Figure 7 - MAST2-LCRMA.cvs.xmi
VRD meta-model
Figure 8 - VRD meta-model
Download meta-model (eCore - XMI format)
Figure 9 - LCRMA_VRD.ecore
Operator model
Figure 10 -
Download model (eCore - XMI format)
Figure 11 - operatorModel.vrd.xmi
Transformation LCRMA_VRD -> MAST2
Download transformation (ATL format)
The SimpleMAST-2 view (SM2)
...........
...........
Download especification (PDF format)