A comparison of textual modeling languages: OCL, alloy, FOML

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

Research output: Contribution to journalConference articlepeer-review

3 Scopus citations


Textual modeling languages are used in model-driven engineering for a variety of purposes. Among the most important purposes are querying a model and formulating restrictions like state invariants or operation pre- and postconditions. This paper compares three such languages. OCL augments UML as a precise language that provides constraint and object query expressions that cannot otherwise be expressed by a diagrammatic notation. Alloy is a simple but expressive logic based on the notion of relations. FOML is a logic rule language that supports object modeling, analysis, and inference. The paper shows typical models in each of the three languages and discusses similarities of and differences between the languages.

Original languageEnglish
Pages (from-to)57-72
Number of pages16
JournalCEUR Workshop Proceedings
StatePublished - 1 Jan 2016
Event16th International Workshop on OCL and Textual Modelling, OCL 2016 - Saint-Malo, France
Duration: 2 Oct 2016 → …

ASJC Scopus subject areas

  • Computer Science (all)


Dive into the research topics of 'A comparison of textual modeling languages: OCL, alloy, FOML'. Together they form a unique fingerprint.

Cite this