Single Select - modelint/shlaer-mellor-metamodel GitHub Wiki

A Select Action that is guaranteed to yield zero or one instance is a single select. (To avoid clutter, we leave off the implied 'action' from the class name).

Each subclass defines a circumstance where this guaranty is established.

Identifiers

1. Action + Activity + Domain

Attributes

No non-referential attributes