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.
|Number of pages||16|
|Journal||CEUR Workshop Proceedings|
|State||Published - 1 Jan 2016|
|Event||16th International Workshop on OCL and Textual Modelling, OCL 2016 - Saint-Malo, France|
Duration: 2 Oct 2016 → …