From an abstract object-Z specification to UML diagram

Formal specification language helps us to write precise and unambiguous software specification. Object-Z specification language is an object orientation to the Z notation; it helps specifier to construct the specification in Object-oriented ways. But for novice users to understand the formal specification is difficult, because it requires good command of mathematics (set theory and first order logic). To address this problem, this paper studies and proposes a method to visualize the Object-Z specification in UML class diagram and state diagram.