Clafer ›

Clafer Translator

Type in your Clafer model and click on the Translate button to get corresponding model in another notation (Alloy, XML). Any feedback greatly appreciated!

Clafer Code:


Flatten inheritance (speeds up analysis on meta-models but increases model size)
Keep dead clafers (does not remove dead abstract clafers)
To:


Output Code:


Tags:

Comments

JAVA Implementation

Submitted by Anonymous on Sat, 03/03/2012 - 16:29.

Hello there, I'm an Argentinian teacher and i really like Clafer I was thinking about extending it, but the code is in Haskel witch is a problem for me, do you have some pseudocode or anything similar in order to re implement the code in JAVA

Thanks in advance

Hello! What kind of

Submitted by kbak on Fri, 03/09/2012 - 16:30.

Hello! What kind of extensions would you like to do? Reference Clafer implementation is only in Haskell.

If you want to work with Clafer models in other languages, you may use Clafer Intermediate Representation, which is an XML file with Clafer model.

When it comes to Java, http://gsd.uwaterloo.ca/jclafer describes how to generate a Clafer parser in Java (and only that).

Hey, I'm having issues

Submitted by Anonymous on Mon, 07/26/2010 - 06:12.

Hey, I'm having issues reading your site in Opera (the font is extremely tiny). I've tried increasing the font size from my browser's settings but that doesn't seem to work. Any tips on what I should do? (Btw, I'm on Windows 7) - how to lose weight free

Opera

Submitted by kbak on Fri, 10/01/2010 - 15:04.

Hey, I'm very sorry for late answer. I'm using Opera and the website looks fine. Increasing font size in the browser should work. Otherwise try to zoom in the web page.

Post new comment

Our lab is a very exciting place to learn and work!

Moises Branco

Our extensive industrial collaboration enables us to do research with immediate application to software development practices in realistic settings.

Thiago Tonelli Bartolomei