Projektplan presentation VitruvOCL
| Vortragende(r) | Max Oesterle | |
|---|---|---|
| Vortragstyp | Vortrag | |
| Betreuer(in) | Nathan Hagel | |
| Termin | Fr 13. März 2026, 14:00 (Raum 010 (Gebäude 50.34)) | |
| Vortragssprache | Deutsch | |
| Vortragsmodus | in Präsenz | |
| Kurzfassung | Modern software systems are increasingly developed using multiple heterogeneous metamodels. The Vitruvius framework addresses cross-metamodel consistency through its Reactions language, which defines operationally how consistency is restored after changes. However, Vitruvius currently lacks a declarative counterpart that specifies what must be consistent, independently of any restoration logic.
Vitruvius OCL fills this gap by extending OCL with qualified cross-metamodel navigation syntax and a native correspondence operator that treats Vitruvius correspondence models as a first-class abstraction. VitruvOCL provides static type safety, native correspondence navigation, and true n-ary constraints within a purely declarative framework. | |