Skip to content
  Projet Triskell  
 

Alloy Metamodel

Up one level
The Alloy metamodel used in Pramana, built according to the language EBNF grammar. Available in Ecore, KM (Kermeta model) and KMT (Kermeta text syntax) formats.
Alloy Metamodel Alloy Ecore metamodel
Alloy EMF metamodel description, created automatically with Kermeta.
Alloy Metamodel Alloy.km
The Alloy metamodel as a Kermeta model.
Alloy Metamodel Alloy.kmt
The Alloy metamodel description in the Kermeta text syntax. This will allow the use of Kermeta to perform model transformations and other operations based on the Alloy metamodel.