Veröffentlichung

Titel:

OCL Rebuilt, From the Ground Up

AutorInnen:

Friedrich Steimann
Robert Clarisó
Martin Gogolla

Kategorie:

Konferenzbandbeiträge

erschienen in:

2023 ACM/IEEE 26th International Conference on Model Driven Engineering Languages and Systems (MODELS)

Abstract:

The Object Constraint Language (OCL) serves the expression of complex conditions and queries over UML-based models in an object-oriented style. We note that OCL’s grounding in object-orientation leads to a number of issues, including subtle inconsistencies and unsafe navigation. To address these issues, we present OCL^♯, a new formal foundation for OCL with borrowings from Alloy. We provide OCL^♯’s syntax and semantics, prove type safety, and present a prototype implementation.

Download:

https://www.computer.org/csdl/proceedings-article/models/2023/248000a194/1SOLEUq6b7O