本文使用Z语言给出UML中Use Case图的形式化描述，为UML提供形式化的基础。

• This paper describes formally the Use Case Diagram with Z language, which provide formal basis for UML.