Detailing and validation of use case A