Pramana Download
Up one levelThe directory contains Pramana's source code.
-
Cartier's Main Transformation
- Metamodel to Alloy implemented in Kermeta
-
Cartier's Alloy Solver
- Solve the generated Alloy model
-
Cartier Alloy 2 EMF Transformer
- This transformation is from Alloy XML to XMI
-
Cartier's Flatten Prototype