Abstract：In order to meet the modeling requirements for software evolution which included inconsistent information, a paraconsistent meta-model of requirements for software evolution (RSEMM) was proposed. The model was made up of features, evolution requirements and evolution intentions. Five important properties of requirements for software evolution were discussed. Based on the formal definition of features, three important relations of consistent, gradation and overlap among features were investigated. According to the analysis of dependent and mutually exclusive relations among feature properties, requirements for software evolution and intentions for software evolution were formally defined. Requirements for software evolution were normalized as from first evolution requirements normal form (1ERNF) to 4ERNF. The normalization process provides a method to transform requirements for software evolution to intentions for software evolution. The results show that the five important properties of requirements for software evolution are embodied in RSEMM. The proposed metamedel can improve the quality and efficiency of software evolution.
2011, Vol. 32 
