Design And Implementation Of Software Components Based On The SOFL Formal Specifications

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 to support reusing them is necessary.This paper introduces the software components which encapsulate a set of certain functions to extract details from compiled SOFL formal specifications. It can provide the extracted information in certain data structure. These software components are based on the C# language, and developed in the VS2012. According to the method of software engineering, first we analyze the requirement of the software components, the we design all the components, including a base class and seven basic classes.The implementation of the software components solved the problem in the development about SOFL technology, improve the speed of coding. In the test period, an example about the ATM machine is presented to demonstrate the effectiveness of the components.