Design And Implementation Of The Software Evolution Process Tasks In Functional Decomposition Tools

Software evolution and software process are addressed intensively with fruitful research results. The software evolution process, as the interdiscipline both of software protess and software evolution, becomes a key area in software engineering. This paper is part of the Software Evolution Process Project, funded by National Science Foundation of China, discusses how to achieve the functional decomposition in an software evolution process, and designs a model with full implementation.The formal functional decomposition is basic means of formal design of software. Functional decomposition is a process based on knowledge. On the basis of the literature [12], a group of decomposition rules is proposed in the paper, which can make the function of software task decomposed into one of three basic control structures. The correctness of the rules is proved and a method to interactively achieve these rules with the help of people is proposed, too. The rule bank composed by decomposition rule is an important constituent part of repository supporting software formal design. Under the study of software evolution process, the task function is decomposed in the paper, and the decomposition tree is used to store the result, and a algorithm is proposed in the paper, which can make the decomposition tree automatically transformed into formal code segment and is implemented in Java. So the efficiency and normalization of software evolution process modeling is improved.Based on the work previously mentioned in this paper, the main functions of functional decomposition in EPT are achieved, providing necessary support for evolution process modeling.