Skip to content
CNRS
|
Université Rennes 1
|
INRIA
|
INSA
Projet Triskell
Projet Triskell
Home
|
Publications
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
2002
2001
2000
1999
1998
You are here:
Home
»
Software
»
Pramana
»
Alloy Metamodel
»
Alloy.kmt
Français
Navigation
Home
Team members
Publications
Software
KerMeta
Tools under development & prototypes
Former tools
Pramana
Alloy.kmt
Document Actions
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.
Download
(alloy.kmt - 30Kb)