The Animation of Object-Z Specification in SQL
Miao Huai · 2007
The validation of the software specification holds the balance during the software development. The animation 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.