Formal Specification and Application of UML Class Diagram Based on OOZS

Unified Modeling Language is a generic graphical modeling language of object oriented technique.However，the lack of precise formal semantics makes it difficult to analyze the models they describe.In this aspect，formal methods can be used complementarily.OOZS is an object oriented formal specification language which is an extension to Z.In this paper we discuss formally the Class Diagram with OOZS language，which provides formal basis for UML，and explores a kind of mechanism for how to map and combine it between UML and OOZS.In the end，an example is given to explain how to combine UML and OOZS to describe the Class Diagram，and to illustrate the feasibility of this study in practice.