Productos MAST-2


Metamodelos MAST-2

MAST-2 core

  • Descargar especificación (formato PDF)
  • Descargar metamodelo (formato eCore - XMI)


    • Figura 1 - Mast2.ecore


    MAST-2 Results

  • Descargar especificación
  • Descargar metamodelo (formato eCore - XMI)


    • Figura 2 - Mast2_Result.ecore


    MAST-2 Traces

  • Descargar especificación
  • Descargar metamodelo (formato eCore - XMI)


    • Figura 3 - Mast2_Trace.ecore


    Laxitud del metamodelo

    Análisis de laxitud

    El metamodelo MAST-2 posee una formulación laxa, por lo que los modelos conformes a él no tienen porqué ser necesariamente coherentes. En concreto, sobre su formulación se reconocen más de 40 laxitudes y para su prevención ha sido especificado un conjunto de restricciones (intrínsecas) de integridad o reglas de well-formedness.

    Estas laxitudes o situaciones potencialmente problemáticas se pueden clasificar en tres categorías:

    • Laxitud debido a la formulación laxa de los atributos de una clase.
    • Laxitud debido a la formulación laxa de una asociación entre dos clases.
    • Laxitud debido a dos o más asociaciones.

  • Descargar análisis detallado (formato PDF)

    • Restricciones de integridad


  • Descargar fichero standalone (formato OCL)
  • Descargar metamodelo con restricciones embebidas (formato eCore - XMI)


    • Gramática MAST-2

  • Descargar gramática (formato Xtext)


    • W3C-Schema MAST-2

  • Descargar W3C-Schema (formato XML)


    • Editor en árbol (basado en EMF)

  • Descargar especificación (PDF format)
  • Descargar plug-ins Eclipse (ZIP format)


    • Figura 4 - Editor en árbol



    Editor textual (basado en Xtext)

  • Descargar especificación (PDF format)
  • Descargar plug-ins Eclipse (ZIP format)


    • Figura 5 - Editor textual