Abstract
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 language | English |
---|---|
Pages (from-to) | 57-72 |
Number of pages | 16 |
Journal | CEUR Workshop Proceedings |
Volume | 1756 |
State | Published - 1 Jan 2016 |
Event | 16th International Workshop on OCL and Textual Modelling, OCL 2016 - Saint-Malo, France Duration: 2 Oct 2016 → … |
ASJC Scopus subject areas
- General Computer Science