Epdl Algebraic Semantics Research

The interdisciplinary of software process and software evolution is software evolution process. The area of software evolution process is related with software evolution and software process. As more and more software system changed into legacy system, software evolution has become more and more important. The area of software evolution process has become a significant area.A software evolution process description language (EPDL) is a computer language that is used to describe software evolution processes. In order to describe software evolution process better, Professor Li Tong designed an object-oriented language—EPDL, which was based on software evolution process meta-model (EPMM).A EPDL can be considered as a detailed and extended description.This thesis used algebraic semantics to describe the semantics of EPDL. For mastering the syntax structure and semantics of the four levels of EPDL, EPDL was analyzed and studied. Moreover, algebraic semantic was studied, including the keynote, the operation and the axiom of it. This thesis combined the definition of EPDL and the theory of algebraic semantics and defined the algebraic semantics of EPDL using∑algebra of algebraic semantics. The sorts of the four levels of EPDL were got. And the functions of every level of EPDL were studied deeply, for the definition of the operations fitted∑algebra.The algebraic semantic of EPDL were defined completely. This kind of algebraic description can also apply an accurate frame for the description of languages' semantics. It can show the characteristics of EPDL' semantic using algebraic rule concisely and exactly.In summary, this thesis proposed an algebraic semantic of EPDL using the method of algebraic semantic. It contributed to the normalization and modularization of the definition of semantics and reduced the complexity of description.