vix.ing · top · new · best · stats · spec

Use of OCL in a Model Assessment Framework: An experience report

2015/11/03 by Joanna Chimiak–Opoka, Chimiak-Opoka, Joanna, Chris Lenz +1
Computer Science · Decision Sciences · #Model-Driven Software Engineering Techniques #Scientific Computing and Data Management #Service-Oriented Architecture and Web Services

paper · doi:10.14279/tuj.eceasst.5.47

openalex publication_date 2024/03/12 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/01

Abstract

In a model assessment framework different quality aspects can be examined. In our approach we consider consistency and perceived semantic quality. The former can be supported by constraints and the later by queries. Consistency can be checked automatically, while for the semantic quality the human judgement is necessary. For constraint and query definitions the utilisation of a query language was necessary. We present a case study that evaluates the expressiveness of the Object Constraint Language (OCL) in the context of our approach. We focus on typical queries required by our methodology and we showed how they can be formulated in OCL. To take full advantage of the language’s expressiveness, we utilise new features of OCL 2.0. Based on our examination we decided to use OCL in our analysis tool and we designed an architecture based on Eclipse Modeling Framework Technology.

Related