Automatic Transformation From SOFL Formal Specifications To Programs

With the rapid development of software applications, especially in the most advanced fields, it is very important for the software reliability. In order to solve the problem of high reliability in the complex software system development, formal methods has been applied to all stages of software development with a solid mathematical foundation. Under these circumstances, SOFL(Structured Object-Oriented Formal Language), one of the most representative formal engineering methods, has been widely applied in the field of software engineering.SOFL integrates traditional formal methods, structured methods and object-oriented methods. Moreover, it integrates Data Flow Diagrams, Petri nets, and VDM-SL. Owing to its three-step technique to developing formal specifications and CDFDs, it strikes a good balance among visualization, precision and simplicity.Although SOFL has been applied to system modeling and design in practical and research projects, it has not been widely applied to the industrial software development systems because of the lack of efficient tool support. So it is necessary to develop a SOFL tool to promote its applications in the software development. Based on the previous work, a SOFL supporting tool is being developed.This paper focuses on transforming SOFL formal specifications to programs, which is one of the most important parts in SOFL supporting tool. This transformation work can help to develop and perfect the SOFL supporting tool, also can promote the development of SOFL and its wide applications. The main parts of this thesis are:(1) Analyze the structure and framework of SOFL specification and compare the SOFL language and C# language, then determine the transformation framework.(2) Study the composition of the module in SOFL specifications and the structure and operations of built-in data types, and then select the appropriate data structures and algorithms to make the transformation rules.(3) Construct the abstract transformation tree, which can be regarded as an outline of design and implementation. According to this outline, designing interfaces and implementing the classes. Then, implement the transformation system.(4) A test is performed to ensure the reliability and validity of the implemented software system.