A Comparison of Textual Modeling Languages: OCL, Alloy, FOML.

Mira Balaban, Phillipa Bennett, Khanh-Hoang Doan, Geri Georg, Martin Gogolla, Igal Khitron, Michael Kifer

Browse the full MODELS paper archive.