The use case diagram