Validate Menu

The Validate menu includes sub-menus

Extract Domain from Use Cases

to create or update an existing domain model given a use case model.

Validate Domain

to validate the domain model, and

Validate Use Cases

to validate the use case model.