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

On the Need of User-defined Libraries in OCL

2015/11/03 by Thomas Baar, Baar, Thomas
Computer Science · #Advanced Software Engineering Methodologies #Model-Driven Software Engineering Techniques #Software Engineering Research

paper · doi:10.14279/tuj.eceasst.36.447

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

Abstract

Reuse is a fundamental concept of efficient software development. Object-oriented implementation languages offer reuse on different levels of granularity: method, class, library. While encapsulation of implementation code within methods and classes enables reuse within a project, user-defined libraries are widely used to share implementation code among different projects. The specification language OCL offers language concepts like defined attributes and defined operations to enable reuse within a project. However, reuse among different projects is not possible since OCL does not support the concept of user-defined libraries. There is no standardized way to import user-defined OCL constraints into another project. In this paper, we argue on the need of a standardized mechanism to make reuse of OCL specifications within a different context possible.

Related