StateMachines describing the behavior of the UseCase. It can define for example activity diagrams, that express another view as sequence diagrams.