Describir: Use Case Semantics for Business Process Validation