A Framework for Analyses of Use Case Descriptions