中文摘要：

为提高软件演化的质量和效率、缩短软件演化的周期，有必要对软件演化所涉及的软件过程进行性质合理性研究，以确保软件演化过程的正确性。根据软件演化过程元模型（EPMM）的过程层定义，提出EPMM性质合理性的形式定义，用于确保软件过程在实施执行中应满足的动态性质，并基于Petri网的可达图，设计相应的性质合理性检验算法。应用结果表明，对软件演化过程进行性质合理性检验可以确保过程逻辑不发生异常，满足过程定义性质方面的正确性要求。

英文摘要：

In order to improve the quality and efficiency of software evolution and shorten the time of software evolution, it is a necessity to research the property soundness of the software processes which the corresponding software is evolving to ensure the correctness of software evolution processes. According to the process level definition of the software Evolution Process Meta-model（EPMM）, the property soundness which is defined to ensure software evolution processes should meet the dynamic properties during software process enactment. Moreover, the corresponding property soundness check algorithms are designed based on the reachability graph of Petri nets. Application result shows that checking the property soundness is used to ensure that software processes logic does not occur exceptions, and it meets the correct requirements from the view of process definition property.