Home

Welcome to the AlloyMDA project wiki!

This project intends to develop tools to enable MDA support for the formal modeling language Alloy. So far, we have implemented the following model transformation tools:

• alloy2cd (transforms Alloy models to Class Diagrams)
• alloy2ocl (transforms Alloy models to OCL specifications)
• cd2alloy (transforms Class Diagrams to Alloy)
• ocl2alloy (transforms OCL specifications to Alloy models)

All tools read models from the standard input and produce models in the standard output. The ocl2alloy tool must receive as argument a file with a class diagram. Class diagrams are stored in XMI format. Alloy and OCL models must conform to the syntax described in the following paper:

• Alcino Cunha, Ana Garis, and Daniel Riesco: Translating between Alloy Specifications and UML Class Diagrams Annotated with OCL. Submitted to SoSyM. This is an extend version of a previous paper accepted at SEFM'11.

The tools have been developed in Haskell with GHC. The most current version of the source code can be downloaded from the SVN trunk repository. To compile it you will need the following Haskell packages: mtl, syb, and parsec. The last stable version is the SoSyM one, available in the downloads section. Here are some examples of running the tools:

Input	Output
[Book.als]	[alloy2cd < Book.als]
[Book.als]	[alloy2ocl < Book.als]
[Book.uml]	[cd2alloy < Book.uml]
[Book.uml] [Book.ocl]	[ocl2alloy Book.uml < Book.ocl]
[FileSystem.als]	[alloy2cd < FileSystem.als]
[FileSystem.als]	[alloy2ocl < FileSystem.als]
[FileSystem.uml]	[cd2alloy < FileSystem.uml]
[FileSystem.uml] [FileSystem.ocl]	[ocl2alloy FileSystem.uml < FileSystem.ocl]
[Student.als]	[alloy2cd < Student.als]
[Student.als]	[alloy2ocl < Student.als]
[Student.uml]	[cd2alloy < Student.uml]
[Student.uml] [Student.ocl]	[ocl2alloy Student.uml < Student.ocl]
[Genealogy.uml]	[cd2alloy < Genealogy.uml]
[Genealogy.uml] [Genealogy.ocl]	[ocl2alloy Genealogy.uml < Genealogy.ocl]
[Genealogy.als]	[alloy2cd < Genealogy.als]
[Genealogy.als]	[alloy2ocl < Genealogy.als]

Project Admins:

• Alcino Cunha