Transform Mechanisms of Object-Z Based Formal Specification to JAVA

How to implement software architecture to code according to formal specification is an important link within software development, for the quality of code has tremendous influence to the software quality. This paper we focus on finding out the inner relations and the transform mechanisms between object-Z specification and Java code, and propose some basic transform principles and general mechanisms. Further more, case study is used in illustrating and designing of the transform mechanisms.