The evolution process of the establishment of CPN and protocol verification research based on
|Course||Computer Software and Theory|
|Keywords||software evolution processes software evolution process patterns pattern searching specification verification of software evolution processes|
With the rapid development of information society nowadays, the environment the software legacy system is facing has changed to be opening, dynamic and changeable. Consequently, the legacy system evolution is supposed to develop a dynamic and adaptivity, as well as the software evolution process which ensure the quality of software evolution. Such problems must to be solved as how to model the process of software evolution, how to build the software evolution process speedy with high quality, and how to decide if the established evolution progress model meets our requirement specifications. So far, there are only a few researches in the area, so this paper is mainly expected to solve the mentioned problems, with some corresponding research work.On the base of previous researches, the model is described in the paper by introducing external environmental events for modeling the activities’specifications in the evolution process. It can refine special composition activities according to the specific evolution environment.The software evolution process is modeled through the Color Petri Net. The paper puts forward a model of software evolution process, named EPM. Meanwhile, the composite activity’s refined rules and adjustments during the evolution process are discussed in the paper. The model is not only of traditional characteristics, but also of dynamic. The EPM is the premise to use patterns to establish models afterwards.Due to the sharply increase of evolution projects, there can be some summative experience of same problems in a same field. It’s meaningful to research how to establish a model of software evolution process of high speed and high efficiency in conditions unfamiliar with the process engineers. By introducing the concept of patterns, the paper puts forward the concept of software evolution process pattern. It uses patterns to build the software evolution process models. It describes the model of the patterns and the search of patterns. Additionally, it discusses how to establish EPM by using pattern in detail.We must ensure that the established model can meet the need of evolution for EPM. We introduce temporal logic of actions to verificate the established EPM model, because CPN (Color Petri Net), the language for describing models in the paper, cannot express the specification information very well. Such problems are discussed as the transform of evolution process model of CPN, which is described by action temporal logic, the requirement specification mentioned in the paper, the evolution of action temporal logic, and the use of the verification tool, TLC. Meanwhile, corresponding case analyses are given.In a word, this paper mainly studies and discusses model’s description, quick establishment and verification in the research of the software evolution processes’ requirement specification mentioned in the paper. It strives to solve the problems of software evolution process.