Use Case Modeling and Analysis I