Alloy Metamodel
Up one levelThe 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 Ecore metamodel
- Alloy EMF metamodel description, created automatically with Kermeta.
-
Alloy.km
- The Alloy metamodel as a Kermeta model.
-
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.