| As one of the two crucial activities of software lifecycle, software architecture programming represents a high level systematic and common abstract. It's generally denoted by modeling languages, and this course is called as formal specification of software architecture. How to implement the software architecture to code according to formal specification is an important link within software development, for the quality of coding has tremendous influence to the software quality. As design ideology and guidelines of software development, the implementing of software architecture pours vit al effect upon software development.Z formal specification language is a kind of modeling languages for software architecture. Its exactness, pithiness and no ambiguity are advantageous in guaranteeing accuracy of a system. Object-Z is based on the state-based formal specification language Z and is completely object-oriented. It has a class construct which encapsulates a single state and relevant operations. Java is an advanced programming language. It is simple, easy, completely object-oriented, independent from system platforms, as well as secure and reliable. It has a vivid superiority to other languages. Even Bill Gates has ever said that Java is the most excellent programming language in the world.This paper focuses on finding out the inner relations between object-Z formal specification and Java code according to the transform mechanisms between them, so as to realize code formalization from specification. The research of transform mechanism sets out from the basic characteristics of object-oriented programming, including transform mechanisms of encapsulation, succession, polymorphism and object aggregation etc. Further more, as case study is a proven and comparatively advanced technique in the researches of software engineering, it is used in illustrating and designing of the transform mechanisms in this paper, so as to make the illustration more clear and concrete. |
PDF Full Text Request