%0 Journal Article
%T Formal Specification and Application of UML Class Diagram Based on OOZS
%A XIAO Gang
%J Journal of Chongqing Normal University
%D 2013
%I Chongqing Normal University
%X 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.
%K object oriented method£»formal method£»OOZS£»UML£»class diagram
%U http://journal.cqnu.edu.cn/1301/pdf/130115.pdf