Design And Implementation Of Java Code Generator For Business Logic Based On Object-Z

Nowadays,software development is widely used in the Internet era,and its application scenarios are becoming increasingly rich and varied,as well as its scale and complexity are also increasing.As a result,the efficiency and quality of software development has become a bottleneck,and even causes the problem of "software crisis".In order to solve the above problems,researchers try to introduce various methods into software development and automation technology,including object-oriented method,structured method,prototype method and so on.Object-Z language,as an object-oriented formal description method,can support the description of syntax and semantics of large-scale software development system by constructing operation components and state encapsulation.But,the research of Object-Z language is very limited,the researchers just use simple language to describe the scene Object-Z semantics,generate programming languages such as C,Java,Python,rarely applied in large software system development and typical cases in the work of the automatic generation,especially for automatic generation software business logic with semantic information,lack of reference in theory and engineering practice of actual instructional research.Therefore,this thesis first proposes a formal description method of general business logic semantics in the SSM(Spring+Spring MVC+Mybatis)framework based on the Object-Z language,including mathematical operations,logical operations,judgment statements,and circular statements,etc.Second,the parser of description files are designed and implemented to verify the correctness of semantic description files and the completeness of semantic descriptions.Third,the automatic generation system of business logic Java code is designed,and the mapping rules from the semantic description file of general business logic based on the Object-Z language to the implementation function of business layer in SSM framework are put forward,and the automatic generation of typical business Java code in the corresponding SSM framework is implemented,and the testing and verification work are carried out.The test results show that the implemented generator can automatically generate the target Java code completely and accurately.The research results of this thesis theoretically improve the semantic description capability of business logic,enhance the degree of automation of code generation,effectively reduce manual repetitive labor intensity,and improve the efficiency of software development.