Software Evolution Execution Engine Based On Logic

Software Evolution is a dynamic activity of software maintenance and update in the life cycle of software system. With the scales of software system expanding and requirement changing, it is expected that the evolution ability of software model becomes stonger. At present, evolution of software model mainly adopts the way of graph. This description way is complex and its describing ability is limited. Especially when the scales of software system expand, describing and executing ability of graph transformation as well as its speed and efficiency evidently descend.This thesis proposes a kind of formalized way for describing software structure using Attributed Type Graph (ATG) by analysing the graph transformation technology in the field of software model evolution. Further, it is transformed into logic description. And the transformation mechanism between them is given. In this way, it could not only hold the graph property but also reduce the complexity of logic expression and ultimately raise the evolution efficiency. Based on predicate logic, this thesis proposes Software Evolution Operational Language (SEOL) for describing software evolution operations, and builds SEOL's execution mechanism for achieving the process of evolution. This thesis designs and realizes an execution engine for software evolution based on SEOL under the Eclipse platform as a plug-in. The system has a clear structure and good expansibility by taking advantage of MVC architecture modeling.In the end, this thesis analyses the evolution process of mail system which is a classical case in the field of software refactoring, and addresses the execution evolution process of mail system. It practically proves the feasibility and validity of software evolution based on logic.