Object-Z规格说明的SQL动画模拟

摘要：

软件规格说明的确认在软件开发阶段占有举足轻重的地位.形式规格说明的动画模拟技术是一种规格说明的确认方法.本文研究了Object-Z规格说明的SQL动画模拟方法,设计了从Object-Z到SQL的转换规则,并提出了模块封装的思想,即用存储过程表示类、对象和模式等模块,用户通过调用执行存储过程确认规格说明是否满足其需求.

关键词：Object-Z、规格说明、确认、SQL、动画模拟

所属期刊栏目：34

分类号：TP3(计算技术、计算机技术)

资助基金：国家自然科学基金60373072;上海市教委资助项目

在线出版日期：2007-05-21（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：258-260,封4