论文部分内容阅读
自从70年代"软件危机"提出以来,这个单词始终如梦魇一般折磨着软件工程师,尽管随着软件工程的发展从软件的需求分析,软件系统的设计,到实际的程序编码都产生了一系列的概念和方法,极大的缓和了"软件危机",但是随着软件应用领域的日益广泛和软件规模的不断庞大,"软件危机"总是随着时代的发展呈现出不同的特征,很多好的软件工程方法都随之而呈现出其不足.从结构化的软件设计和编码到面向对象的软件设计和编码,从自然语言的软件需求说明到形式语言的软件规格说明,无不显示出软件工程的蓬勃发展.然而在21世纪信息爆炸的今天我们仍然不能很自信的说"软件危机"已经被解决,我们仍然不可能象传统制造业那样高效率、高质量、高度规范化的开发软件.本文提出了通过划分问题域,定义领域描述语言,开发源代码生成器的方法来进行软件开发的思想.这一思想是在受到面向对象的软件工程方法、统一对象建模语言UML、形式化软件规格说明技术、代码生成技术、域工程和Semantic Designs公司于1997年提出的DMS(Design Maintenance System)架构的影响下形成的.本文把管理信息系统(MIS)的开发作为一个问题域,着重分析了该问题域的特点,并提出了一种基于语义的软件规格说明语言MISFRAME的原型来对MIS开发过程中数据库操作、文件操作、视图、网络数据的编码、解码和数据传输的一般过程进行规范化描述,并进行面向对象的代码生成(生成基于Borland公司提供的VCL组件的C++源代码).本文用巴科斯范式详细定义MISFRAME的语法并说明其语义,同时给出了由MISFRAME向SQL和C++ Builder代码转化的一般法则.本文将MISFRAME作为MIS开发的一门领域描述语言,促使将来参与MIS开发的技术人员可不直接进行核心源代码的编写,而把主要的精力放在用户的需求分析上,由支持MISFRAME的代码生成器来完成核心源代码的生成,并保证其代码的执行效率和正确性,从而大幅度缩短MIS开发周期,并确保其质量不受影响.