Download User manual

OCL constraint definition OCL constraints should be specified in a single note, as it is shown in the following
figure:
Please note that it is important not to leave a new end of line after the last constraint,
as the AuRUS OCL parser will interpret it as a new blank invalid restriction.
Generalization restrictions Generalization restrictions should be specified using a linking note and one of the
following legal combinations:
{incomplete, overlapping}
{incomplete, disjoint}
{complete, overlapping}
{complete, disjoint}
However, it is also allowed to specify only one of the requirements, either {incomplete},
{complete}, {disjoint} or {overlapping}.
8