add use case specifications