Every operation named by a serverOperation anywhere in the use case.
serverOperation
final Set<String> operations;