基于SOFL形式化语言的软件组件的设计与实现

摘要

随着软件工程方法在实际编码过程中被越来越多的使用，一份准确的需求文档的重要性愈发突出。因此，一种结构化的、面向对象的形式化语言（简称SOFL）被提出来，用于将描述需求的自然语言转化为可以被编码人员快速理解的形式化语言。目前，SOFL形式化语言可以被专门的工具编译处理，结果保存在XML文档中。但是，当系统需求较为繁琐时，得到的XML文件的结构也将相应地变得复杂。这就导致了重用该XML文件进行其他相关开发变得难以进行。为了解决这个问题，能够从XML文件中提取关键信息并经过一系列处理后交给其他程序复用的软件组件需要被设计并实现出来。
　　论文详细地介绍了这些用来从SOFL形式化语言中提取关键信息的组件的设计与实现。这些组件能够按照特定的数据格式提供这些提取出的信息，以便于其他程序进行调用。组件为SOFL形式化语言下的基础软件包，基于C＃语言实现，开发环境为VS2012。按照软件工程的方法，首先对软件组件的需求进行了分析，其次对软件组件的结构和功能进行了总体设计，然后进一步的对软件组件的各个类进行了详细的设计，包括类中的数据结构的设计以及类所提供的可调用方法的设计。在具体实现时，对构成软件组件的类进行了代码实现，包括一个基础类的实现和七个标准类的实现。
　　该软件组件通过对外提供大量的可调用方法，帮助SOFL相关技术的开发工作能够顺利完成，提升了其工作效率以及产出的代码质量。在测试环节，该软件组件被应用到一个实际的ATM机系统的案例中，有效地对其SOFL形式化语言文档进行了处理，以此来验证组件的有效性。

目录

封面

声明

中文摘要

英文摘要

目录

1 绪论

1.1 研究背景与意义

1.2 国内外研究概况

1.3 主要研究内容

2 关键技术研究

2.1 形式化工程方法

2.2 结构化面向对象形式语言SOFL

2.3 SOFL形式化语言语义

2.4 本章小结

3 SOFL软件组件的分析与设计

3.1 SOFL软件组件的需求分析

3.2 SOFL软件组件的总体设计

3.3 SOFL软件组件中组件类的设计

3.4 关键信息处理方法的设计

3.5 本章小结

4 SOFL软件组件的实现与测试

4.1 开发环境的选择

4.2 SOFL软件组件框架实现

4.3 SOFL软件组件中组件类的实现

4.4 关键信息处理方法的实现

4.5 SOFL软件组件测试

4.6 本章小结

5 总结与展望

5.1 全文总结

5.2 展望

致谢

参考文献