如何将 OCL 约束集成到使用 Eclipse Sirius 创建的模型中？

Question

很难提供更多细节，因为我什至在 OBEO Designer Community 中都没有找到对 OCL 约束建模的线索。

有人知道怎么做吗？

谢谢

Answer 1

您应该能够直接在 .odesign 文件中添加具有以 AQL 表示的约束的验证规则 -- Acceleo 查询语言（一种 OCL）。

见corresponding part of the tutorial。