use case specification for hospital management system