3.4.2 Use case model