近几年,计算机软件发展迅速,越来越多的人们希望把问题交给计算机来解决,但其现状还不能令人满意。主要是软件系统的规模以及复杂程度越来越高,但随之带来的软件系统的出错率却在不断增加,整体功能差,效率低下。越来越多的灾难背后所隐藏的软件问题也逐渐进入人们的视线。所以软件工程领域开始高度关注如何在软件复杂性不断增加的情况下,既能够提高软件的可靠性,同时又不降低软件质量。统一建模语言(UML)是一种标准的面向对象的图形化的建模语言。UML支持面向对象的分析与设计,其简单易懂的表述各种元模型,提供了大量基本的表示模型元素的图形方法,能够对软件进行可视化处理、描述和构造等。UML模型作为一种图形化语言,具有一定的优点,能够清晰地表示系统的逻辑模型或实现模型。正是因为这些优点,人们在开发各种复杂的软件系统的时候都是使用UML对系统进行建模。形式化方法(Formal Method)能够产生严密、准确的软件需求规格说明,一般情况下形式化方法都是存在于严格的数学基础和证明之上。在软件设计领域人们对于软件系统进行规范、设计和编码普遍的方法就是Z语言形式化规范。随着Z形式化规范的发展和成熟,已经被成功地应用到许多关键性的工业软件开发项目中。因此本文使用Z形式化方法对UML类图到形式化方法的转换。其最大的优点在于可以形成无二义性的、精确的形式规约,并可以进行模型验证或定理证明。形式化方法的这一特点不仅可以提高软件开发的生产效率,同时可以大大提高软件的可靠性。本文结合统一建模语言UML和Z形式化规范语言,提出了基于统一建模语言UML中类图到Z形式化规范语言的转换方法。通过这种方法提高了系统规格说明书的质量,本文使用了集成在UML-Z原型系统中的UML-Z工具,实现了从UML类图到Z语言规范的转换,在这个工具中,还有一些基本操作的自动转换,和验证模型的证明。这种方法保证了软件系统质量,提高了软件系统的可靠性,是可行的。