Csp Based Software Evolution Process Description And Research

With the development of technology and society, the human's demanding for software is growing, the high quality software productions become the necessary part in human beings'ordinary life. At the same time, more and more software systems have become legacy system. The importance and prevalence of software evolution is getting more obvious. On the one hand, software evolution has become an important characteristic in the software life cycle. On the other hand, software process plays an important role to increase efficiency and quality of software evolution. Therefore, software evolution process, the interdisciplinary of software process and software evolution, becomes a key area in software engineering.Using Petri Net to describe and research the software evolution process model makes the whole software process clear. For describing the software evolution process more appropriately, meta-model of software evolution process (EPMM) that based on extend Petri Net has been presented, the model divide software evolution process into four levels and defines the important elements of software evolution process. According to EPMM, software evolution process is accepted and researched more easily.This thesis introduces the communicating sequential process(CSP) and researches the communicating sequential process and meta-model of software evolution process together. Communicating sequential process is part of process algebra, which not only characterize the behavior of the model, but also has the reasoning in the form of calculus, which can well describe the model of the semantics of attributes, therefore, communicating sequential process is better than other methods such as Petri Net and more applicable in the model description and testing.The basic components of communicating sequential process are events and processes, the process is the sequence of events or activities. Using the basic nature of communicating sequential processes describe the meta-model of software evolution process. By the basic components CSP events and processes, combining with the operation of CSP corresponding symbol, the software element model of the evolution of the four levels described. And through the CSP will be the basic grammatical and semantic element, model of each layer is described as a process. The meta-model of software evolution process is described the evolution of a complete software process and CSP semantic features based on strict reasonable skills and analytical calculations the software evolution process can be a good semantic analysis and testing.