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
Michael Paap | 10.05.2024