软件体系结构的设计是软件生命周期的两个最为关键的活动之一,它代表了系统和公共的高层次抽象。它一般通过建模语言来表示,这一过程称为软件体系结构的形式化描述。如何根据形式化描述来实现软件编码,是软件开发中一个非常关键的环节,因为编码质量的好坏对软件的质量有很大的影响。软件体系结构作为软件开发中的设计思想和指导方针,它的实现对软件开发起着至关重要的作用。Z规格化语言是一种软件体系结构建模语言,它具有语言精确、简洁和无二义性的特点,有利于保证系统的正确性。Object-Z语言的基础是Z语言,它完全面向对象,通过类的概念来封装对象的状态及相关操作。Java是一种简单易用、完全面向对象、平台无关性和安全可靠的高级语言开发工具。与其他语言相比,它具有鲜明的优越性,比尔.盖茨曾经说过,Java是最卓越的程序设计语言。本文重点研究基于Object-Z描述到Java实现的转换机制,力图找出Object-Z描述和Java编码之间的内在联系,从而实现从描述到编码的公式化。转换机制的设计从面向对象程序设计的基本特征入手,包括封装的转换机制、继承的转换机制、多态的转换机制以及类的聚集和对象消息传递等综合运用的转换机制。另外,采用具体的案例研究(case study)是目前软件工程领域中比较先进的研究手段,因此,本文中转换机制的说明和设计均采用具体的实例来说明,案例研究使阐述更加清晰和具体。