May be somewhat confusing as there is already an "Alloy" language from MIT for modeling:

http://alloy.mit.edu/alloy/