getTransformation method added
UML2RDBMS QVT added
Support for multiple metamodels (shared Alloy sigs)
Alloy running multiple metamodels
QVT2Alloy: running for a basic example
UML2RDBMS running without where/when.
QVT2Alloy general cleanup
QVT2Alloy general cleanup
QVT2Alloy: support for when/where clauses
QVT2Alloy: support for when/where clauses
UML2RDBMS example changes.
QVT2Alloy implemented (for basic OCL)