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

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

基本释义

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