The Animation of Object-Z Specification in SQL
Object—Z规格说明的SQL动画模拟

The validation of the software specification holds the balance during the software development. The anima tion technology of the formal specification is a kind of the validation methods. The paper studies the animation of Object-Z specification in SQL, and designs the rules of the transformation from Object-Z to SQL, it advances the idea of the module encapsulation as well, namely denotes class, object and schema etc. modules with storage procedure, the user can validate whether the specification satisfy their requirement through executing the storage procedures.