摘要
On the software module, this paper proposes a visual specification language(VSL). Based on decomposition, the language imitates men's thinking procedure that decomposes aproblem into smaller ones, then independently solves the results of every small problem to get theresult of original problem (decomposition and synthesis). Besides, the language mixes visual withspecification. With computer supporting, we can implement the software module automatically. It willgreatly improve the quality of software and raise the efficiency of software development. Thesimple definition of VSL, the principle of auto-generation, an example and the future research areintroduced.
针对软件模块 ,本文提出了一种称为VSL的可视化规格说明语言 .该语言模拟人的思维过程 ,将一个大规模复杂的问题分解为一系列较小规模的问题 ,然后独立解决每一个小规模问题 ,最后通过各小规模问题的求解综合而解决大规模问题 .借助于计算机支持 ,VSL能实现软件模块的可视化描述与自动化生成 .从而较大地改善软件的质量 ,提高软件的开发效率 .本文论述了VSL的简单定义、自动生成原理 ,并给出一个样例 。
基金
theprojectofMinistryofChinaaboutkeyfundamentalresearchonapplication (62 0 90 0 3 0 0 1)