基于SOFL形式化语言的软件组件的设计与实现-软件工程专业论文.docxVIP

独创性声明 本人声明所呈交的学位论文是我个人在导师指导下进行的研究工作及取得 的研究成果。尽我所知，除文中已经标明引用的内容外，本论文不包含任何其他 个人或集体已经发表或撰写过的研究成果。对本文的研究做出贡献的个人和集 体，均已在文中以明确方式标明。本人完全意识到本声明的法律结果由本人承担。 学位论文作者签名： 日期： 年 月 日 学位论文版权使用授权书 本学位论文作者完全了解学校有关保留、使用学位论文的规定，即：学校有权 保留并向国家有关部门或机构送交论文的复印件和电子版，允许论文被查阅和借阅。 本人授权华中科技大学可以将本学位论文的全部或部分内容编入有关数据库进行检 索，可以采用影印、缩印或扫描等复制手段保存和汇编本学位论文。 本论文属于 保密□， 在 年解密后适用本授权书。 不保密□。 （请在以上方框内打“√”） 学位论文作者签名： 指导教师签名： 日期： 年 月 日 日期： 年 月 日 摘 要 随着软件工程方法在实际编码过程中被越来越多的使用，一份准确的需求文档 的重要性愈发突出。因此，一种结构化的、面向对象的形式化语言（简称SOFL）被 提出来，用于将描述需求的自然语言转化为可以被编码人员快速理解的形式化语言。 目前，SOFL形式化语言可以被专门的工具编译处理，结果保存在XML文档中。但是， 当系统需求较为繁琐时，得到的XML文件的结构也将相应地变得复杂。这就导致了 重用该XML文件进行其他相关开发变得难以进行。为了解决这个问题，能够从XML 文件中提取关键信息并经过一系列处理后交给其他程序复用的软件组件需要被设计 并实现出来。 论文详细地介绍了这些用来从SOFL形式化语言中提取关键信息的组件的设计 与实现。这些组件能够按照特定的数据格式提供这些提取出的信息，以便于其他程 序进行调用。组件为SOFL形式化语言下的基础软件包，基于C#语言实现，开发环境 为VS2012。按照软件工程的方法，首先对软件组件的需求进行了分析，其次对软件 组件的结构和功能进行了总体设计，然后进一步的对软件组件的各个类进行了详细 的设计，包括类中的数据结构的设计以及类所提供的可调用方法的设计。在具体实 现时，对构成软件组件的类进行了代码实现，包括一个基础类的实现和七个标准类 的实现。 该软件组件通过对外提供大量的可调用方法，帮助SOFL相关技术的开发工作能 够顺利完成，提升了其工作效率以及产出的代码质量。在测试环节，该软件组件被 应用到一个实际的ATM机系统的案例中，有效地对其SOFL形式化语言文档进行了处 理，以此来验证组件的有效性。 关键词：结构化面向对象形式语言 形式化方法 软件组件 Abstract As software engineering is more and more commonly used in the software development process, an accurate requirement is necessary. Therefore, a language which is called Structured Object-Oriented Formal Language, short for SOFL, is proposed by Professor Shaoying Liu, which is used to change the informal language, such as natural language, to the formal language which can be understood by programmers easily. SOFL formal specifications are useful and expressive in describing functional requirements for software development. Currently, the specifications can be specified and compiled by the SOFL tool and stored in an XML file, but the structure of the generated XML file is considerably complicated, which leads to the difficulty in reusing the XML file for developing other applications. To address this problem, software components which can extract details from the XML file t