| 两次数据精化的形式化软件开发方法 |
| |
| 引用本文： | 邢小英,王维维.两次数据精化的形式化软件开发方法[J].计算机工程,2006,32(1):102-104. |
| |
| 作者姓名： | 邢小英 王维维 |
| |
| 作者单位： | 1. 浙江大学计算机系,杭州,310027;宁波城市职业技术学院计算机系,宁波,315040
2. 浙江大学计算机系,杭州,310027 |
| |
| 摘 要： | 提出了一种从数据精化、过程精化、再数据精化的两次数据精化的形式化软件开发方法。传统Z规约数据精化很复杂。该文先采用过程写出初始规范，对模式进行第一次数据精化，然后把它转换为Z模式，再进行过程精化。最后再数据精化到且标代码。以常见动态Web网页脚本语言PHP为例，阐述了该方法。并为此写了一套从过程到Z模式的转化规则，以及精化到PHP的精化规则。
|
| 关 键 词： | 过程 Z语育 规范 精化演算 |
| 文章编号： | 1000-3428（2006）01-0102-03 |
| 收稿时间： | 2005-01-03 |
| 修稿时间： | 2005-01-03 |
A Formal Software Development Method of Using Data Refinement With Two Times |
| |
| XING Xiaoying,WANG Weiwei.A Formal Software Development Method of Using Data Refinement With Two Times[J].Computer Engineering,2006,32(1):102-104. |
| |
| Authors: | XING Xiaoying WANG Weiwei |
| |
| Affiliation: | 1. Department of Computer, Zhejiang University, Hangzhou 310027; 2. Department of Computer, Ningbo City College of Vocational Technology, Ningbo 315040 |
| |
| Abstract: | A formal software development method of using data refinement with two times is introduced, which from data refinement to process refinement then to data refinement.The tradition data refinement in Z is very complexity.So this article writes initial specification in procedure and implementes the first data refinement, then translates it into Z frame and implementes process refinement.Finally it developes abstract programs into executable code.Web language of PHP is an example.Translation rules from process to Z frame and from abstract programs to PHP are written. |
| |
| Keywords: | PHP |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
