UML类图静态模型的形式化

B方法主要是用抽象机来描述软件系统的规范说明，且有大量工具支持。UML作为新一代面向对象建模语言得到了广泛的支持，已经成为事实上的工业标准。UML图形是模型元素集合的可视化表示，类图表达了面向对象系统分析中的最基本元素—类和类之间联系，而类之间的依赖关系是类之间联系中的最重要、最普遍的一种联系。本文旨之讨论如何让用B方法来描述UML类图，从而能提高软件开发的效率、降低成本，也能改善软件工程的质量。