随着计算机软件的迅速发展,其重要性与日俱增,但其现状还不能令人满意,主要问题是:软件整体功能不强,缺乏智能;质量欠佳;生成效率低.为了解决上述问题,需要采取改进传统技术与发展新技术的方法.该文将形式化方法与传统需求分析模型——实体联系模型相结合,提出了一种形式化的需求描述语言.利用形式化方法的精确性完备性的优点,避免其难于理解的数学符号,而采用自然语言的文本并赋予其精确含义,由此设计出一种形式化的文本描述语言;同时,语言的描述又是基于传统的实体联系模型,从而使得描述语言易学易用.形式化方法具有精确的语法和语义,可实现计算机的自动处理.在详细设计描述语言的语法语义基础上,对语言的解释转换系统进行了构造,从而可实现应用程序代码的自动生成.自动生成环境由解释程序和自动生成程序两部分构成,解释程序解析描述文本形成参数和说明,自动生成程序则根据参数说明产生相应的程序代码.解释程序采用自动生成工具LEX和YACC实现词法和语法分析,形成中间数据格式——参数说明表;自动生成程序根据参数说明调用相应的程序模板,生成应用程序代码.形式化方法和传统的分析方法结合,都能克服各自的缺点,起到取长补短的作用.这种方法的结合使用,必将对提高软件生产率和软件质量,进而对大规模软件生产自动化产生巨大的推动作用.