Page History

To validate elements that are not used in a diagram

1. Create a a Package and apply the «ValidationSuite» stereotype.
2. Under the created Package, create a Constraint, and apply the «validationRule» stereotype.
3.  and apply the «ValidationSuite» stereotype.
4. Right-click the Package to open its Specification window. 
5. On the left side menu, select Constraints → Create.

6. Click three dots Image Added next to the Applied Stereotype property and set it to «validationRule». Click Apply.

   Note
   If you cannot see the Traceability node, make sure the Expert or All mode is enabled.

7. Click three dots Image Added next to the Severity, Error Message, and Abbreviation properties to specify them Specify the Severity, Error Message, and Abbreviation  for the created validation rule.
8. Specify the constrainedelement - Click three dots Image Added next to the Constrained Element property to specify the metaclasses and stereotypes whose instances are validated if not used in the diagram.
9. Click three dots Image Added next to specify the Specification property property. Specification dialog opens.

10. From the Language the Language drop-down list, select a select StructuredExpression.

11. Click Expert at the bottom of the dialog. The dialog is switched to the Expert mode.
12. In the Body area of the Specification

    On the left side of the dialog, click Create Operation → Operation

    .

    Select the Operation from Model operation type on the right side of the dialog.

    Select the Not opaque behavior from the model.

    Note
    The Apply Filter check box must be unselected!

13. On the left side of the dialog, select the A parameter of the Not operation and press Delete.
14. On the right side of the dialog, click the Operation from Model operation type.

Select the IsEmpty opaque behavior from the model.

Note
The Apply Filter check box must be unselected!

15. On the right side of the dialog, click the Operation from Model operation type.

Select the UsageInDiagrams opaque behavior from the model.

Note
The Apply Filter check box must be unselected!

16. On the left side of the dialog, click the Element parameter of the UsageInDiagramsWithSymbols operation, and press Delete.

17.  → Not. 
    

    Note
    If you cannot see the Operation from Model operation under Operations, make sure the Expert mode is enabled.

    Note
    If you cannot see the Not operation, make sure the Apply Filter box is not checked.

18. Select A → Reset.

19. Select A → Operation from Model → IsEmpty.

20. Select Input → Operation from Model → UsageInDiagramsWithSymbols.

21. Select Element → Reset.
22. Select Element → Contextual Variable.
    Image Added
23. Click OK.Select the Contextual Variable from the Other category.
    Image Removed

Sample model

The model used in these examples is the Case Studies for Querying the Model sample model. To open this model, you need to download case studies for querying the model.mdzip.