%0 Journal Article
%T The Animation of Object-Z Specification in SQL<br>Object—Z规格说明的SQL动画模拟
%A ZHOU Jing
%A MIAO Huai-Kou
%A <br>周静
%A 缪淮扣
%J 计算机科学
%D 2007
%I 
%X 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.
%K Object-Z
%K Specification
%K Validation
%K SQL
%K Animation<br>Object-Z
%K 规格说明
%K 确认
%K SQL
%K 动画模拟
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=F60209F5FE9A058984FB1B5F0A0055C8&yid=A732AF04DDA03BB3&vid=339D79302DF62549&iid=E158A972A605785F&sid=B799C1769FCACDC8&eid=89AC6B0ADBEA2741&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=12