In order to make it more precise,this paper describes formally the use case diagram with Z language,and uses it in a simple library management system.

• 为了对它的描述更加精确,本文使用Z语言给出UML中用例图的形式化描述,并将其应用在一个简单的图书馆管理系统中。