MAST-2 assets

MAST-2 core

Meta-model

Figure 1 - Mast2.ecore

W3C-Schema

Grammar

MAST-2 core MM laxity analysis

The MAST-2 meta-model has a lax formulation, so that the models compliant to it may not be necessarily coherent. Specifically, more that 40 laxities are recognized on its formulation and for their prevention a set of integrity (intrinsic) constraints or well-formedness rules has been specified.

These laxities or potentially problematic situations can be classified into 4 categories:

• Laxity due to the lax formulation of the attributes of a class.
• Laxity due to the lax formulation of the attributes of a class.
• Laxity due to the lax formulation of an association between two classes.
• Laxity due to two or more associations.

Integrity constraints

Tool-specific constraints

Classic RMA

EDF Monoprocessor

EDF Within Priorities

MAST-2 Results

Meta-model

Figure 2 - Mast2_Results.ecore

W3C-Schema

MAST-2 Traces

Meta-model

Figure 3 - Mast2_Traces.ecore

W3C-Schema

Tree editor (EMF-based)

Figure 4 - Tree editor

Textual editor (Xtext-based)

Figure 5 - Textual editor