| Kurzfassung
|
VitruviusOCL is a constraint language designed specifically for Vitruvius. Standard OCL is insufficient here, as it is scoped to a single metamodel and therefore cannot express constraints that reach across the correspondence links of a V-SUM. VitruviusOCL addresses this limitation by extending the type-safe OCL# dialect with a coextension operator (~) that provides direct, first-class access to the Vitruvius correspondence model, together with qualified MM::Class navigation for safe cross-metamodel type references and @severity/@message annotations for structured diagnostics.
|
